Trois styles de la théorie des catégories

http://www.hedonisticlearning.com/posts/styles-of-category-theory.html

La théorie des catégories est l’étude des propriétés universelles (Universal properties, définition nouvelle, très concentrée)

Comme il y a trois définitions équivalentes de ces propriétés, le fait de préférer l’une aux deux autres et de la retenir entraîne l’existence des trois styles :

– initiality (objet initial)

https://ncatlab.org/nlab/show/initial+object

Un exemple représentatif de ce style est :

http://maartenfokkinga.github.io/utwente/mmf92b.pdf

– Set-category theory

Exemple représentatif :

http://www.tac.mta.ca/tac/reprints/articles/10/tr10.pdf

-Cat-category theory :

Exemple représentatif :

http://www.dcs.ed.ac.uk/home/dt/CT/categories.pdf

Advertisements
This entry was posted in category theory, Higher category theory, Science, mathesis. Bookmark the permalink.