Difference between revisions of "Template:Category theory navbox"
From Maths
m |
m |
||
| Line 13: | Line 13: | ||
|group1=Key objects | |group1=Key objects | ||
|list1=[[Category]], [[Functor]] ([[Covariant functor|Covariant]], [[Contravariant functor|Contravariant]]), [[Subcategory]] | |list1=[[Category]], [[Functor]] ([[Covariant functor|Covariant]], [[Contravariant functor|Contravariant]]), [[Subcategory]] | ||
| − | |group2= | + | |group2=[[Types of category arrows|Typical morphism types]]<br/><span style="font-weight:normal;">(see diagram on right)</span> |
| − | |list2=[[Arrow]] ({{AKA}}: [[Morphism]]), [[Monic]], [[Epic]], [[Bimorphism]], [[ | + | |list2=[[Arrow]] ({{AKA}}: [[Morphism]]), [[Monic]], [[Epic]], [[Bimorphism]], [[section (category theory)|Section]] ({{AKA}}: [[Split monic]]), [[retraction (category theory)|Retraction]] ({{AKA}}: [[Split epic]]), [[Isomorphism]] |
|group3=Key objects | |group3=Key objects | ||
|list3=[[Initial (category theory)|{{M|\text{Initial} }}]], [[Final (category theory)|{{M|\text{Final} }}]] | |list3=[[Initial (category theory)|{{M|\text{Initial} }}]], [[Final (category theory)|{{M|\text{Final} }}]] | ||
Revision as of 15:12, 6 February 2016
| |||||||||||||||||||||||||||||
TODO: fill this out
