Utilisateur:Tayou974/Categorie modele
Apparence
En mathématiques, et plus particulièrement en théorie des catégories, une catégorie de modèles est une notion permettant de formaliser la notion d'homotopie. Elle a été proposée en premier par Quillen.
Motivation
[modifier | modifier le code]Pas de colimite homotopique
Définition
[modifier | modifier le code]Axiomatique
Exemples
[modifier | modifier le code]Théorie des ensembles
[modifier | modifier le code]Il existe 9...