An Entity of Type: television station, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In mathematics, specifically in category theory, the category of small categories, denoted by Cat, is the category whose objects are all small categories and whose morphisms are functors between categories. Cat may actually be regarded as a 2-category with natural transformations serving as 2-morphisms. The initial object of Cat is the empty category 0, which is the category of no objects and no morphisms. The terminal object is the terminal category or trivial category 1 with a single object and morphism.

Property Value
dbo:abstract
  • In mathematics, specifically in category theory, the category of small categories, denoted by Cat, is the category whose objects are all small categories and whose morphisms are functors between categories. Cat may actually be regarded as a 2-category with natural transformations serving as 2-morphisms. The initial object of Cat is the empty category 0, which is the category of no objects and no morphisms. The terminal object is the terminal category or trivial category 1 with a single object and morphism. The category Cat is itself a large category, and therefore not an object of itself. In order to avoid problems analogous to Russell's paradox one cannot form the “category of all categories”. But it is possible to form a quasicategory (meaning objects and morphisms merely form a conglomerate) of all categories. (en)
  • En mathématiques, plus précisément en théorie des catégories, la catégorie des petites catégories, notée Cat, est la catégorie dont les objets sont les petites catégories et dont les morphismes sont les foncteurs entre petites catégories. Cat peut en fait être considérée comme une 2-catégorie, les transformations naturelles servant de 2-morphismes . L'objet initial de Cat est la catégorie vide 0, qui est la catégorie sans objets et sans morphismes. L'objet final est la catégorie finale ou catégorie triviale 1 ayant un seul objet et un seul morphisme. La catégorie Cat est elle-même une grande catégorie, et donc pas un objet en soi. Pour éviter des problèmes analogues au paradoxe de Russell, on ne peut pas former la « catégorie de toutes les catégories ». Mais il est possible de former une quasi-catégorie (c'est-à-dire que les objets et les morphismes forment simplement un conglomérat) de toutes les catégories. (fr)
  • 数学の特に圏論における(小さい)圏の圏(ちいさいけんのけん、英: category of small categories)Cat は、すべての小さい圏を対象とし、圏の間の函手を射とする圏である。実際には、Cat は自然変換を (2-射) とする (2-圏) を成すものと見なせる。 Cat の始対象は対象も射も持たない空圏 0 であり、終対象はただ一つの対象とただ一つの射(唯一の対象上の恒等射)のみからなる圏 1(自明圏あるいは終圏という)である。 小さい圏の圏 Cat それ自身は大きい圏であり、それゆえ自身を対象として含むことはない。ラッセルの逆理(の圏版)を避けるには「すべての(小さいとは限らない)圏の圏」はあってはならないが、「すべての圏の擬圏」(quasi­category of categories) CATを考えることはできる(擬圏は大きい圏を対象にできるという意味で圏ではないとすれば、圏の擬圏は自身を対象に含まない)。 (ja)
  • Категория малых категорий — категория, объекты которой — малые категории, а морфизмы — функторы между ними, обозначается . Может рассматриваться как малых категорий с функторами и естественными преобразованиями. Начальный объект — пустая категория (категория без объектов и морфизмов), терминальный объект — тривиальная категория , состоящая из одного объекта и одного морфизма. Не является объектом самой себя, то есть, не является малой категорией, например, потому что содержит в качестве полной подкатегории категорию множеств (которая уже не является малой категорией). (ru)
dbo:wikiPageID
  • 2072741 (xsd:integer)
dbo:wikiPageLength
  • 2711 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1052841516 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • 数学の特に圏論における(小さい)圏の圏(ちいさいけんのけん、英: category of small categories)Cat は、すべての小さい圏を対象とし、圏の間の函手を射とする圏である。実際には、Cat は自然変換を (2-射) とする (2-圏) を成すものと見なせる。 Cat の始対象は対象も射も持たない空圏 0 であり、終対象はただ一つの対象とただ一つの射(唯一の対象上の恒等射)のみからなる圏 1(自明圏あるいは終圏という)である。 小さい圏の圏 Cat それ自身は大きい圏であり、それゆえ自身を対象として含むことはない。ラッセルの逆理(の圏版)を避けるには「すべての(小さいとは限らない)圏の圏」はあってはならないが、「すべての圏の擬圏」(quasi­category of categories) CATを考えることはできる(擬圏は大きい圏を対象にできるという意味で圏ではないとすれば、圏の擬圏は自身を対象に含まない)。 (ja)
  • Категория малых категорий — категория, объекты которой — малые категории, а морфизмы — функторы между ними, обозначается . Может рассматриваться как малых категорий с функторами и естественными преобразованиями. Начальный объект — пустая категория (категория без объектов и морфизмов), терминальный объект — тривиальная категория , состоящая из одного объекта и одного морфизма. Не является объектом самой себя, то есть, не является малой категорией, например, потому что содержит в качестве полной подкатегории категорию множеств (которая уже не является малой категорией). (ru)
  • In mathematics, specifically in category theory, the category of small categories, denoted by Cat, is the category whose objects are all small categories and whose morphisms are functors between categories. Cat may actually be regarded as a 2-category with natural transformations serving as 2-morphisms. The initial object of Cat is the empty category 0, which is the category of no objects and no morphisms. The terminal object is the terminal category or trivial category 1 with a single object and morphism. (en)
  • En mathématiques, plus précisément en théorie des catégories, la catégorie des petites catégories, notée Cat, est la catégorie dont les objets sont les petites catégories et dont les morphismes sont les foncteurs entre petites catégories. Cat peut en fait être considérée comme une 2-catégorie, les transformations naturelles servant de 2-morphismes . L'objet initial de Cat est la catégorie vide 0, qui est la catégorie sans objets et sans morphismes. L'objet final est la catégorie finale ou catégorie triviale 1 ayant un seul objet et un seul morphisme. (fr)
rdfs:label
  • Category of small categories (en)
  • Catégorie des petites catégories (fr)
  • 小さい圏の圏 (ja)
  • Категория малых категорий (ru)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License