Difference between revisions of "Template:Category theory navbox"
From Maths
m |
m |
||
| Line 18: | Line 18: | ||
|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} }}]] | ||
| − | |group4= | + | |group4=Primitive constructs |
| − | |list4=[[product (category theory)|Product]] / [[coproduct (category theory)|Coproduct]], [[Limit (category theory)|Limit]] / [[Colimit (category theory)|Colimit]], [[Equaliser (category theory)|Equaliser]] / [[Coequaliser (category theory)|Coequaliser]] | + | |list4=[[Wedge (category theory)|Wedge]] ({{AKA}} [[Cone (category theory)|Cone]] & [[cocone]]) |
| − | | | + | |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]] |
| + | |group6=Important examples | ||
| + | |list6=<nowiki/> | ||
* [[Demonstrating why category arrows are best thought of as arrows and not functions]] | * [[Demonstrating why category arrows are best thought of as arrows and not functions]] | ||
| − | | | + | |group7=Trivial category examples |
| − | | | + | |list7=[[Category induced by a monoid]], [[Category induced by a poset]] |
| − | | | + | |group8=Common categories |
| − | | | + | |list8=[[SET (category)|{{M|\mathrm{SET} }}]], [[Pfn (category)|{{M|\mathrm{Pfn} }}]], [[GROUP (category)|{{M|\mathrm{GROUP} }}]] |
}}<noinclude> | }}<noinclude> | ||
[[Category:Navboxes]] | [[Category:Navboxes]] | ||
Revision as of 22:14, 28 February 2016
| ||||||||||||||||||||||||||||||||
Todo (Navbox project): fill this out
