Daily Archives: March 9, 2018

Vaughan Pratt : algebras and bialgebras via categories with distinguished objects

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
http://math.chapman.edu/~jipsen/AlgebraicLogic2016/slides/PrattAMSDenver2016

Posted in Philosophie

Vaughan Pratt : categories with distinguished object Chu spaces

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
http://chu.stanford.edu/PrattSRMK2016.pdf

Posted in Philosophie

Rezk : a model for the homotopy theory of homotopy theory

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
http://www.ams.org/journals/tran/2001-353-03/S0002-9947-00-02653-2/S0002-9947-00-02653-2.pdf

Posted in Philosophie

Homotopy type system

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
https://ncatlab.org/nlab/show/Homotopy+Type+System

Posted in Philosophie

Type-theoretic definition of category

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
https://ncatlab.org/nlab/show/type-theoretic+definition+of+category ? dans le livre sur HoTT c’est au chapitre 9 final : https://anthroposophiephilosophieetscience.wordpress.com/2018/02/19/hott-the-book-theorie-des-categories-et-des-precategories/ ?

Posted in Philosophie