Difference between revisions of "Template:Category theory navbox"
From Maths
m |
m |
||
| (4 intermediate revisions by the same user not shown) | |||
| Line 11: | Line 11: | ||
|title=Category Theory | |title=Category Theory | ||
|above=Overview of the concepts of [[Category Theory (subject)|Category Theory]] | |above=Overview of the concepts of [[Category Theory (subject)|Category Theory]] | ||
| − | |image=< | + | |image=<div style="font-size:0.65em;overflow:hidden;">{{:Types of category arrows/Diagram}}</div> |
|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=[[Types of category arrows|Typical morphism types]]<br/><span style="font-weight:normal;">(see diagram on right)</span> | |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]], [[section (category theory)|Section]] ({{AKA}}: [[Split monic]]), [[retraction (category theory)|Retraction]] ({{AKA}}: [[Split epic]]), [[Isomorphism]] | + | |list2=[[Arrow]] ({{AKA}}: [[Morphism]]), [[Monic]], [[Epic]], [[Bimorphism]], [[section (category theory)|Section]] ({{AKA}}: [[Split monic]]), [[retraction (category theory)|Retraction]] ({{AKA}}: [[Split epic]]), [[Isomorphism (category theory)|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} }}]] ([[initial and final compared (category theory)|compared]]) |
|group4=Primitive constructs | |group4=Primitive constructs | ||
|list4=[[Wedge (category theory)|Wedge]] ({{AKA}} [[Cone (category theory)|Cone]] & [[cocone (category theory)|Cocone]]) | |list4=[[Wedge (category theory)|Wedge]] ({{AKA}} [[Cone (category theory)|Cone]] & [[cocone (category theory)|Cocone]]) | ||
|group5=Key constructs | |group5=Key constructs | ||
| − | |list5=[[product (category theory)|Product]] / [[coproduct (category theory)|Coproduct]] ([[Product and coproduct compared | + | |list5=[[product (category theory)|Product]] / [[coproduct (category theory)|Coproduct]] ([[Product and coproduct compared]]), [[Limit (category theory)|Limit]] / [[Colimit (category theory)|Colimit]], [[Equaliser (category theory)|Equaliser]] / [[Coequaliser (category theory)|Coequaliser]] |
|group6=Important examples | |group6=Important examples | ||
|list6=<nowiki/> | |list6=<nowiki/> | ||
Latest revision as of 20:26, 15 November 2016
| ||||||||||||||||||||||||||||||||
Todo (Navbox project): fill this out
