Category:Category theory
跳转到导航
跳转到搜索
研究範疇、函子和自然變換的數學分支  | |||||
| 上传媒体 | |||||
| 隶属于 | |||||
|---|---|---|---|---|---|
| 所属实体 |
| ||||
| 用途 | |||||
| 可分為 |
| ||||
| |||||
 | |||||
English: Category theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them.
子分类
本分类有以下11个子分类，共有11个子分类。
C
- Comma categories (11 F)
E
F
H
M
- Module theory (43 F)
- Monoidal category (2 F)
O
Q
- Quivers (graph theory) (8 F)
分类“Category theory”中的媒体文件
以下180个文件属于本分类，共180个文件。
-
2 point discrete space.png 151 × 137；1 KB
-
AlgebraicGroup diagrams.gif 580 × 189；4 KB
-
Applicative Form of Monoidal Coherence Map 01.svg 516 × 78；99 KB
-
Arrow diagram transitive.png 206 × 77；1,023字节
-
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字节
-
BabyCategory 1plus1.png 189 × 82；545字节
-
BabyCategory 2.png 195 × 91；582字节
-
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
-
Category SVG.svg 150 × 150；123 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页；160 KB
-
Compositionoffunctions.png 414 × 235；12 KB
-
Connection between comma category and universal properties.svg 674 × 157；24 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
-
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
-
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-1.jpg 312 × 235；7 KB
-
Enrichment-2.jpg 547 × 458；17 KB
-
Epimorphism scenarios.svg 340 × 50；15 KB
-
Exact couple.png 241 × 156；1 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
-
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
-
Functoriality-of-pseudocompletion.jpg 176 × 133；5 KB
-
Functoriality-of-pseudosaturation.jpg 168 × 135；5 KB
-
Fundamental Homomorphism Theorem v2.svg 92 × 81；38 KB
-
Funtori paralleli kf.png 127 × 89；2 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
-
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
-
Mappings-as-moduli.png 286 × 100；4 KB
-
Model category lifting.png 96 × 96；4 KB
-
Model category retract.png 158 × 119；7 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
-
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
-
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
-
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
-
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字节
-
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
-
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字节
-
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
-
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
-
Trace diagram associativity.svg 700 × 250；39 KB
-
Trace diagram dinaturality.svg 700 × 250；35 KB
-
Trace diagram naturality 1.svg 700 × 250；35 KB
-
Trace diagram naturality 2.svg 700 × 250；35 KB
-
Trace diagram superposition.svg 700 × 250；40 KB
-
Trace diagram vanishing.svg 700 × 250；24 KB
-
Trace diagram yanking.svg 700 × 250；20 KB
-
Transitive-closure.svg 1,063 × 567；6 KB
-
Trasfnat composizione orizzontale elem kf.png 690 × 398；19 KB
-
Trasfnat composizione orizzontale kf.png 479 × 269；11 KB
-
Trasfnat composizione verticale kf.png 318 × 165；6 KB
-
Trasformazione naturale kf.png 420 × 204；8 KB
-
-
Universal-property-products.svg 259 × 84；29 KB
-
Vertical composition of natural transformations.svg 1,760 × 605；17 KB
-
Waldhausen cat.png 160 × 144；4 KB
-
Свойство коуравнителя.png 255 × 159；5 KB
.png)
.svg)
.svg){kind=small}
.svg)
.svg)
.png)
