Category:Category theory

下位カテゴリ

このカテゴリに属する 11 個のサブカテゴリのうち、 11 個を表示しています。

カテゴリ「Category theory」にあるページ

このカテゴリに属するページは次の1つのみです。

カテゴリ「Category theory」にあるメディア

このカテゴリに属する 180 個のファイルのうち、 180 個を表示しています。

• 
  2 point discrete space.png 151 × 137；1キロバイト
  
• 
  AlgebraicGroup diagrams.gif 580 × 189；4キロバイト
  
• 
  Applicative Form of Monoidal Coherence Map 01.svg 516 × 78；99キロバイト
  
• 
  Arrow diagram transitive.png 206 × 77；1,023バイト
  
• 
  Associativity Coherence of Tensorial Strengths.svg 381 × 71；82キロバイト
  
• 
  Baby Category 1 plus 1.svg 187 × 89；6キロバイト
  
• 
  Baby Category 1.svg 77 × 86；4キロバイト
  
• 
  Baby Category 2.svg 187 × 89；7キロバイト
  
• 
  BabyCategory 1.png 74 × 78；352バイト
  
• 
  BabyCategory 1plus1.png 189 × 82；545バイト
  
• 
  BabyCategory 2.png 195 × 91；582バイト
  
• 
  Bialgebra4a.svg 185 × 61；26キロバイト
  
• 
  Braid category hexagon.svg 688 × 188；28キロバイト
  
• 
  Braid category inverse hexagon.svg 688 × 188；30キロバイト
  
• 
  Carré cartésien diagramme.png 570 × 570；36キロバイト
  
• 
  Carré cartésien.png 380 × 380；16キロバイト
  
• 
  Category SVG.svg 150 × 150；123キロバイト
  
• 
  Coker-simple.svg 96 × 55；18キロバイト
  
• 
  Coker-simple2.svg 96 × 55；18キロバイト
  
• 
  Cokernel-thm1.svg 126 × 89；28キロバイト
  
• 
  Cokernel-thm2-1.svg 55 × 53；16キロバイト
  
• 
  Cokernel-thm2-2.svg 55 × 55；16キロバイト
  
• 
  Commutative Diagram 2.jpg 456 × 296；20キロバイト
  
• 
  Composition of morphisms1.jpg 776 × 173；10キロバイト
  
• 
  Composition of Roofs in Derived Category.pdf 1,275 × 1,650、8 ページ；160キロバイト
  
• 
  Compositionoffunctions.png 414 × 235；12キロバイト
  
• 
  Connection between comma category and universal properties.svg 674 × 157；24キロバイト
  
• 
  Dagger compact category (diagram).png 193 × 140；6キロバイト
  
• 
  Dagger compact category (diagram).svg 263 × 225；19キロバイト
  
• 
  Dagger Compact Category.svg 500 × 365；21キロバイト
  
• 
  Delta maps.svg 512 × 220；12キロバイト
  
• 
  DeltaFunctorLongExactSequence.png 939 × 475；34キロバイト
  
• 
  Determinant as a natural transformation.svg 161 × 77；25キロバイト
  
• 
  Diag ax cat.gif 500 × 150；3キロバイト
  
• 
  Diagram of geometric categories.png 8,948 × 9,248；4.36メガバイト
  
• 
  Diagram of geometric categories.svg 2,684 × 2,774；845キロバイト
  
• 
  Discrete category.svg 503 × 503；5キロバイト
  
• 
  Distributive law monads mult1.svg 274 × 104；32キロバイト
  
• 
  Distributive law monads mult2.svg 733 × 279；32キロバイト
  
• 
  Distributive law monads unit1.svg 70 × 36；21キロバイト
  
• 
  Distributive law monads unit2.svg 24 × 13；21キロバイト
  
• 
  Eckman hilton clock.svg 679 × 639；7キロバイト
  
• 
  Eckmanhilton.jpg 724 × 682；40キロバイト
  
• 
  Enrichedidentity.png 560 × 173；16キロバイト
  
• 
  Enrichedmult.png 451 × 95；6キロバイト
  
• 
  Enrichment-1.jpg 312 × 235；7キロバイト
  
• 
  Enrichment-2.jpg 547 × 458；17キロバイト
  
• 
  Epimorphism scenarios.svg 340 × 50；15キロバイト
  
• 
  Exact couple.png 241 × 156；1キロバイト
  
• 
  Extension-3.jpg 252 × 181；5キロバイト
  
• 
  F Algebra Associativity Commutative Diagram.svg 236 × 88；28キロバイト
  
• 
  F Algebra Identity Commutative Diagram.svg 243 × 86；25キロバイト
  
• 
  F Algebra Inverse Commutative Diagram.svg 202 × 86；24キロバイト
  
• 
  Factorisation.svg 85 × 57；16キロバイト
  
• 
  Factorization system functoriality.png 154 × 93；2キロバイト
  
• 
  Factorization system orthogonality.png 92 × 88；2キロバイト
  
• 
  Fibered product detail.svg 300 × 100；11キロバイト
  
• 
  Fibre bundle local trivial.svg 283 × 177；26キロバイト
  
