Pratique mathématique et lectures de Hegel, de Cavailles à Lawvere

Par topos

https://journals.openedition.org/philosophiascientiae/725

Lire la suite

Type vs #HoTT vs #CT vs topos

Par topos

https://math.stackexchange.com/questions/1883501/type-vs-hott-vs-category-vs-topos https://scienceinternelle.wordpress.com/2019/02/10/type-tt-vs-hott-vs-category-ct-vs-topos/

Lire la suite

Théories de ensembles #ST théorie des catégories #CT et théorie des types homotopiques #HoTT

Par topos

https://scienceinternelle.wordpress.com/2019/02/05/theorie-des-ensembles-set-theory-st-theorie-des-categories-category-theory-ct-theorie-des-types-type-theory-tt-et-theorie-homotopique-des-types-homotopy-type-theory-hott/ à mettre en rapport avec les...

Lire la suite

La science de l’idée pure

Par topos

https://www.cairn.info/revue-archives-de-philosophie-2012-2-page-199.htm

Lire la suite

Higher toposes of laws of motions

Par topos

https://ncatlab.org/nlab/show/Higher+toposes+of+laws+of+motion

Lire la suite

Hegel’s Logic as modal Homotopy Type theory

Par topos

https://ncatlab.org/nlab/show/Hegel%27s+%22Logic%22+as+Modal+Type+Theory

Lire la suite

Retour au bon sens

Par topos

http://sys.theme.free.fr/RBS.pdf

Lire la suite

Paradigme systémique

Par topos

http://sys.theme.free.fr/index.html

Lire la suite

Nlab : infinity-cosmos

Par topos

https://ncatlab.org/nlab/show/infinity-cosmos

Lire la suite

Grothendieck : les dérivateurs

Par topos

https://webusers.imj-prg.fr/~georges.maltsiniotis/groth/Derivateurs.html https://webusers.imj-prg.fr/~georges.maltsiniotis/groth/ps/lettreder.pdf

Lire la suite