This HTML5 document contains 68 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
n22https://ncatlab.org/nlab/show/
foafhttp://xmlns.com/foaf/0.1/
n9http://www.math.uchicago.edu/~may/IMA/
n7http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-hrhttp://hr.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n17http://ncatlab.org/joyalscatlab/show/
n12http://fr.dbpedia.org/resource/Modèle:
n10https://arxiv.org/pdf/
n14http://fr.dbpedia.org/resource/Modèle:Traduction/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n20http://ma-graph.org/entity/
n23http://qft.mimuw.edu.pl/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Quasi-catégorie
rdfs:label
Quasi-catégorie 擬圏 Quasi-category Unendlich-Kategorie
rdfs:comment
En mathématiques, plus précisément en théorie des catégories, une quasi-catégorie est une généralisation de la notion de catégorie. L'étude de telles généralisations est connue sous le nom de (en). Les quasi-catégories ont été introduites par (de) et Vogt en 1973. André Joyal a fait beaucoup progresser l'étude des quasi-catégories en montrant qu’il existe un analogue pour les quasi-catégories de la plupart des notions de base de la théorie des catégories et même de certaines notions et théorèmes d’un niveau plus avancé. Jacob Lurie a écrit un traité détaillé sur cette théorie en 2009.
rdfs:seeAlso
n22:quasi-category n22:weak_Kan_complex
owl:sameAs
n7:0czd71x dbpedia-hr:Kvazikategorija wikidata:Q7269442 dbr:Quasi-category n20:2781231085 dbpedia-ja:擬圏 dbpedia-de:Unendlich-Kategorie
dbo:wikiPageID
11224166
dbo:wikiPageRevisionID
178673812
dbo:wikiPageWikiLink
dbpedia-fr:André_Joyal dbpedia-fr:Mathématiques category-fr:Théorie_des_catégories dbpedia-fr:Foncteur dbpedia-fr:Jacob_Lurie dbpedia-fr:Espace_topologique dbpedia-fr:Groupe_fondamental dbpedia-fr:Théorie_des_catégories dbpedia-fr:American_Mathematical_Society dbpedia-fr:Ensemble_simplicial dbpedia-fr:Catégorie_enrichie dbpedia-fr:Nerf_(théorie_des_catégories) dbpedia-fr:Morphisme dbpedia-fr:Catégorie_groupoïde dbpedia-fr:Liste_des_journaux_scientifiques_en_mathématiques
dbo:wikiPageExternalLink
n9:Joyal.pdf n10:1108.2001.pdf n17:The+theory+of+quasi-categories n23:InfinityCategories.pdf
dbo:wikiPageLength
7413
dct:subject
category-fr:Théorie_des_catégories
prop-fr:wikiPageUsesTemplate
n12:En n14:Référence n12:Chapitre n12:Lien n12:Références n12:Palette n12:Article n12:Portail
prov:wasDerivedFrom
wikipedia-fr:Quasi-catégorie?oldid=178673812&ns=0
prop-fr:année
2007 2002
prop-fr:arxiv
math.AT/0607820
prop-fr:auteur
Myles Tierney André Joyal
prop-fr:collection
Contemp. Math.
prop-fr:doi
10.1016
prop-fr:journal
dbpedia-fr:Liste_des_journaux_scientifiques_en_mathématiques
prop-fr:lang
en
prop-fr:numéro
1
prop-fr:pages
277 207
prop-fr:titre
Quasi-categories vs Segal spaces Quasi-categories and Kan complexes
prop-fr:titreOuvrage
Categories in Algebra, Geometry and Mathematical Physics
prop-fr:volume
175
prop-fr:éditeur
dbpedia-fr:American_Mathematical_Society
prop-fr:numéroDansCollection
431
prop-fr:mathReviews
1935979 2342834
foaf:isPrimaryTopicOf
wikipedia-fr:Quasi-catégorie
dbo:abstract
En mathématiques, plus précisément en théorie des catégories, une quasi-catégorie est une généralisation de la notion de catégorie. L'étude de telles généralisations est connue sous le nom de (en). Les quasi-catégories ont été introduites par (de) et Vogt en 1973. André Joyal a fait beaucoup progresser l'étude des quasi-catégories en montrant qu’il existe un analogue pour les quasi-catégories de la plupart des notions de base de la théorie des catégories et même de certaines notions et théorèmes d’un niveau plus avancé. Jacob Lurie a écrit un traité détaillé sur cette théorie en 2009. Les quasi-catégories sont des ensembles simpliciaux d’un type particulier. Comme les catégories ordinaires, elles contiennent des objets, les 0-simplexes de l'ensemble simplicial et des morphismes entre ces objets, les 1-simplexes. Mais contrairement aux catégories standard, la composition de deux morphismes n'est pas définie de manière unique. Tous les morphismes qui peuvent servir de composition entre deux morphismes donnés sont reliés entre eux par des morphismes inversibles d'ordre supérieur (2-simplexes considérés comme « homotopies »). Ces morphismes d'ordre supérieur peuvent également être composés, mais encore une fois la composition n'est bien définie qu'à des morphismes inversibles d’ordre encore plus élevé près, etc. L'idée sous-jacente de la théorie des catégories supérieures (du moins lorsque les morphismes supérieurs sont inversibles) est de munir, contrairement à ce que l’on fait en théorie des catégories standard, l’ensemble des morphismes entre deux objets d’une structure d’espace topologique. Cela suggère qu'une catégorie supérieure devrait simplement être une catégorie topologiquement enrichie. Le modèle des quasi-catégories est toutefois mieux adapté aux applications que celui des catégories topologiquement enrichies, bien que Lurie ait prouvé que les deux ont des modèles naturels (en).