Daily Archives: January 19, 2018

Combinatorial Species and Finite Sets in HoTT

Originally posted on Homotopy Type Theory:
(Post by Brent Yorgey) My dissertation was on the topic of combinatorial species, and specifically on the idea of using species as a foundation for thinking about generalized notions of algebraic data types. (Species…

Posted in Philosophie

#HoTT, théorie des catégories et des ensembles (ZFC)

Cet article « Univalent higher categories via complete semi-Segal types »: https://arxiv.org/pdf/1707.03693.pdf rappelle en Page 2 sur 31 que toutes les approches des catégories multidimensionnelles (higher categories) ont un point commun qui est d’utiliser les ensembles comme « building blocks » , exploitant ainsi … Continue reading

Posted in category theory, Homotopy, homotopy type theory, Science-internelle, Théorie des ensembles (set theory)