• 
  Free-category-ump.svg 116 × 84；17キロバイト
  
• 
  Free-object-universal-property.svg 319 × 142；28キロバイト
  
• 
  Fullness of a diagonal functor.svg 546 × 327；26キロバイト
  
• 
  FunctionDecompCD.jpg 204 × 147；11キロバイト
  
• 
  Functor Strength By Tensorial Strength.svg 488 × 78；103キロバイト
  
• 
  Functor.png 436 × 243；45キロバイト
  
• 
  Functoriality (2).svg 1,825 × 725；17キロバイト
  
• 
  Functoriality long exact sequence.svg 4,560 × 515；28キロバイト
  
• 
  Functoriality-of-pseudocompletion.jpg 176 × 133；5キロバイト
  
• 
  Functoriality-of-pseudosaturation.jpg 168 × 135；5キロバイト
  
• 
  Fundamental Homomorphism Theorem v2.svg 92 × 81；38キロバイト
  
• 
  Funtori paralleli kf.png 127 × 89；2キロバイト
  
• 
  Graphical illustration of Hom functor (covariant).svg 765 × 630；50キロバイト
  
• 
  GrothendieckGroupAsFunctor.PNG 187 × 115；4キロバイト
  
• 
  Group associative categories.svg 263 × 125；15キロバイト
  
• 
  Group operation image.tif 258 × 132；6キロバイト
  
• 
  Hochhebungseigenschaft.png 404 × 337；11キロバイト
  
• 
  Hom functor.svg 425 × 213；30キロバイト
  
• 
  Homotopy lifting property.png 200 × 144；7キロバイト
  
• 
  Horizontal composition of natural transformations.svg 1,745 × 440；24キロバイト
  
• 
  Hurewicz2 (corrected).svg 1,416 × 1,006；20キロバイト
  
• 
  Hypermorphisms.pdf 1,275 × 1,650；57キロバイト
  
• 
  Initial and terminal object.png 1,476 × 2,448；159キロバイト
  
• 
  InitialAndFinalObjectsInTheCategoryOfAdjunctions.png 245 × 126；5キロバイト
  
• 
  Isomorphisme d'une catégorie1.png 768 × 614；12キロバイト
  
• 
  Jean Bénabou en 2019.jpg 5,472 × 3,648；6.36メガバイト
  
• 
  Kategória1.png 540 × 266；4キロバイト
  
• 
  Ker-simple.svg 96 × 57；18キロバイト
  
• 
  Ker-simple2.svg 96 × 57；19キロバイト
  
• 
  Kernel of morphism.svg 157 × 106；13キロバイト
  
• 
  Kernel-thm1.svg 126 × 89；28キロバイト
  
• 
  Kernel-thm2-1.svg 55 × 55；16キロバイト
  
• 
  Kernel-thm2-2.svg 55 × 57；16キロバイト
  
• 
  Kernel.svg 106 × 62；31キロバイト
  
• 
  Kleisli Category - morphism composition.png 1,266 × 1,230；87キロバイト
  
• 
  Kleisli Category - morphism composition.svg 1,266 × 1,230；116キロバイト
  
• 
  Kompositiongundf.png 295 × 151；7キロバイト
  
• 
  Lax monoidal funct assoc.png 364 × 199；8キロバイト
  
• 
  Left Unit Coherence of Tensorial Strengths.svg 151 × 64；29キロバイト
  
• 
  LiftingProperties.png 106 × 112；2キロバイト
  
• 
  List object definition.svg 204 × 78；21キロバイト
  
• 
  Mappings-as-moduli.png 286 × 100；4キロバイト
  
• 
  Model category lifting.png 96 × 96；4キロバイト
  
• 
  Model category retract.png 158 × 119；7キロバイト
  
• 
  MonadDistrEtaPString.svg 154 × 69；9キロバイト
  
• 
  MonadDistrMuPString.svg 179 × 84；11キロバイト
  
• 
  Monoid multiplication.svg 550 × 138；17キロバイト
  
• 
  Monoid unit svg.svg 363 × 125；24キロバイト
  
• 
  Monoidal category pentagon.svg 921 × 142；30キロバイト
  
• 
  Monoidal category triangle.svg 425 × 142；26キロバイト
  
• 
  Monoidal Coherence Map from Applicative Formulation.svg 436 × 76；86キロバイト
  
• 
  Monoidal natural transformation multiplication.svg 313 × 150；26キロバイト
  
• 
  Monoidal natural transformation unit.svg 238 × 150；20キロバイト
  
• 
  Monoidal2.svg 357 × 121；21キロバイト
  
• 
  Monomorphism pullback square.png 336 × 276；10キロバイト
  
• 
  Monomorphism scenarios.svg 340 × 50；16キロバイト
  
• 
  Morphism-Composition.svg 213 × 26；8キロバイト
  
• 
  Morphism.svg 113 × 26；5キロバイト
  
• 
  MorphismInTheCategoryOfAdjunctions.png 248 × 127；4キロバイト
  
• 
  Natural Transformation between two functors.svg 360 × 155；28キロバイト
  
