Daily Archives: July 29, 2017

MACRON, LE RENARD AYANT LA QUEUE COUPEE

Originally posted on EuroCalifat:
PROLOGUE : Un vieux renard, mais des plus fins, Grand croqueur de poulets, grand preneur de lapins, Sentant son renard d’une lieue, Fut enfin au piège attrapé. Par grand hasard en étant échappé, Non pas franc,…

Posted in Philosophie

Emily Riehl #HoTT towards a synthetic theory of (∞,1)- categories

http://www.fields.utoronto.ca/talks/title-tba-102 Article associé: https://arxiv.org/abs/1705.07442 Events https://www.cl.cam.ac.uk/~rio22/pdf/Fields-talk.pdf

Posted in ∞-catégories, ∞-cosmoi, homotopy type theory, Philosophie | Tagged ,