Indicwiki: 1 revision imported from :alpha:Template:Category_theory

2022-12-15T03:38:24Z

1 revision imported from alpha:Template:Category_theory

← Older revision	Revision as of 09:08, 15 December 2022
(No difference)

alpha>Sarika: Created page with "{{Navbox with collapsible groups | name = Category theory | state = uncollapsed | bodyclass = hlist | title = Category theory | image = File:Commutative diagram for morp..."

2022-12-14T10:28:49Z

Created page with "{{Navbox with collapsible groups | name = Category theory | state = uncollapsed | bodyclass = hlist | title = Category theory | image = File:Commutative diagram for morp..."

← Older revision		Revision as of 15:58, 14 December 2022
Line 123:		Line 123:
	}}<noinclude>		}}<noinclude>
	{{Documentation\|}}		{{Documentation\|}}
	</noinclude>		</noinclude>[[Category: Templates Vigyan Ready]]

Admin: 1 revision imported

2022-12-04T09:59:10Z

1 revision imported

← Older revision	Revision as of 15:29, 4 December 2022
(No difference)

wikipedia>Izno: rm non-specific and non-Wikipedia below links

2020-09-27T14:57:28Z

rm non-specific and non-Wikipedia below links

New page

{{Navbox with collapsible groups
| name = Category theory
| state = uncollapsed
| bodyclass = hlist
| title = [[Category theory]]
| image = [[File:Commutative diagram for morphism.svg|60px|alt=A simple triangular commutative diagram|link=Commutative_diagram]]
| groupstyle = background:#e5e5ff;
| selected = {{{selected|{{{1|}}}}}}

| group1 = Key concepts
| state1 = uncollapsed
| content1 = {{Navbox|child
| group1 = Key concepts
| list1 =
* [[Category (mathematics)|Category]]

* [[Adjoint functors]]
* [[Cartesian closed category|CCC]]
* [[Commutative diagram]]
* [[Concrete category]]
* [[End (category theory)|End]]
* [[Exponential object|Exponential]]
* [[Functor]]
* [[Kan extension]]
* [[Morphism]]
* [[Natural transformation]]
* [[Universal property]]



| group2 = [[Universal construction|Universal constructions]]
| list2 = {{Navbox|subgroup
| group1 = [[Limit (category theory)|Limits]]
| list1 =
* [[Initial and terminal objects|Terminal objects]]
* [[Product (category theory)|Products]]
* [[Equaliser (mathematics)|Equalizers]]
**[[Kernel (category theory)|Kernels]]
* [[Pullback (category theory)|Pullbacks]]
* [[Inverse limit]]
| group2 = [[Colimit|Colimits]]
| list2 =
* [[Initial and terminal objects|Initial objects]]
* [[Coproduct|Coproducts]]
* [[Coequalizer|Coequalizers]]
**[[Cokernel|Cokernels and quotients]]
* [[Pushout (category theory)|Pushout]]
* [[Direct limit]]
}}

| group3 = [[Algebraic category|Algebraic categories]]
| list3 =

* [[Category of sets|Sets]]
* [[Category of relations|Relations]]
* [[Category of magmas|Magmas]]
* [[Category of groups|Groups]]
* [[Category of abelian groups|Abelian groups]]
* [[Category of rings|Rings]] ([[Category of rings#Category of fields|Fields]])
* [[Category of modules|Modules]] ([[Category of modules#Example: the category of vector spaces|Vector spaces]])

| group4 = Constructions on categories
| list4 =

* [[Free category]]
* [[Functor category]]
* [[Kleisli category]]
* [[Opposite category]]
* [[Quotient category]]
* [[Product category]]
* [[Comma category]]
* [[Subcategory]]
}}

| group2 = [[Higher category theory]]
| list2 =
* {{Navbox|child
| group1 = Key concepts
| state1 = collapsed
| list1 =

* [[Categorification]]
* [[Enriched category]]
* [[Higher-dimensional algebra]]
* [[Homotopy hypothesis]]
* [[Model category]]
* [[Simplex category]]
* [[String diagram]]
* [[Topos]]

| group2 = n-categories
| list2 = {{Navbox|child
| group1 = [[Weak n-category|Weak {{var|n}}-categories]]
| list1 =
* [[Bicategory]] ([[Pseudo-functor|pseudofunctor]])
* [[Tricategory]]
* [[Tetracategory]]
* [[Quasi-category|Kan complex]]
* [[∞-groupoid]]
* [[∞-topos]]
| group2 = [[Strict n-category|Strict {{var|n}}-categories]]
| list2 =
* [[Strict 2-category|2-category]] ([[2-functor]])
* [[3-category]]
}}

| group3 = [[Categorification|Categorified]] concepts
| list3 =
* [[2-group]]
* [[2-ring]]
* [[En-ring|''E<sub>n</sub>''-ring]]
* ([[Traced monoidal category|Traced]])([[Symmetric monoidal category|Symmetric]]) [[monoidal category]]
* [[N-group (category theory)|n-group]]
* [[n-monoid]]
}}

| belowstyle=font-weight:bold;
| below =
* {{Icon|Category}} [[:Category:Category theory|Category]]
* {{icon|LIST}} [[Outline of category theory|Outline]]
* {{icon|LIST}} [[Glossary of category theory|Glossary]]

}}<noinclude>
{{Documentation|}}
</noinclude>

Template:Category theory - Revision history

Indicwiki: 1 revision imported from :alpha:Template:Category_theory

alpha>Sarika: Created page with "{{Navbox with collapsible groups | name = Category theory | state = uncollapsed | bodyclass = hlist | title = Category theory | image = File:Commutative diagram for morp..."

Admin: 1 revision imported

wikipedia>Izno: rm non-specific and non-Wikipedia below links