Category:Category theory
Bước tới điều hướng
Bước tới tìm kiếm
branch of mathematics studying categories, functors, and natural transformations  | |||||
| Tải lên phương tiện | |||||
| Là một | |||||
|---|---|---|---|---|---|
| Một phần của |
| ||||
| Cách dùng | |||||
| Gồm có |
| ||||
| |||||
 | |||||
English: Category theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them.
Thể loại con
Thể loại này có 11 thể loại con sau, trên tổng số 11 thể loại con.
C
- Comma categories (11 F)
E
F
H
M
- Module theory (43 F)
- Monoidal category (2 F)
O
Q
- Quivers (graph theory) (8 F)
Trang trong thể loại “Category theory”
Thể loại này chỉ chứa trang sau.
Tập tin trong thể loại “Category theory”
185 tập tin sau nằm trong thể loại này, trong tổng số 185 tập tin.
-
2 point discrete space.png 151×137; 1 kB
-
AlgebraicGroup diagrams.gif 580×189; 4 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 byte
-
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 byte
-
BabyCategory 1plus1.png 189×82; 545 byte
-
BabyCategory 2.png 195×91; 582 byte
-
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 trang; 160 kB
-
Compositionoffunctions.png 414×235; 12 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
-
Minoid.png 860×188; 24 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 byte
-
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 byte
-
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
-
Uinit-counit-1.png 212×147; 4 kB
-
Unit-counit.png 489×162; 11 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
.svg)
.png)
.svg)
.svg){kind=small}
.svg)
.svg)
.png)
