Definition 1.1. A category consists of the following data:
• Objects: A,B,C,...
• Arrows : f,g,h,...
• For each arrow f, there are given objects dom(f), cod(f) called the domain and codomain of f. We write f : A → B to indicate that A =dom(f)andB =cod(f).
• Given arrows f : A → B and g : B → C, that is, with cod(f)=dom(g)
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, p21
Summary
status | not read | | reprioritisations | |
---|
last reprioritisation on | | | suggested re-reading day | |
---|
started reading on | | | finished reading on | |
---|
Details