Category:Category theory
branch of mathematics studying categories, functors, and natural transformations  | |||||
| Upload media | |||||
| Instance of | |||||
|---|---|---|---|---|---|
| Part of |
| ||||
| Has use | |||||
| Has part(s) |
| ||||
| |||||
 | |||||
English: Category theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them.
Subcategories
This category has the following 10 subcategories, out of 10 total.
C
- Comma categories (15 F)
F
H
M
- Module theory (43 F)
- Monoidal category (2 F)
O
Q
- Quivers (graph theory) (10 F)
Pages in category "Category theory"
This category contains only the following page.
Media in category "Category theory"
The following 200 files are in this category, out of 220 total.
(previous page) (next page)-
2 point discrete space.png 151 × 137; 1 KB
-
AlgebraicGroup diagrams.gif 580 × 189; 4 KB
-
Amalcatresugwe.tif 346 × 260; 4 KB
-
Amalgcatlimfqwfq.tif 348 × 260; 6 KB
-
Amalwejhcatlimfqwfq.tif 424 × 347; 15 KB
-
Anafunctor (span).pdf 266 × 147; 26 KB
-
Anafunctor (span).svg 171 × 96; 10 KB
-
Applicative Form of Monoidal Coherence Map 01.svg 516 × 78; 99 KB
-
Arrow diagram transitive.png 206 × 77; 1,023 bytes
-
Associativity Coherence of Tensorial Strengths.svg 381 × 71; 82 KB
-
Baby Category 1 plus 1.svg 187 × 89; 6 KB
-
Baby Category 1.svg 77 × 86; 4 KB
-
Baby Category 2.svg 187 × 89; 7 KB
-
BabyCategory 1.png 74 × 78; 352 bytes
-
BabyCategory 1plus1.png 189 × 82; 545 bytes
-
BabyCategory 2.png 195 × 91; 582 bytes
-
Bialgebra4a.svg 185 × 61; 26 KB
-
Braid category hexagon.svg 688 × 188; 28 KB
-
Braid category inverse hexagon.svg 688 × 188; 30 KB
-
Carré cartésien diagramme.png 570 × 570; 36 KB
-
Carré cartésien.png 380 × 380; 16 KB
-
Categorieopp.svg 108 × 190; 14 KB
-
Category SVG.svg 150 × 150; 123 KB
-
Change of rings adjunction.svg 204 × 89; 15 KB
-
Coker-simple.svg 96 × 55; 18 KB
-
Coker-simple2.svg 96 × 55; 18 KB
-
Cokernel-thm1.svg 126 × 89; 28 KB
-
Cokernel-thm2-1.svg 55 × 53; 16 KB
-
Cokernel-thm2-2.svg 55 × 55; 16 KB
-
Commutative Diagram 2.jpg 456 × 296; 20 KB
-
Composition of morphisms1.jpg 776 × 173; 10 KB
-
Composition of Roofs in Derived Category.pdf 1,275 × 1,650, 8 pages; 160 KB
-
Compositionoffunctions.png 414 × 235; 12 KB
-
Connection between comma category and universal properties.svg 674 × 157; 24 KB
-
Connection between universal diagrams and comma categories.svg 674 × 157; 24 KB
-
Coproduit.svg 179 × 174; 21 KB
-
Coëxtension of scalars coünit.svg 321 × 129; 18 KB
-
Dagger compact category (diagram).png 193 × 140; 6 KB
-
Dagger compact category (diagram).svg 263 × 225; 19 KB
-
Dagger Compact Category.svg 500 × 365; 21 KB
-
Definition-of-a-nodal-decomposition.jpg 266 × 194; 6 KB
-
Delta maps.svg 512 × 220; 12 KB
-
DeltaFunctorLongExactSequence.png 939 × 475; 34 KB
-
Determinant as a natural transformation.svg 161 × 77; 25 KB
-
Diag ax cat.gif 500 × 150; 3 KB
-
Diagram of geometric categories.png 8,948 × 9,248; 4.36 MB
-
Diagram of geometric categories.svg 2,684 × 2,774; 845 KB
-
Diagram przemienny.png 534 × 463; 20 KB
-
Diagramgalileioper.png 535 × 303; 13 KB
-
Discrete category.svg 503 × 503; 5 KB
-
Distributive law monads mult1.svg 274 × 104; 32 KB
-
Distributive law monads mult2.svg 733 × 279; 32 KB
-
Distributive law monads unit1.svg 70 × 36; 21 KB
-
Distributive law monads unit2.svg 24 × 13; 21 KB
-
Eckman hilton clock.svg 679 × 639; 7 KB
-
Eckmanhilton.jpg 724 × 682; 40 KB
-
Enrichedidentity.png 560 × 173; 16 KB
-
Enrichedmult.png 451 × 95; 6 KB
-
Enrichment-2.jpg 547 × 458; 17 KB
-
Epimorphism scenarios.svg 340 × 50; 15 KB
-
Exact couple.png 241 × 156; 1 KB
-
Extension of scalars unit.svg 319 × 131; 19 KB
-
Extension-3.jpg 252 × 181; 5 KB
-
F Algebra Associativity Commutative Diagram.svg 236 × 88; 28 KB
-
F Algebra Identity Commutative Diagram.svg 243 × 86; 25 KB
-
F Algebra Inverse Commutative Diagram.svg 202 × 86; 24 KB
-
Factorisation.svg 85 × 57; 16 KB
-
Factorization system functoriality.png 154 × 93; 2 KB
-
Factorization system orthogonality.png 92 × 88; 2 KB
-
Fibered product detail.svg 300 × 100; 11 KB
-
Fibonacci category physics normalization.png 2,166 × 176; 42 KB
-
Fibre bundle local trivial.svg 283 × 177; 26 KB
-
Free-category-ump.svg 116 × 84; 17 KB
-
Free-object-universal-property.svg 319 × 142; 28 KB
-
Fullness of a diagonal functor.svg 546 × 327; 26 KB
-
FunctionDecompCD.jpg 204 × 147; 11 KB
-
Functor Strength By Tensorial Strength.svg 488 × 78; 103 KB
-
Functor.png 436 × 243; 45 KB
-
Functoriality (2).svg 1,825 × 725; 17 KB
-
Functoriality long exact sequence.svg 4,560 × 515; 28 KB
-
Functors Between Objects and Morphisms of C.pdf 237 × 122; 4 KB
-
Fundamental Homomorphism Theorem v2.svg 92 × 81; 38 KB
-
Funtori paralleli kf.png 127 × 89; 2 KB
-
Galileiiidiagram.png 630 × 313; 7 KB
-
Globular set.svg 490 × 489; 19 KB
-
Graphical illustration of Hom functor (covariant).svg 765 × 630; 50 KB
-
GrothendieckGroupAsFunctor.PNG 187 × 115; 4 KB
-
Group associative categories.svg 263 × 125; 15 KB
-
Group operation image.tif 258 × 132; 6 KB
-
Hochhebungseigenschaft.png 404 × 337; 11 KB
-
Hom functor.svg 425 × 213; 30 KB
-
Homotopy lifting property.png 200 × 144; 7 KB
-
Horizontal composition of natural transformations.svg 1,745 × 440; 24 KB
-
Hurewicz2 (corrected).svg 1,416 × 1,006; 20 KB
-
Hypermorphisms.pdf 1,275 × 1,650; 57 KB
-
Initial and terminal object.png 1,476 × 2,448; 159 KB
-
InitialAndFinalObjectsInTheCategoryOfAdjunctions.png 245 × 126; 5 KB
-
Isomorphisme d'une catégorie1.png 768 × 614; 12 KB
-
Jean Bénabou en 2019.jpg 5,472 × 3,648; 6.36 MB
-
Joyal lifting theorem 2.svg 198 × 122; 19 KB
-
Joyal lifting theorem.svg 190 × 122; 19 KB
-
Kategoria przecinkowa.png 275 × 269; 8 KB
-
Kategória1.png 540 × 266; 4 KB
-
Ker-simple.svg 96 × 57; 18 KB
-
Ker-simple2.svg 96 × 57; 19 KB
-
Kernel of morphism.svg 157 × 106; 13 KB
-
Kernel-thm1.svg 126 × 89; 28 KB
-
Kernel-thm2-1.svg 55 × 55; 16 KB
-
Kernel-thm2-2.svg 55 × 57; 16 KB
-
Kernel.svg 106 × 62; 31 KB
-
Kleisli Category - morphism composition.png 1,266 × 1,230; 87 KB
-
Kleisli Category - morphism composition.svg 1,266 × 1,230; 116 KB
-
Kompositiongundf.png 295 × 151; 7 KB
-
Lax monoidal funct assoc.png 364 × 199; 8 KB
-
Left Unit Coherence of Tensorial Strengths.svg 151 × 64; 29 KB
-
LiftingProperties.png 106 × 112; 2 KB
-
List object definition.svg 204 × 78; 21 KB
-
Luonnollinen muunnos.png 987 × 419; 68 KB
-
Luonnollisen muunnoksen ehto.png 362 × 235; 17 KB
-
Luonnollisen muunnoksen komponentit.png 844 × 919; 83 KB
-
Luonnollisen muunnoksen ylinuolet.png 1,179 × 923; 120 KB
-
Mappings-as-moduli.png 286 × 100; 4 KB
-
Minoid.png 860 × 188; 24 KB
-
Model category lifting.png 96 × 96; 4 KB
-
Model category retract.png 158 × 119; 7 KB
-
Modification in category theory.png 2,340 × 1,089; 80 KB
-
MonadDistrEtaPString.svg 154 × 69; 9 KB
-
MonadDistrMuPString.svg 179 × 84; 11 KB
-
Monoid multiplication.svg 550 × 138; 17 KB
-
Monoid unit svg.svg 363 × 125; 24 KB
-
Monoidal category pentagon.svg 921 × 142; 30 KB
-
Monoidal category triangle.svg 425 × 142; 26 KB
-
Monoidal Coherence Map from Applicative Formulation.svg 436 × 76; 86 KB
-
Monoidal natural transformation multiplication.svg 313 × 150; 26 KB
-
Monoidal natural transformation unit.svg 238 × 150; 20 KB
-
Monoidal2.svg 357 × 121; 21 KB
-
Monomorphism pullback square.png 336 × 276; 10 KB
-
Monomorphism scenarios.svg 340 × 50; 16 KB
-
Morphism-Composition.svg 213 × 26; 8 KB
-
Morphism.svg 113 × 26; 5 KB
-
MorphismInTheCategoryOfAdjunctions.png 248 × 127; 4 KB
-
Natural Transformation between two functors.svg 360 × 155; 28 KB
-
Natural transformation diagram.svg 360 × 155; 28 KB
-
Natural transformation.svg 125 × 101; 29 KB
-
Nodal-and-basic-decomposition-1.jpg 582 × 294; 19 KB
-
Nodal-decomposition-notations.jpg 314 × 146; 6 KB
-
OperadTreeCompose2.svg 200 × 200; 4 KB
-
OperadTreeCompose3.svg 200 × 200; 7 KB
-
OperadTreeCompose5.svg 200 × 200; 5 KB
-
OperadTreeCompose6.svg 200 × 200; 7 KB
-
Opposite group nature.svg 250 × 144; 18 KB
-
Pentagonal diagram for monoidal categories.svg 827 × 169; 29 KB
-
Pivotal operator in a pivotal category.png 2,162 × 1,046; 166 KB
-
Podkategoria reflektywna.png 321 × 206; 5 KB
-
Podnoszenie homotopii.png 283 × 253; 6 KB
-
Polygraph (mathematics).svg 529 × 497; 16 KB
-
Prod chain.svg 400 × 250; 18 KB
-
Projective object.svg 87 × 69; 11 KB
-
PullbackS.PNG 416 × 312; 6 KB
-
Pure Operator By Tensorial Strength.svg 251 × 71; 44 KB
-
Pystyliitos.png 1,239 × 955; 140 KB
-
Quasifibration-fibration.png 892 × 716; 22 KB
-
Quasifibration-via-hofibre.svg 2,183 × 609; 10 KB
-
Quiver Morphism Start Diagram.svg 79 × 65; 27 KB
-
Quiver Morphism Target Diagram.svg 79 × 65; 27 KB
-
Refinement.jpg 274 × 185; 5 KB
-
Relations category op.svg 213 × 213; 100 KB
-
Relations category.svg 213 × 213; 96 KB
-
RetractOfMorphism.png 189 × 91; 1 KB
-
Right Kan extension universal property diagram.PNG 195 × 99; 2 KB
-
Right Kan Extension.png 175 × 106; 5 KB
-
Sample Bratteli diagram.svg 186 × 86; 23 KB
-
Section (théorie des catégories).png 768 × 614; 13 KB
-
Simple category.svg 200 × 200; 960 bytes
-
Slice category.png 276 × 285; 10 KB
-
Smart Plant.jpg 3,825 × 2,381; 1.16 MB
-
Stone functor.svg 390 × 177; 37 KB
-
String diagram adjunction.svg 314 × 144; 16 KB
-
String diagram counit.svg 90 × 81; 10 KB
-
String diagram identity.svg 71 × 109; 5 KB
-
String diagram unit.svg 114 × 81; 11 KB
-
String diagrams for braiding.png 1,868 × 564; 75 KB
-
Strong monad associative.svg 700 × 165; 33 KB
-
Strong monad commutation.png 563 × 213; 10 KB
-
Strong monad commutation.svg 563 × 168; 31 KB
-
Strong monad left unit.svg 288 × 150; 26 KB
-
Strong monad multiplication.svg 550 × 165; 30 KB
-
Strong monad unit.svg 288 × 145; 25 KB
-
SubobjectClassifier-03.png 110 × 126; 961 bytes
-
Symmetric monoidal associativity coherence.png 547 × 355; 18 KB
-
Symmetric monoidal category swap.svg 36 × 27; 1 KB
-
Symmetric monoidal inverse law.png 493 × 201; 9 KB
-
Tensor product in string diagrams.png 1,852 × 692; 70 KB
-
Tensorial Costrength By Tensorial Strength.svg 164 × 76; 48 KB
-
Tensorial Strength By Functor Strength.svg 416 × 76; 90 KB
-
Tensorial Strength By Pure Operator.svg 311 × 74; 53 KB
-
TermAlgebra-Diagram-01.svg 79 × 61; 16 KB
-
Terminal and initial object.svg 640 × 344; 3 KB
-
Topcatejigre.tif 326 × 228; 7 KB
-
Trace diagram associativity.svg 700 × 250; 39 KB
.svg)
.png)
.svg)
.svg){kind=small}
.svg)
.svg)
.svg)
.png)
