A skeleton for the proof of the Yoneda Lemma (working draft)
|
|
- Melissa Malone
- 5 years ago
- Views:
Transcription
1 skeleton or te proo o te Yoneda Lemma (workin drat) Eduardo Ocs February 2, 20 bstract ese notes consists o ive parts. e irst part explains ow to draw te internal view o a diaram (or o a unction, unctor, natural transormation, etc). e second part sows tat a certain diaram, tat we call diaram Y0, is te skeleton o te proo o te Yoneda Lemma in te ollowin sense. In order to interpret tat diaram ormally we ave to iner te types o all its entities, and ten iner (by term inerence, as in [Oc3], obtainin untyped λ-terms) te actions on morpisms o te our unctors in Y0, and also te actions o te our natural transormations and te actions o tree bijections. e bijections are called, 2 and 3, were is easy to construct, 2 is obtained rom by substituin a eneric unctor and a eneric object tat appear in by speciic ones, and 3 is 2 composed wit two trivial bijections, one at eac side. e statement o te Yoneda Lemma is essentially just 3 is a bijection. In ateory eory texts above a certain level most term inerences are treated as obvious, so a (skeleton o a) proo o te Yoneda Lemma is just diaram Y0 plus do te obvious type inerences and term inerences. e tird part discusses a ap in te second part. e bijection 3 converts a map Hom (, ) into a natural transormation Nat((, ), (, )) and a into an, but wat we ot in te second part is just a pair o λ-terms o te rit types, ( 3, 3 ), witout te proos tat 3 (3()) = and tat 3( 3 ( )) =. In te lanuae o [Oc3] wat we did was to drop, or erase, a lot o inormation (mainly te equational parts ) and ten work in te syntactical world ; we obtained a skeleton o a proo tat must now must be lited to te real world by completin some missin parts. It turns out tat 3 (3()) = is trivial, but 3( 3 ( )) = only olds i obeys te naturality condition tat comes rom it bein a natural transormation. e moral o te story so ar is tat 90% o te proo o te Yoneda Lemma can be extracted rom diaram Y0 i we do te obvious type and term inerences on it ( or some value o 90%, o course); only a tiny part o te proo needs tins tat et erased in te passae to te skeleton. e ourt part uses tese tools to state and prove tree oter Yoneda Lemmas and to deine universal arrows, universal elements, representable
2 2 unctors, and to sow ow some o tese ideas are motivated by adjunctions. e it part uses all tis to build brides between several notations. e less trivial case is ow to translate between our notation and te one in Reyes, Reyes and Zolaari s Generic Fiures and eir Glueins; te translations between our notation and MacLane s, Riel s and wodey s are easy (but only RRZ as been written in details at te moment). Index o sections: Internal views anin sape, canin notation Interpretin diarams Y0, Y, and Y is really a bijection Makin te bijections more explicit stroner Yoneda Lemma Representable unctors Universal elements and universal arrows djunctions wo contravariant Yoneda Lemmas e Yoneda Embeddins Readin Generic Fiures and ter Glueins Morpisms o -sets e Yoneda Lemma in RRZ Readin MacLane s WM Readin Emily Riel s in ontext Readin wodey s ateory eory Related projects Internal views Note: tis section is an introduction to te idea o internal views o cateorical diarams. I irst saw tis idea in [LS97], p.3, but it is used in oter places too or example in p.7 o [Rie6]. I used it a lot in [Oc3], but tere I insisted on a notion o downcasin tat I ve since abandoned. Wen I was a kid my irst exposure to unctions was trou diarams like tis: yoneda February 2, 20 7:26
3 3 ater a wile actually years te blob-sets ot names, like,, N, R, te unctions ot names like,,, and several conventions were establised: we didn t ave to draw all elements in te blob-sets; we could draw a eneric element, n, and indicate tat it oes to n; and we could draw an external view o te unction above or below te internal view iven by te blobs: n n N R en te internal view radually disappeared rom our matematical practice, and we started to write unctions like tis, : N R n n, : a (a), : D E (c, d) c d wic makes a clear distinction between te tailless arrow,, and te arrow wit tail, : : is a unction tat takes elements (plural!) rom to elements o, and n (n) is an element (in te sinular) bein taken to anoter. Rewritin our diaram or te internal and te external views o witout blobs, it becomes: 4 2 n n, or simply: n n N R N R We will oten use te convention tat : is a unction rom to, but is te set o all unctions rom to i.e., ( ) = and : means ( ) on s tis doesn t old, and te names on s can be omitted. e internal view o a unctor F : is more complex. e cateory as not only points (te objects o ) but also arrows (te morpisms 207yoneda February 2, 20 7:26
4 4 o ). e unctor F takes a morpism : in to a morpism F : F F in ; and sometimes we will denote te action o F on objects by F 0 and its action on morpisms by F, so a diaram wit te internal and te external views o F may be drawn, or example, as: F 0 F 0 F F 0 F 0 F F or as: F F F F e action o a natural transormation : F G, were F, G : are unctors, consists o a sinle operation not two as in unctors tat expects an object and returns a morpism : F G in. We can represent tat action as ( : F G) or (F G), or as a diaram: F G F G F G F e naturality condition o a natural transormation : F G is te assurance tat or every arrow α : in tis square commutes: G F G α F α Gα F G F G Diarams like te one above will be our avorite ways to draw internal views o natural transormations. Note tat te arrows or te unctors F and G are let implicit. We will sometimes use diarams like tis to sow te internal view o a commutative diaram, especially wen it is in Set: a (a) k D (a) k ((a)) k((a)) 207yoneda February 2, 20 7:26
5 5 te internal view sows tat ((a)) = k((a)) or every a. Our avorite way to coose names or te components o an adjunction and to draw its internal view is tis: L L R R e adjunction L R is a bijection Hom (L, ) Hom (, R) or eac in and eac in. Note tat te unctor L appears at te let o te and o te,, and it oes let; te unctor R appears at te rit o te and o te,, and it oes rit; te direction o te bijection oes let in te diaram, and it pulls te unctor in : R to te let o te ; te direction o te bijection oes rit in te diaram and puses te unctor in : L to te rit o te. Wen is a inite cateory tat can be drawn explicitly, like tis, we can represent unctors rom to oter cateories very compactly usin a positional notation similar to te ones in sec. o [Oc7]. For example, tis diaram {3, 4} {, 2} {5, 6} can be intepreted as a unctor F : Set wit F () = {, 2}, F () = {(, 5), (2, 6)} and so on we deine F by te internal view o its imae. 2 anin sape, canin notation e translation between two lanuaes or diarams can be done in two steps canin sape and canin notation tat are independent and can be applied in any order. In te example below we start wit a diaram rom [RRZ04] (see sec.2.2) at te top let; movin rit canes its sape to sow 207yoneda February 2, 20 7:26
6 6 te internal view o its natural transormation, and movin down canes its notation to te one in sec.4: F Φ F X F F F F Φ F F F X(F ) F Φ F X() F F X(F ) Φ F X F Φ( F ) Φ( F ). Φ() (, ) R id (, ) R (,) R (, ) R (, ) R id id id ; R 3 Interpretin diarams Y0, Y, and Y2 My avorite diaram or rememberin te proo o (one o te orms o) te Yoneda Lemma is tis one ( diaram Y0 ): R (, ) (, ) (, R ) (, ) (, (, )) (, ) It is made o objects in dierent cateories, 6 morpisms, two unctors, two bijections, and a middle arrow tat perorms some substitutions on te irst 207yoneda February 2, 20 7:26
7 7 bijection to obtain te second one. Let s name (or number ) all o tem: O O F 2 O 3 O 7 O m 2 m S O 4 O F 2 5 O 6 2 m 3 O 9 m 4 O 0 m 6 m 5 O m e existence o a morpism O O3 tells us tat O and O 3 belon to te same cateory; as O = let s call tat cateory. Similarly, O 2 = O 5 =, so O 2 and O 5 belon to a cateory tat we will call. O 4 and O 6 belon to te same cateory, and O 4 =, wic is an object o Set, so O 4 and O 6 are objects o Set. Similarly, O 7 = O 9 = (, ), so O 7, O, O 9, O 0, O all belon to te same cateory. e unctor F = R oes rom to and te unctor F 2, tat will turn out to be (, ), oes rom to Set. (, ) is a sortand or Hom (, ); te two objects and ave to belon to te same cateory so is an object o. (, ) is a sortand or te unctor Hom (, ), wic oes rom to Set (obs: as to be locally small). (, ) is an object o te cateory o unctors rom to Set, and O 7 to O, so: : : : Set (, ) : Set : R : (, ) : Set (, ) : Set R : (, R ) : Set (, (, )) : Set (, R ) is a sortand or Hom (, R ) : Set, (, ) or Hom (, ) : Set, and (, (, )) or Hom Set (, Hom((, ))). O 7 to O are all unctors rom to Set and so objects o te cateory Set, and te morpisms m 3, m 4, m 5, m 6, are natural transormations; m 5 is a natural isomorpism. I we indicate in te diaram tat O 7 to O are unctors and m 3 to m 6 are 207yoneda February 2, 20 7:26
8 Ns, we et: O O F 2 O 3 F 4 F 4 m S O 4 O F 2 5 O 6 2 F 5 F 6 2 m F 7 Warnin: te bijection is between m and, not between F and, even tou we draw it vertically; similarly, te bijection 2 is between m 2 and 2. e reason or drawin te diaram in tis way instead o makin O and O 2 switc places wit one anoter and doin te same wit O 4 and O 5 will be explained later. e arrow S is a substitution tat produces 2 rom. It s better to write it in a notation or simultaneous substitutions, not in λ-calculus notation: R := (, ) S = := Set := Now tat we ave typed most objects in diaram Y0 let s o back to te oriinal notation, and ive names to some arrows. is is diaram Y: R R S (, ) (, ) 2 2 (, ) (, R ) (, ) (, (, )) I I (, ) e next step is to deine precisely ow te our unctors work. We can do tat 207yoneda February 2, 20 7:26
9 9 by drawin internal views: (, ) k (, ) λ.(;k) (, R )) k (, R )) λ.( ;Rk) (, ) Set (,R ) Set (, ) (, ) λ.(;) (, (, )) (, (, )) λ.λe.( (e);) (, ) Set (,(, )) Set e actions o te unctors (, ), (, ), and (, R ) can be inerred by term inerence or by lookin at te diarams below: ;k ;k R ;Rk k k k Rk R and te action o (, (, )) is a variant o (, ). We et: (, ) 0 = λ. Hom (, ) (, ) = λk.λ.(; k) (, ) 0 = λ. Hom (, ) (, ) = λ.λ.(; ) (, R ) 0 = λ. Hom (, R ) (, R ) = λk.λ.( ; Rk) (, (, )) 0 = λ. Hom Set (, Hom (, )) (, (, )) = λk.λ.( ; Rk) We can do te same or te natural transormations. (, ) λ.(;r) (, R ) (, ) (, R ) (, ) λ.λe.(;) (, (, )) (, ) (, (, )) (, λ.(;) ) (, ) (, ) (, ) (, (, λ. )) (e) (, ) (, (, )) (, ) I (, ) λ.λe. (, (, )) (, ) I (, (, )) 207yoneda February 2, 20 7:26
10 0 We et: = λ.λ.(; R) = λ.λ.λe.(; ) = λ.λ.(; ) I = λ.λ. (e) I = λ.λ.λe. nd we can also do te same or te bijections. : R :=λ.λ.(;r) := (id ) : (, ) (, R ) : (, ) :=λ.λ.(;(, )()) (?) := (id ) : (, ) (, (, )) so: = λ.λ.λ.(; R) = λ. (id ) 2 = λ.λ.λ.(; (, )()) (?) 2 = λ. (id ). Note tat we used only type inerence and term inerence wic is not little, but most books and articles on pretend tat simple type inerences and term inerences like tese are obvious and now ave te types and te terms or everytin in diaram Y. Let s call te diaram below diaram 207yoneda February 2, 20 7:26
11 Y2 ; it is Y plus lots o inormation. R R S (, ) (, ) 2 2 (, ) (, R ) (, ) (, (, )) I I (, ) : : : Set (, ) : Set : R : (, ) : Set (, ) : Set R : (, R ) : Set (, (, )) : Set (, ) 0 = λ. Hom (, ) (, ) = λk.λ.(; k) (, ) 0 = λ. Hom (, ) (, ) = λ.λ.(; ) (, R ) 0 = λ. Hom (, R ) (, R ) = λk.λ.( ; Rk) (, (, )) 0 = λ. Hom Set (, Hom (, )) (, (, )) = λk.λ.( ; Rk) = λ.λ.(; R) = λ.λ.λe.(; ) = λ.λ.(; ) I = λ.λ. (e) I = λ.λ.λe. S = [ R:=(, ) ] :=Set := = λ.λ.λ.(; R) = λ. (id ) 2 = λ.λ.λ.(; (, )()) (?) 2 = λ. (id ) 207yoneda February 2, 20 7:26
12 2 4 is really a bijection In tis diaram, tat is just a part o diaram Y wit te bijection made more explicit, (, ) := ():= λ.λ.(;r) it is easy to see tat ( ()) = : R := ( ):= (id ) (, R ) ( ()) = (λ.λ.(; R)) = (λ.λ.(; R))(id ) = (λ.(; R))(id ) = ; R(id ) = ; id R = Let s try to calculate ( ( )): ( ( )) = ( (id )) = λ.λ.( (id ); R) is is not necessarily equal to... but note tat i is a natural transormation ten its naturality condition means tat or every k : tis square commutes, k (, ) (, R ) (, )k (, ) (, R ) (, ) (, R ) (,R )k (λk.λ.( ;Rk))k ( ); Rk ; k (; k) (λk.λ.(;k))k i.e., ( ); Rk = (; k); tis diaram elps understandin te types: r R R R k R Rk (;k) 207yoneda February 2, 20 7:26
13 3 I we replace k : by : and by id we et: ] (( ); Rk = (; k)) [ := := k:= :=id wic lets us continue te calculation o ( ( )): = ( id ; R = (id ; )) ( ( )) = ( (id )) = λ.λ.( (id ); R) = λ.λ.( (id ; )) = λ.λ. tis means tat or all and we ave ( ( )) = (λ.λ. ) = (λ. ) = so by η-reduction ( ( )) = and ( ( )) =. Note tat te proo o id ; R = can be represented as a diaram: (, ) (, R) id id (, ) (,R ) (, ) (, R ) ( id ); R (, ) (, R ) 5 Makin te bijections more explicit Let s introduce a new diaram tat stresses te bijections and names a ew bijections tat were unnamed beore. is is diaram Y3: : : R : (, ) (, R ) S 4 4 : (, ) : (, ) (, (, )) : (, ) (, ) 207yoneda February 2, 20 7:26
14 4 e statement o te Yoneda Lemma is just tis: 3 is a bijection. I we build 4 and 5, deine 3 as and simpliy te λ-terms we obtain tat 3 is just tis: : :=λ.(;) :=( )(id ) : (, ) (, ) direct proo tat 3 and 3 are inverses to one anoter requires naturality like we did in section 4 (trust me!), and less direct proo can be structured like tis: is a bijection implies tat 2 is a bijection, tat implies tat 3 is a bijection. 6 stroner Yoneda Lemma I we don t replace te unctor R by (, ) in Y0 and we make := Set and := we can build tis diaram ere ( diaram Y4 ), p R R (, ) (, R ) R tat yields a bijection between points o R and natural transormations rom (, ) to R ( diaram Y5 ): p R p : R : (, ) (, R ) : (, ) R is bijection eels muc more abstract tan te one tat we were lookin at beore. 207yoneda February 2, 20 7:26
15 5 7 Representable unctors Universal elements and universal arrows We say tat an element p R is a universal element wen te natural transormation associated to it by diaram Y4 is a natural isomorpism, i.e., wen or every te map = λ.rp is an iso: :=λ.λ.rp p R p:= id : (, ) R universal arrow is an arrow : R suc tat te associated (= λ.λ.(; R)) is a natural isomorpism: 9 djunctions (, ) := λ.λ.(;r) R := (id ) (, R ) t te end o sec. we presented a convention or namin te components o an adjunction and drawin its internal view, but we didn t include units or counits. For any te unit map η, deined like tis, id L L L L,L,L R L R RL η := (id L ) induces a map ( (η ; R)) : (L, ) (, R) tat is equal to te bijec- 207yoneda February 2, 20 7:26
16 6 tion : (L, ) (, R): η L RL R L R R R η ;R te map ( (η ; R)) is natural in, and we can see (I m omittin te details now) tat it induces a natural transormation : (L, ) (, R ): η L R RL (L, ) (, R ) We are now in a situation similar to diaram Y0 we can see tat any natural transormation : (L, ) (, R ) yields a map η : RL (tat is not necessarily te unit o te adjuction, o course). Now make te cateory be Set, and make := and := L = L. en RL = RL = R, and we et tese diarams: p R R (, ) (, R ) p R p : R : (, ) (, R ) R : (, ) R We ave a bijection between R = RL and te set o natural transormations rom (, ) to R, but we also ave more: wen p : RL = R is a unit map o te adjunction ten te correspondin : (, ) R is a natural isomorpism, so tis unctor R is representable and represented by, te map p : R is a universal arrow, p R is a universal element. Most (or all?) 207yoneda February 2, 20 7:26
17 7 items in Examples 2..5 in pp.5 53 o [Rie6] are applications o tis idea usin adjunctions o te orm F U e.., in item (ii) te unctor F : Set Group takes eac set to te ree roup F avin as its set o enerators. (o do: debu te ideas above!) 0 wo contravariant Yoneda Lemmas Let s introduce some notations or dealin wit opposite cateories. I and are objects o ten op and op are objects o op ; a morpism : in is written as op : op op wen rearded as a morpism in op. Lookin at om-sets, we ave tat Hom (, ) i op Hom op( op, op ), and in te sortand notation tis means tat (, ) and ( op, op ) are equal except or te op s in te elements o ( op, op ). Let G : op D be a contravariant unctor. We will write its action on objects as op GG, and te internal view o G is: op op op G G G op G D I we take Diaram Y0 and replace te cateory by op we et tis; note tat R : op : op R R ( op, ) (, R ) op (, ) op ( op, op ) ( op, ) (, ( op, )) ( op, ) 207yoneda February 2, 20 7:26
18 We can simpliy tis a bit, rewritin it as: op (, ) R R (, R ) op (,) (, ) (, ) (, (, )) (, ) I we replace by Set and by and complete te trianle at te lower let we et a sinle diaram tat states te two contravariant Yoneda Lemmas: op R R (, ) (, R ) R op (,) (, ) (, ) (, (, )) (, ) e diarams tat elp us understand ow te unctors and natural transormations above work are: op op op R R R op (, ) op op op (, ) (, ) (, ) (, R ) R (, ) (, (, )) (, ) 207yoneda February 2, 20 7:26
19 9 e statements o tese contravariant Yoneda Lemmas are: := λ.λ.(r)(p) p : R p:= id : (, ) R := λ.λ.(;) : := id : (, ) (, ) Note tat te action o te (contravariant) unctor (, ) on objects can be written op (, ); sometimes by abuse o lanuae we will denote te wole unctor (, ) by op (, ), and, similarly, denote te covariant unctor (, ) used in sec.3 by (, ). e Yoneda Embeddins Our two less abstract Yoneda lemmas can be drawn like tis: (, ) (, ) (, ) (, ) ey are usually presented at a slitly ier level, as: op (, ) op op op (, ) op (, ) (, ) op y Set y Set op e Yoneda Lemma says tat te unctors op (, ) and (, ) wose sort names are y and y are ull and aitul. ese unctors are usually called te Yoneda Embeddins I we expand te (, ) and te (, ) in op (, ) and (, ) we et op ( (, )) and ( op (, )), and tis makes te actions o y and y on objects very easy to understand. trick to iure out ow y and y act on morpisms is to draw te internal views o te natural transormations and at te rit o te diaram, and rewrite y and y 207yoneda February 2, 20 7:26
20 20 in several equivalent notations: op (, ) op op op (, ) op y:= := (, ):= λd.(;):= λd.λ.(;) (, D) (, D) yd:= D:= (,D):= λ.(;)= (;) ; op y Set (, ) (, ) y := := (,):= λ.(;):= λ.λ.(;) (, ) (, ) y := := (,):= λ.(;)= (;) ; y Set op 2 Readin Generic Fiures and ter Glueins Wen I irst tried to read Reyes, Reyes and Zolaari s [RRZ04] ( RRZ rom ere on) I ot very stuck, as I didn t ave any ood metods to work on its notation bit by bit to make it make sense to me... ake tis diaram rom pae o te book: We can type its entities: F F σ X σ. F σ X σ. F X(F ) X(F ) Set op Set ( ).:= X() σ σ. ( ). is a cateory F, F : F F X : op Set X(F ), X(F ) Set σ X(F ) σ. X(F ) σ. = X()(σ) In sec. we said tat we would sometimes write or or Hom(, ); we can do sometin similar or. In RRZ F σ X means σ X(F ), so we will interpret F X as X(F ) and F σ X as σ : F X. 207yoneda February 2, 20 7:26
21 2 We can make te examples in RRZ more elementary i we work wit inite matematical objects built rom inteers, pairs, and sets, as done in [Oc7] (sec.2 and onwards). Let M be te directed (multi-)rap wit labeled arrows ( DGL ) below: M = {7,, 9}, (7,7,77), (7,,7), (7,,70), (,9,9), (9,9,99) We can set to tis cateory (te identity arrows are omitted), V to deine iures made o vertices and arrows. is unctor M : op Set s t M() M(s) M(t) M(V ) {77, 7, 70, 9, 99} {7,, 9} is te DGL M above. I am not sure wat tis notation means wen it appears in RRZ: V X a, b, c, d, e It may be eiter a, b, c, d, e : V X or (V X) = {a, b, c, d, e}... anyway, in M we ave: V M 7,, 9 M 77, 7, 70, 9, 99 nd tis is a cane o iure: 70 M s V 70.s =7 M() M(s) M(V ) M(s) 70 7 Set op Set 207yoneda February 2, 20 7:26
22 22 2. Morpisms o -sets Morpisms o -sets Φ : X Y (see p. o RZZ) is a natural transormation rom X to Y, were bot X and Y are -sets, i.e., X, Y : op Set. e iure at let below appears in p. o RRZ except or te last line wit te te cateory annotations; at te rit o it is an internal view, in RRZ s notation, o te natural transormation Φ: F σ Φ X Y σ. F F F Φ F X(F ) Y (F ) X() X(F Φ F ) Y (F ) Y () σ σ. Φ(σ) Φ(σ). Φ(σ.) Set op Set op X Φ Y Here is a type inerence or te subexpressions o te naturality condition Φ(σ). = Φ(σ.): Φ }{{} :X Y ( σ }{{} X(F ) ) }{{} Y (). }{{} :F F }{{} :Y (F ) Y (F ) } {{ } Y (F ) = }{{} Φ ( }{{} σ. ) }{{} :X Y X(F ) :F F }{{} X(F ) } {{ } Y (F ) One diiculty in translatin Φ(σ). = Φ(σ.) to standard notation is tat te aruments to te dot operation are in te wron order. I we rewrite σ. as (.)(σ) ten te naturality condition becomes (.)(Φ(σ)) = Φ((.)(σ)), i.e., (.) Φ = Φ (.), and te easiest way (or me) to understand te types is to write irst : F F and Φ : X Y and ten all te rest in te diaram below: Φ F F F (X) F (Y ) σ Φ(σ) F X() F Φ F (X) F (Y ) X Φ Y Y () σ. Φ(σ). Φ(σ.) and (.)(Φ(σ)) = Φ((.)(σ)) becomes Y ()(Φ F (σ)) = Φ F (X()(σ)), and (.) Φ = Φ (.) becomes Y () Φ F = Φ F X(). 2.2 e Yoneda Lemma in RRZ e Yoneda Lemma appears in paes and aain at paes o te book. Let s examine te enlared versions drawn wit internal views o some o te iures used in te proo. Our enlared versions will be called diarams YR, YR2, and YR3. Important: we will make one cane in RRZ s notation were te book writes F we will write (, F ), and were it writes we will write (, ); we 207yoneda February 2, 20 7:26
23 23 saw in sec. tat te action o te natural transormation (, ) (a.k.a. ) is essentially ( ). is ( YR ) is rom p.23: F (, F ) 3 (, F ) F (,) Set op Set op is ( YR2 ) is rom p.29: F F (F,) =( ) (F, F ) (F, F ) (,F ) =( ) (F,) =( ) (,F ) =( ) (F, F ) (F, F ) (, F ) (,) (, F ) ( ) ( ) F F F (, F ) Φ X F F Φ F (F, F ) X(F ) (,F ) =( ) Φ F X() (F, F ) X(F ) F Φ F ( F ) Φ F ( F ). Φ F () Set op Set op (, F ) Φ X is ( YR3 ) is also rom p.29: F Φ (, F ) X F F F Φ F (F, F ) X(F ) (,F ) =( ) Φ F X() (F, F ) X(F ) Φ F () Φ F (). Φ F ( ) Set op Set op (, F ) Φ X (YR is used to prove tat (, ) is morpism o -sets) (YR2 is used to prove tat Φ F () can be calculated as Φ F ( F ). = X()(Φ F ( F ))) (YR3 is used to prove tat (???)) (o do: debu tis, compare wit sections 4 and 0...) 3 Readin MacLane s WM MacLane (in [Mac9], section III.2, paes 59 62) starts by ixin a unctor S : D and sowin tat or any pair r, u : c Sr, tat we draw like tis, u u r S Sr D S 207yoneda February 2, 20 7:26
24 24 any coice o an object d D induces a map ϕ d : D(r, d) (c, Sd), c u r S Sr d S Sd S ϕ d S u D(r, d) ϕ d (c, Sd) D(r, d) ϕ d (c, Sd) It turns out tat D(r, ) and (c, S ) are unctors, d D(r, d) d d D(r, d ) (D(r, ))():= λ.( ) d d (c, Sd) d (c, Sd ) ((s,s ))():= λk.(s k) D D(r, ) Set D (c,s ) Set and ϕ : D(r, ) (c, S ) is a natural transormation between tem: d d D(r, d) ϕ d (c, Sd) D(r,) ϕ d D(r, d ) (c, Sd ) (c,s) S u S (S u) S( ) u D(r, ) ϕ (c, S ) However, MacLane introduces, rit in te beinnin, a concept tat I eel tat sould better be let to a second moment... (o be continued!!!) 4 Readin Emily Riel s in ontext e Yoneda Lemma is proved in [Rie6] in section 2.2, paes Here s Riel s ormula rom paes 57 5 in te sape o our diaram 207yoneda February 2, 20 7:26
25 25 Y4: x c F F c (c, ) Set(, F ) α:= Ψ(x):= λd.λ.f (x) x F c a:= Φ(α):= α c( c) α Hom((c, ), F ) α F e Yoneda embeddins appear as orollary 2.2. in [Rie6], in p.60. Se makes tis diaram: y Set op c (, c) d (, d) op y Set c (c, ) d (d, ) Se uses te y wit two dierent meanins, one in te let al and anoter in te rit al o er diaram. I we modiy er diaram to add some o te inormation rom our diarams in sec. and cane er letters just a little bit, we et tis: y Set op b (, b) c (, c) := y := (,):= λa.λ.( )= λa.( ) op y Set b (b, ) c (c, ) := y:= (, ):= λd.λ.( )= λd.( ) 5 Readin wodey s ateory eory (o do: sow internal views etc o sections.2.4 o [wo06] (pp.60 67)) 6 Related projects ese notes are related to tree, aem, tins: a worksop called Loic or ildren, a series o papers on Planar Heytin lebras or ildren (tese 207yoneda February 2, 20 7:26
26 REFERENES 26 notes prepare te round or te material on preseaves, seaves and eometric morpisms tat will be presented in te tird paper), and a very introductory course on λ-calculus, loics and ateories tat I am ivin every semester in my university since 206. Links: ttp://an.twu.net/loic-or-cildren-20.tml ttp://an.twu.net/mat-b.tml#zas-or-cildren-2 ttp://an.twu.net/mat-b.tml#lclt Reerences [wo06] S. wodey. ateory eory. Oxord University Press, [LS97] [Mac9] [Oc3] [Oc7] [Rie6] [RRZ04] W. Lawvere and S. Scanuel. onceptual Matematics: irst introduction to cateories. ambride, 997. S. MacLane. ateories or te Workin Matematician, 2nd ed. Spriner, 99. E. Ocs. Internal Diarams and rcetypal Reasonin in ateory eory. In: Loica Universalis 7.3 (Sept. 203). ttp://an.twu. net/mat-b.tml#idarct, pp E. Ocs. Planar Heytin lebras or ildren. vailable at ttp: //an.twu.net/mat-b.tml#zas-or-cildren E. Riel. ateory eory in ontext. ttp:// ~eriel/context.pd. Dover, 206. M. P. Reyes, G. E. Reyes, and H. Zolaari. Generic Fiures and eir Glueins. ttps://marieetonzalo.iles.wordpress.com/ 2004/06/eneric-iures.pd. Polimetrica, yoneda February 2, 20 7:26
ASSOCIATIVITY DATA IN AN (, 1)-CATEGORY
ASSOCIATIVITY DATA IN AN (, 1)-CATEGORY EMILY RIEHL A popular sloan is tat (, 1)-cateories (also called quasi-cateories or - cateories) sit somewere between cateories and spaces, combinin some o te eatures
More informationINTERSECTION THEORY CLASS 17
INTERSECTION THEORY CLASS 17 RAVI VAKIL CONTENTS 1. Were we are 1 1.1. Reined Gysin omomorpisms i! 2 1.2. Excess intersection ormula 4 2. Local complete intersection morpisms 6 Were we re oin, by popular
More informationBARYCENTRIC SUBDIVISION AND ISOMORPHISMS OF GROUPOIDS
BARYCENTRIC SUBDIVISION AND ISOMORPHISMS OF GROUPOIDS JASHA SOMMER-SIMPSON Abstract Given roupoids G and H as well as an isomorpism Ψ : Sd G = Sd H between subdivisions, we construct an isomorpism P :
More information1.5 Function Arithmetic
76 Relations and Functions.5 Function Aritmetic In te previous section we used te newly deined unction notation to make sense o epressions suc as ) + 2 and 2) or a iven unction. It would seem natural,
More informationUMS 7/2/14. Nawaz John Sultani. July 12, Abstract
UMS 7/2/14 Nawaz John Sultani July 12, 2014 Notes or July, 2 2014 UMS lecture Abstract 1 Quick Review o Universals Deinition 1.1. I S : D C is a unctor and c an object o C, a universal arrow rom c to S
More informationTHE AXIOMS FOR TRIANGULATED CATEGORIES
THE AIOMS FOR TRIANGULATED CATEGORIES J. P. MA Contents 1. Trianulated cateories 1 2. Weak pusouts and weak pullbacks 4 3. How to prove Verdier s axiom 6 Reerences 9 Tis is an edited extract rom my paper
More informationThe tangent line and the velocity problems. The derivative at a point and rates of change. , such as the graph shown below:
Capter 3: Derivatives In tis capter we will cover: 3 Te tanent line an te velocity problems Te erivative at a point an rates o cane 3 Te erivative as a unction Dierentiability 3 Derivatives o constant,
More information3.4 Worksheet: Proof of the Chain Rule NAME
Mat 1170 3.4 Workseet: Proof of te Cain Rule NAME Te Cain Rule So far we are able to differentiate all types of functions. For example: polynomials, rational, root, and trigonometric functions. We are
More informationGeneral Solution of the Stress Potential Function in Lekhnitskii s Elastic Theory for Anisotropic and Piezoelectric Materials
dv. Studies Teor. Pys. Vol. 007 no. 8 7 - General Solution o te Stress Potential Function in Lenitsii s Elastic Teory or nisotropic and Pieoelectric Materials Zuo-en Ou StateKey Laboratory o Explosion
More informationCategorical Background (Lecture 2)
Cateorical Backround (Lecture 2) February 2, 2011 In the last lecture, we stated the main theorem o simply-connected surery (at least or maniolds o dimension 4m), which hihlihts the importance o the sinature
More informationE E B B. over U is a full subcategory of the fiber of C,D over U. Given [B, B ], and h=θ over V, the Cartesian arrow M=f
ppendix : ibrational teory o L euivalence E E onsider ibrations P, P, and te category Fib[,] o all maps E @E 2 =(, ):@ :: P { P 2 () @ o ibrations; Fib[,] is a ull subcategory o [,] ; see [3]. Fib[,] is
More informationNumerical Differentiation
Numerical Differentiation Finite Difference Formulas for te first derivative (Using Taylor Expansion tecnique) (section 8.3.) Suppose tat f() = g() is a function of te variable, and tat as 0 te function
More informationTaylor Series and the Mean Value Theorem of Derivatives
1 - Taylor Series and te Mean Value Teorem o Derivatives Te numerical solution o engineering and scientiic problems described by matematical models oten requires solving dierential equations. Dierential
More informationDifferentiation Rules c 2002 Donald Kreider and Dwight Lahr
Dierentiation Rules c 00 Donal Kreier an Dwigt Lar Te Power Rule is an example o a ierentiation rule. For unctions o te orm x r, were r is a constant real number, we can simply write own te erivative rater
More informationCMU Fall VLSI CAD
CMU Fall 00 8-760 VLSI CAD [5 pts] HW 5. Out: Tue Nov 7, Due: Tu. Dec 0, in class. (V). Quadratic Placement [5 pts] Consider tis simple netlist wit fixed pins, wic as placeable objects. All te -point wires
More informationUNIT #6 EXPONENTS, EXPONENTS, AND MORE EXPONENTS REVIEW QUESTIONS
Answer Key Name: Date: UNIT # EXPONENTS, EXPONENTS, AND MORE EXPONENTS REVIEW QUESTIONS Part I Questions. Te epression 0 can be simpliied to () () 0 0. Wic o te ollowing is equivalent to () () 8 8? 8.
More information2.11 That s So Derivative
2.11 Tat s So Derivative Introduction to Differential Calculus Just as one defines instantaneous velocity in terms of average velocity, we now define te instantaneous rate of cange of a function at a point
More informationNotes on wavefunctions II: momentum wavefunctions
Notes on wavefunctions II: momentum wavefunctions and uncertainty Te state of a particle at any time is described by a wavefunction ψ(x). Tese wavefunction must cange wit time, since we know tat particles
More informationA Peter May Picture Book, Part 1
A Peter May Picture Book, Part 1 Steve Balady Auust 17, 2007 This is the beinnin o a larer project, a notebook o sorts intended to clariy, elucidate, and/or illustrate the principal ideas in A Concise
More informationPreface. Here are a couple of warnings to my students who may be here to get a copy of what happened on a day that you missed.
Preface Here are my online notes for my course tat I teac ere at Lamar University. Despite te fact tat tese are my class notes, tey sould be accessible to anyone wanting to learn or needing a refreser
More informationare well-formed, provided Φ ( X, x)
(October 27) 1 We deine an axiomatic system, called the First-Order Theory o Abstract Sets (FOTAS) Its syntax will be completely speciied Certain axioms will be iven; but these may be extended by additional
More informationCombining functions: algebraic methods
Combining functions: algebraic metods Functions can be added, subtracted, multiplied, divided, and raised to a power, just like numbers or algebra expressions. If f(x) = x 2 and g(x) = x + 2, clearly f(x)
More informationDerivatives of Exponentials
mat 0 more on derivatives: day 0 Derivatives of Eponentials Recall tat DEFINITION... An eponential function as te form f () =a, were te base is a real number a > 0. Te domain of an eponential function
More informationThe derivative function
Roberto s Notes on Differential Calculus Capter : Definition of derivative Section Te derivative function Wat you need to know already: f is at a point on its grap and ow to compute it. Wat te derivative
More information1 + t5 dt with respect to x. du = 2. dg du = f(u). du dx. dg dx = dg. du du. dg du. dx = 4x3. - page 1 -
Eercise. Find te derivative of g( 3 + t5 dt wit respect to. Solution: Te integrand is f(t + t 5. By FTC, f( + 5. Eercise. Find te derivative of e t2 dt wit respect to. Solution: Te integrand is f(t e t2.
More informationTHE GORENSTEIN DEFECT CATEGORY
THE GORENSTEIN DEFECT CATEGORY PETTER ANDREAS BERGH, DAVID A. JORGENSEN & STEFFEN OPPERMANN Dedicated to Ranar-Ola Buchweitz on the occasion o his sixtieth birthday Abstract. We consider the homotopy cateory
More informationConsider a function f we ll specify which assumptions we need to make about it in a minute. Let us reformulate the integral. 1 f(x) dx.
Capter 2 Integrals as sums and derivatives as differences We now switc to te simplest metods for integrating or differentiating a function from its function samples. A careful study of Taylor expansions
More informationFunction Composition and Chain Rules
Function Composition and s James K. Peterson Department of Biological Sciences and Department of Matematical Sciences Clemson University Marc 8, 2017 Outline 1 Function Composition and Continuity 2 Function
More information. If lim. x 2 x 1. f(x+h) f(x)
Review of Differential Calculus Wen te value of one variable y is uniquely determined by te value of anoter variable x, ten te relationsip between x and y is described by a function f tat assigns a value
More informationMath 312 Lecture Notes Modeling
Mat 3 Lecture Notes Modeling Warren Weckesser Department of Matematics Colgate University 5 7 January 006 Classifying Matematical Models An Example We consider te following scenario. During a storm, a
More informationIntroduction to Derivatives
Introduction to Derivatives 5-Minute Review: Instantaneous Rates and Tangent Slope Recall te analogy tat we developed earlier First we saw tat te secant slope of te line troug te two points (a, f (a))
More informationSolving Continuous Linear Least-Squares Problems by Iterated Projection
Solving Continuous Linear Least-Squares Problems by Iterated Projection by Ral Juengling Department o Computer Science, Portland State University PO Box 75 Portland, OR 977 USA Email: juenglin@cs.pdx.edu
More informationWestern University. Imants Barušs King's University College, Robert Woodrow
Western University Scholarship@Western Psycholoy Psycholoy 2013 A reduction theorem or the Kripke-Joyal semantics: Forcin over an arbitrary cateory can always be replaced by orcin over a complete Heytin
More informationINTRODUCTION AND MATHEMATICAL CONCEPTS
Capter 1 INTRODUCTION ND MTHEMTICL CONCEPTS PREVIEW Tis capter introduces you to te basic matematical tools for doing pysics. You will study units and converting between units, te trigonometric relationsips
More informationINTRODUCTION AND MATHEMATICAL CONCEPTS
INTODUCTION ND MTHEMTICL CONCEPTS PEVIEW Tis capter introduces you to te basic matematical tools for doing pysics. You will study units and converting between units, te trigonometric relationsips of sine,
More informationBECK'S THEOREM CHARACTERIZING ALGEBRAS
BEK'S THEOREM HARATERIZING ALGEBRAS SOFI GJING JOVANOVSKA Abstract. In this paper, I will construct a proo o Beck's Theorem characterizin T -alebras. Suppose we have an adjoint pair o unctors F and G between
More informationContinuity and Differentiability
Continuity and Dierentiability Tis capter requires a good understanding o its. Te concepts o continuity and dierentiability are more or less obvious etensions o te concept o its. Section - INTRODUCTION
More informationPROJECTIVE REPRESENTATIONS OF QUIVERS
IJMMS 31:2 22 97 11 II. S1611712218192 ttp://ijmms.indawi.com Hindawi ublisin Corp. ROJECTIVE RERESENTATIONS OF QUIVERS SANGWON ARK Received 3 Auust 21 We prove tat 2 is a projective representation o a
More informationHonors Calculus Midterm Review Packet
Name Date Period Honors Calculus Midterm Review Packet TOPICS THAT WILL APPEAR ON THE EXAM Capter Capter Capter (Sections. to.6) STRUCTURE OF THE EXAM Part No Calculators Miture o multiple-coice, matcing,
More informationINJECTIVE AND PROJECTIVE PROPERTIES OF REPRESENTATIONS OF QUIVERS WITH n EDGES. Sangwon Park
Korean J. Mat. 16 (2008), No. 3, pp. 323 334 INJECTIVE AND PROJECTIVE PROPERTIES OF REPRESENTATIONS OF QUIVERS WITH n EDGES Sanwon Park Abstract. We define injective and projective representations of quivers
More informationMaterial for Difference Quotient
Material for Difference Quotient Prepared by Stepanie Quintal, graduate student and Marvin Stick, professor Dept. of Matematical Sciences, UMass Lowell Summer 05 Preface Te following difference quotient
More information1 The concept of limits (p.217 p.229, p.242 p.249, p.255 p.256) 1.1 Limits Consider the function determined by the formula 3. x since at this point
MA00 Capter 6 Calculus and Basic Linear Algebra I Limits, Continuity and Differentiability Te concept of its (p.7 p.9, p.4 p.49, p.55 p.56). Limits Consider te function determined by te formula f Note
More informationGENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS
GENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS CHRIS HENDERSON Abstract. This paper will move through the basics o category theory, eventually deining natural transormations and adjunctions
More informationExam 1 Review Solutions
Exam Review Solutions Please also review te old quizzes, and be sure tat you understand te omework problems. General notes: () Always give an algebraic reason for your answer (graps are not sufficient),
More informationCopyright c 2008 Kevin Long
Lecture 4 Numerical solution of initial value problems Te metods you ve learned so far ave obtained closed-form solutions to initial value problems. A closedform solution is an explicit algebriac formula
More informationChapter 1D - Rational Expressions
- Capter 1D Capter 1D - Rational Expressions Definition of a Rational Expression A rational expression is te quotient of two polynomials. (Recall: A function px is a polynomial in x of degree n, if tere
More informationPolynomials 3: Powers of x 0 + h
near small binomial Capter 17 Polynomials 3: Powers of + Wile it is easy to compute wit powers of a counting-numerator, it is a lot more difficult to compute wit powers of a decimal-numerator. EXAMPLE
More information( ) x y z. 3 Functions 36. SECTION D Composite Functions
3 Functions 36 SECTION D Composite Functions By the end o this section you will be able to understand what is meant by a composite unction ind composition o unctions combine unctions by addition, subtraction,
More informationSecurity Constrained Optimal Power Flow
Security Constrained Optimal Power Flow 1. Introduction and notation Fiure 1 below compares te optimal power flow (OPF wit te security-constrained optimal power flow (SCOPF. Fi. 1 Some comments about tese
More information2.8 The Derivative as a Function
.8 Te Derivative as a Function Typically, we can find te derivative of a function f at many points of its domain: Definition. Suppose tat f is a function wic is differentiable at every point of an open
More informationCategories and Quantum Informatics: Monoidal categories
Cateories and Quantum Inormatics: Monoidal cateories Chris Heunen Sprin 2018 A monoidal cateory is a cateory equipped with extra data, describin how objects and morphisms can be combined in parallel. This
More informationAverage Rate of Change
Te Derivative Tis can be tougt of as an attempt to draw a parallel (pysically and metaporically) between a line and a curve, applying te concept of slope to someting tat isn't actually straigt. Te slope
More information3.4 Algebraic Limits. Ex 1) lim. Ex 2)
Calculus Maimus.4 Algebraic Limits At tis point, you sould be very comfortable finding its bot grapically and numerically wit te elp of your graping calculator. Now it s time to practice finding its witout
More informationPre-Calculus Review Preemptive Strike
Pre-Calculus Review Preemptive Strike Attaced are some notes and one assignment wit tree parts. Tese are due on te day tat we start te pre-calculus review. I strongly suggest reading troug te notes torougly
More informationLecture XVII. Abstract We introduce the concept of directional derivative of a scalar function and discuss its relation with the gradient operator.
Lecture XVII Abstract We introduce te concept of directional derivative of a scalar function and discuss its relation wit te gradient operator. Directional derivative and gradient Te directional derivative
More information1. Which one of the following expressions is not equal to all the others? 1 C. 1 D. 25x. 2. Simplify this expression as much as possible.
004 Algebra Pretest answers and scoring Part A. Multiple coice questions. Directions: Circle te letter ( A, B, C, D, or E ) net to te correct answer. points eac, no partial credit. Wic one of te following
More informationREVIEW LAB ANSWER KEY
REVIEW LAB ANSWER KEY. Witout using SN, find te derivative of eac of te following (you do not need to simplify your answers): a. f x 3x 3 5x x 6 f x 3 3x 5 x 0 b. g x 4 x x x notice te trick ere! x x g
More informationSin, Cos and All That
Sin, Cos and All Tat James K. Peterson Department of Biological Sciences and Department of Matematical Sciences Clemson University Marc 9, 2017 Outline Sin, Cos and all tat! A New Power Rule Derivatives
More informationA GENERAL CONSTRUCTION OF INTERNAL SHEAVES IN ALGEBRAIC SET THEORY
A GENERAL CONSTRUCTION OF INTERNAL SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to te problem o deining a counterpart in Algebraic
More informationChapter 2 Limits and Continuity. Section 2.1 Rates of Change and Limits (pp ) Section Quick Review 2.1
Section. 6. (a) N(t) t (b) days: 6 guppies week: 7 guppies (c) Nt () t t t ln ln t ln ln ln t 8. 968 Tere will be guppies ater ln 8.968 days, or ater nearly 9 days. (d) Because it suggests te number o
More information1watt=1W=1kg m 2 /s 3
Appendix A Matematics Appendix A.1 Units To measure a pysical quantity, you need a standard. Eac pysical quantity as certain units. A unit is just a standard we use to compare, e.g. a ruler. In tis laboratory
More informationCategories and Natural Transformations
Categories and Natural Transormations Ethan Jerzak 17 August 2007 1 Introduction The motivation or studying Category Theory is to ormalise the underlying similarities between a broad range o mathematical
More informationDerivatives of trigonometric functions
Derivatives of trigonometric functions 2 October 207 Introuction Toay we will ten iscuss te erivates of te si stanar trigonometric functions. Of tese, te most important are sine an cosine; te erivatives
More informationThe Sequent Calculus of Skew Monoidal Categories
MFPS 2018 Te Sequent Calculus o Skew Monoidal Cateories Tarmo Uustalu 1 Reykjavik University, Reykjavik, Iceland Tallinn University o Tecnoloy, Tallinn, Estonia Niccolò Veltri 2 IT University o Copenaen,
More informationNUMERICAL DIFFERENTIATION. James T. Smith San Francisco State University. In calculus classes, you compute derivatives algebraically: for example,
NUMERICAL DIFFERENTIATION James T Smit San Francisco State University In calculus classes, you compute derivatives algebraically: for example, f( x) = x + x f ( x) = x x Tis tecnique requires your knowing
More informationMath 1241 Calculus Test 1
February 4, 2004 Name Te first nine problems count 6 points eac and te final seven count as marked. Tere are 120 points available on tis test. Multiple coice section. Circle te correct coice(s). You do
More informationLab 6 Derivatives and Mutant Bacteria
Lab 6 Derivatives and Mutant Bacteria Date: September 27, 20 Assignment Due Date: October 4, 20 Goal: In tis lab you will furter explore te concept of a derivative using R. You will use your knowledge
More informationACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER /2019
ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS MATH00030 SEMESTER 208/209 DR. ANTHONY BROWN 6. Differential Calculus 6.. Differentiation from First Principles. In tis capter, we will introduce
More information5.1 We will begin this section with the definition of a rational expression. We
Basic Properties and Reducing to Lowest Terms 5.1 We will begin tis section wit te definition of a rational epression. We will ten state te two basic properties associated wit rational epressions and go
More informationMATH1131/1141 Calculus Test S1 v8a
MATH/ Calculus Test 8 S v8a October, 7 Tese solutions were written by Joann Blanco, typed by Brendan Trin and edited by Mattew Yan and Henderson Ko Please be etical wit tis resource It is for te use of
More informationRELATIVE GOURSAT CATEGORIES
RELTIVE GOURST CTEGORIES JULI GOEDECKE ND TMR JNELIDZE bstract. We deine relative Goursat cateories and prove relative versions o the equivalent conditions deinin reular Goursat cateories. These include
More informationFunctions. Introduction
Functions,00 P,000 00 0 y 970 97 980 98 990 99 000 00 00 Fiure Standard and Poor s Inde with dividends reinvested (credit "bull": modiication o work by Prayitno Hadinata; credit "raph": modiication o work
More informationWYSE Academic Challenge 2004 Sectional Mathematics Solution Set
WYSE Academic Callenge 00 Sectional Matematics Solution Set. Answer: B. Since te equation can be written in te form x + y, we ave a major 5 semi-axis of lengt 5 and minor semi-axis of lengt. Tis means
More informationSymmetry Labeling of Molecular Energies
Capter 7. Symmetry Labeling of Molecular Energies Notes: Most of te material presented in tis capter is taken from Bunker and Jensen 1998, Cap. 6, and Bunker and Jensen 2005, Cap. 7. 7.1 Hamiltonian Symmetry
More informationTHE IDEA OF DIFFERENTIABILITY FOR FUNCTIONS OF SEVERAL VARIABLES Math 225
THE IDEA OF DIFFERENTIABILITY FOR FUNCTIONS OF SEVERAL VARIABLES Mat 225 As we ave seen, te definition of derivative for a Mat 111 function g : R R and for acurveγ : R E n are te same, except for interpretation:
More informationMATH1901 Differential Calculus (Advanced)
MATH1901 Dierential Calculus (Advanced) Capter 3: Functions Deinitions : A B A and B are sets assigns to eac element in A eactl one element in B A is te domain o te unction B is te codomain o te unction
More informationINTERSECTION THEORY CLASSES 20 AND 21: BIVARIANT INTERSECTION THEORY
INTERSECTION THEORY CLASSES 20 AND 21: BIVARIANT INTERSECTION THEORY RAVI VAKIL CONTENTS 1. What we re doin this week 1 2. Precise statements 2 2.1. Basic operations and properties 4 3. Provin thins 6
More informationlecture 26: Richardson extrapolation
43 lecture 26: Ricardson extrapolation 35 Ricardson extrapolation, Romberg integration Trougout numerical analysis, one encounters procedures tat apply some simple approximation (eg, linear interpolation)
More informationCubic Functions: Local Analysis
Cubic function cubing coefficient Capter 13 Cubic Functions: Local Analysis Input-Output Pairs, 378 Normalized Input-Output Rule, 380 Local I-O Rule Near, 382 Local Grap Near, 384 Types of Local Graps
More informationThe Measurement of the Gravitational Constant g with Kater s Pendulum
e Measurement of te Gravitational Constant wit Kater s Pendulum Abstract A Kater s pendulum is set up to measure te period of oscillation usin a lamppotocell module and a ektronix oscilloscope. Usin repeated
More information232 Calculus and Structures
3 Calculus and Structures CHAPTER 17 JUSTIFICATION OF THE AREA AND SLOPE METHODS FOR EVALUATING BEAMS Calculus and Structures 33 Copyrigt Capter 17 JUSTIFICATION OF THE AREA AND SLOPE METHODS 17.1 THE
More informationMath 31A Discussion Notes Week 4 October 20 and October 22, 2015
Mat 3A Discussion Notes Week 4 October 20 and October 22, 205 To prepare for te first midterm, we ll spend tis week working eamples resembling te various problems you ve seen so far tis term. In tese notes
More informationHigher Derivatives. Differentiable Functions
Calculus 1 Lia Vas Higer Derivatives. Differentiable Functions Te second derivative. Te derivative itself can be considered as a function. Te instantaneous rate of cange of tis function is te second derivative.
More informationCalculus I Homework: The Derivative as a Function Page 1
Calculus I Homework: Te Derivative as a Function Page 1 Example (2.9.16) Make a careful sketc of te grap of f(x) = sin x and below it sketc te grap of f (x). Try to guess te formula of f (x) from its grap.
More informationGROWTH ANALYSIS OF ENTIRE FUNCTIONS OF TWO COMPLEX VARIABLES
Sa Communications in Matematical Analysis (SCMA Vol. 3 No. 2 (2016 13-24 ttp://scma.marae.ac.ir GROWTH ANALYSIS OF ENTIRE FUNCTIONS OF TWO COMPLEX VARIABLES SANJIB KUMAR DATTA 1 AND TANMAY BISWAS 2 Abstract.
More information4. The slope of the line 2x 7y = 8 is (a) 2/7 (b) 7/2 (c) 2 (d) 2/7 (e) None of these.
Mat 11. Test Form N Fall 016 Name. Instructions. Te first eleven problems are wort points eac. Te last six problems are wort 5 points eac. For te last six problems, you must use relevant metods of algebra
More informationDynamics and Relativity
Dynamics and Relativity Stepen Siklos Lent term 2011 Hand-outs and examples seets, wic I will give out in lectures, are available from my web site www.damtp.cam.ac.uk/user/stcs/dynamics.tml Lecture notes,
More informationConductance from Transmission Probability
Conductance rom Transmission Probability Kelly Ceung Department o Pysics & Astronomy University o Britis Columbia Vancouver, BC. Canada, V6T1Z1 (Dated: November 5, 005). ntroduction For large conductors,
More informationMonoidal Structures on Higher Categories
Monoidal Structures on Higer Categories Paul Ziegler Monoidal Structures on Simplicial Categories Let C be a simplicial category, tat is a category enriced over simplicial sets. Suc categories are a model
More informationSECTION 3.2: DERIVATIVE FUNCTIONS and DIFFERENTIABILITY
(Section 3.2: Derivative Functions and Differentiability) 3.2.1 SECTION 3.2: DERIVATIVE FUNCTIONS and DIFFERENTIABILITY LEARNING OBJECTIVES Know, understand, and apply te Limit Definition of te Derivative
More informationPhysically Based Modeling: Principles and Practice Implicit Methods for Differential Equations
Pysically Based Modeling: Principles and Practice Implicit Metods for Differential Equations David Baraff Robotics Institute Carnegie Mellon University Please note: Tis document is 997 by David Baraff
More information2.1 THE DEFINITION OF DERIVATIVE
2.1 Te Derivative Contemporary Calculus 2.1 THE DEFINITION OF DERIVATIVE 1 Te grapical idea of a slope of a tangent line is very useful, but for some uses we need a more algebraic definition of te derivative
More informationQuantum Numbers and Rules
OpenStax-CNX module: m42614 1 Quantum Numbers and Rules OpenStax College Tis work is produced by OpenStax-CNX and licensed under te Creative Commons Attribution License 3.0 Abstract Dene quantum number.
More informationMATH1151 Calculus Test S1 v2a
MATH5 Calculus Test 8 S va January 8, 5 Tese solutions were written and typed up by Brendan Trin Please be etical wit tis resource It is for te use of MatSOC members, so do not repost it on oter forums
More informationINTRODUCTION TO CALCULUS LIMITS
Calculus can be divided into two ke areas: INTRODUCTION TO CALCULUS Differential Calculus dealing wit its, rates of cange, tangents and normals to curves, curve sketcing, and applications to maima and
More informationHow to Find the Derivative of a Function: Calculus 1
Introduction How to Find te Derivative of a Function: Calculus 1 Calculus is not an easy matematics course Te fact tat you ave enrolled in suc a difficult subject indicates tat you are interested in te
More informationCategory Theory 2. Eugenia Cheng Department of Mathematics, University of Sheffield Draft: 31st October 2007
Cateory Theory 2 Euenia Chen Department o Mathematics, niversity o Sheield E-mail: echen@sheieldacuk Drat: 31st October 2007 Contents 2 Some basic universal properties 1 21 Isomorphisms 2 22 Terminal objects
More information2.3 Product and Quotient Rules
.3. PRODUCT AND QUOTIENT RULES 75.3 Product and Quotient Rules.3.1 Product rule Suppose tat f and g are two di erentiable functions. Ten ( g (x)) 0 = f 0 (x) g (x) + g 0 (x) See.3.5 on page 77 for a proof.
More informationSolve exponential equations in one variable using a variety of strategies. LEARN ABOUT the Math. What is the half-life of radon?
8.5 Solving Exponential Equations GOAL Solve exponential equations in one variable using a variety of strategies. LEARN ABOUT te Mat All radioactive substances decrease in mass over time. Jamie works in
More informationExercises for numerical differentiation. Øyvind Ryan
Exercises for numerical differentiation Øyvind Ryan February 25, 2013 1. Mark eac of te following statements as true or false. a. Wen we use te approximation f (a) (f (a +) f (a))/ on a computer, we can
More information