En mathématiques, et plus particulièrement en théorie des catégories, une 2-catégorie est une catégorie avec des « morphismes entre les morphismes », c'est-à-dire que chaque « ensemble des morphismes » transporte la structure d'une catégorie. Une 2-catégorie peut être formellement définie comme étant une catégorie enrichie au-dessus de (en) (la catégorie des catégories petites et les foncteurs entre elles), avec la structure monoïdale donnée par le produit de deux catégories.

Property Value
dbo:abstract
  • En mathématiques, et plus particulièrement en théorie des catégories, une 2-catégorie est une catégorie avec des « morphismes entre les morphismes », c'est-à-dire que chaque « ensemble des morphismes » transporte la structure d'une catégorie. Une 2-catégorie peut être formellement définie comme étant une catégorie enrichie au-dessus de (en) (la catégorie des catégories petites et les foncteurs entre elles), avec la structure monoïdale donnée par le produit de deux catégories. (fr)
  • En mathématiques, et plus particulièrement en théorie des catégories, une 2-catégorie est une catégorie avec des « morphismes entre les morphismes », c'est-à-dire que chaque « ensemble des morphismes » transporte la structure d'une catégorie. Une 2-catégorie peut être formellement définie comme étant une catégorie enrichie au-dessus de (en) (la catégorie des catégories petites et les foncteurs entre elles), avec la structure monoïdale donnée par le produit de deux catégories. (fr)
dbo:follows
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 9729784 (xsd:integer)
dbo:wikiPageLength
  • 8694 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 180605644 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:fr
  • Catégorie des catégories (fr)
  • Théorie des catégories supérieures (fr)
  • Catégorie des catégories (fr)
  • Théorie des catégories supérieures (fr)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:texte
  • Cat (fr)
  • catégorie des catégories (fr)
  • Cat (fr)
  • catégorie des catégories (fr)
prop-fr:trad
  • Category of small categories (fr)
  • Higher category theory (fr)
  • Category of small categories (fr)
  • Higher category theory (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • En mathématiques, et plus particulièrement en théorie des catégories, une 2-catégorie est une catégorie avec des « morphismes entre les morphismes », c'est-à-dire que chaque « ensemble des morphismes » transporte la structure d'une catégorie. Une 2-catégorie peut être formellement définie comme étant une catégorie enrichie au-dessus de (en) (la catégorie des catégories petites et les foncteurs entre elles), avec la structure monoïdale donnée par le produit de deux catégories. (fr)
  • En mathématiques, et plus particulièrement en théorie des catégories, une 2-catégorie est une catégorie avec des « morphismes entre les morphismes », c'est-à-dire que chaque « ensemble des morphismes » transporte la structure d'une catégorie. Une 2-catégorie peut être formellement définie comme étant une catégorie enrichie au-dessus de (en) (la catégorie des catégories petites et les foncteurs entre elles), avec la structure monoïdale donnée par le produit de deux catégories. (fr)
rdfs:label
  • 2-catégorie (fr)
  • 2-範疇 (zh)
  • Strict 2-category (en)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of