Do you want BuboFlash to help you learning these things? Or do you want to add or correct something? Click here to log in or create user.



there is given an arrow g ◦ f : A → C called the composite of f and g.
• For each object A, there is given an arrow 1 A : A → A called the identity arrow of A.
These data are required to satisfy the following laws:
• Associativity: h ◦ (g ◦ f)=(h ◦ g) ◦ f for all f : A → B, g : B → C, h : C → D.
• Unit: f ◦ 1 A = f =1 B ◦ f for all f : A → B
If you want to change selection, open document below and click on "Move attachment"

pdf

owner: LustrzanyDotyk - (no access) - (Oxford Logic Guides 52) Steve Awodey-Category Theory-Oxford University Press (2010).pdf, p22


Summary

statusnot read reprioritisations
last reprioritisation on suggested re-reading day
started reading on finished reading on

Details



Discussion

Do you want to join discussion? Click here to log in or create user.