• 
  Natural transformation diagram.svg 360 × 155；28キロバイト
  
• 
  Natural transformation.svg 125 × 101；29キロバイト
  
• 
  OperadTreeCompose2.svg 200 × 200；4キロバイト
  
• 
  OperadTreeCompose3.svg 200 × 200；7キロバイト
  
• 
  OperadTreeCompose5.svg 200 × 200；5キロバイト
  
• 
  OperadTreeCompose6.svg 200 × 200；7キロバイト
  
• 
  Opposite group nature.svg 250 × 144；18キロバイト
  
• 
  Pentagonal diagram for monoidal categories.svg 827 × 169；29キロバイト
  
• 
  Prod chain.svg 400 × 250；18キロバイト
  
• 
  Projective object.svg 87 × 69；11キロバイト
  
• 
  PullbackS.PNG 416 × 312；6キロバイト
  
• 
  Pure Operator By Tensorial Strength.svg 251 × 71；44キロバイト
  
• 
  Quasifibration-via-hofibre.svg 2,183 × 609；10キロバイト
  
• 
  Quiver Morphism Start Diagram.svg 79 × 65；27キロバイト
  
• 
  Quiver Morphism Target Diagram.svg 79 × 65；27キロバイト
  
• 
  Relations category op.svg 213 × 213；100キロバイト
  
• 
  Relations category.svg 213 × 213；96キロバイト
  
• 
  RetractOfMorphism.png 189 × 91；1キロバイト
  
• 
  Right Kan extension universal property diagram.PNG 195 × 99；2キロバイト
  
• 
  Right Kan Extension.png 175 × 106；5キロバイト
  
• 
  Sample Bratteli diagram.svg 186 × 86；23キロバイト
  
• 
  Section (théorie des catégories).png 768 × 614；13キロバイト
  
• 
  Simple category.svg 200 × 200；960バイト
  
• 
  Slice category.png 276 × 285；10キロバイト
  
• 
  Smart Plant.jpg 3,825 × 2,381；1.16メガバイト
  
• 
  Stone functor.svg 390 × 177；37キロバイト
  
• 
  String diagram adjunction.svg 314 × 144；16キロバイト
  
• 
  String diagram counit.svg 90 × 81；10キロバイト
  
• 
  String diagram identity.svg 71 × 109；5キロバイト
  
• 
  String diagram unit.svg 114 × 81；11キロバイト
  
• 
  Strong monad associative.svg 700 × 165；33キロバイト
  
• 
  Strong monad commutation.png 563 × 213；10キロバイト
  
• 
  Strong monad commutation.svg 563 × 168；31キロバイト
  
• 
  Strong monad left unit.svg 288 × 150；26キロバイト
  
• 
  Strong monad multiplication.svg 550 × 165；30キロバイト
  
• 
  Strong monad unit.svg 288 × 145；25キロバイト
  
• 
  SubobjectClassifier-03.png 110 × 126；961バイト
  
• 
  Symmetric monoidal associativity coherence.png 547 × 355；18キロバイト
  
• 
  Symmetric monoidal category swap.svg 36 × 27；1キロバイト
  
• 
  Symmetric monoidal inverse law.png 493 × 201；9キロバイト
  
• 
  Tensorial Costrength By Tensorial Strength.svg 164 × 76；48キロバイト
  
• 
  Tensorial Strength By Functor Strength.svg 416 × 76；90キロバイト
  
• 
  Tensorial Strength By Pure Operator.svg 311 × 74；53キロバイト
  
• 
  TermAlgebra-Diagram-01.svg 79 × 61；16キロバイト
  
• 
  Terminal and initial object.svg 640 × 344；3キロバイト
  
• 
  Trace diagram associativity.svg 700 × 250；39キロバイト
  
• 
  Trace diagram dinaturality.svg 700 × 250；35キロバイト
  
• 
  Trace diagram naturality 1.svg 700 × 250；35キロバイト
  
• 
  Trace diagram naturality 2.svg 700 × 250；35キロバイト
  
• 
  Trace diagram superposition.svg 700 × 250；40キロバイト
  
• 
  Trace diagram vanishing.svg 700 × 250；24キロバイト
  
• 
  Trace diagram yanking.svg 700 × 250；20キロバイト
  
• 
  Transitive-closure.svg 1,063 × 567；6キロバイト
  
• 
  Trasfnat composizione orizzontale elem kf.png 690 × 398；19キロバイト
  
• 
  Trasfnat composizione orizzontale kf.png 479 × 269；11キロバイト
  
• 
  Trasfnat composizione verticale kf.png 318 × 165；6キロバイト
  
• 
  Trasformazione naturale kf.png 420 × 204；8キロバイト
  
• 
  Universal morphisms appear as the unit and counit of adjunctions.svg 524 × 156；32キロバイト
  
• 
  Universal-property-products.svg 259 × 84；29キロバイト
  
• 
  Vertical composition of natural transformations.svg 1,760 × 605；17キロバイト
  
• 
  Waldhausen cat.png 160 × 144；4キロバイト
  
• 
  Свойство коуравнителя.png 255 × 159；5キロバイト