Difference between revisions of "Template:Category theory navbox"

From Maths
Jump to: navigation, search
m
m
 
(6 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=<span style="font-size:0.7em;">{{:Types of category arrows/Diagram}}</span>
+
|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]])
+
|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]]), [[Limit (category theory)|Limit]] / [[Colimit (category theory)|Colimit]], [[Equaliser (category theory)|Equaliser]] / [[Coequaliser (category theory)|Coequaliser]]
 
|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]]

Latest revision as of 20:26, 15 November 2016


Todo (Navbox project): fill this out