Daily Archives: November 18, 2017

Robert Altman : John Mccabe (1971,vf)

https://m.ok.ru/video/197496277750 Page sur le film https://fr.m.wikipedia.org/wiki/John_McCabe_(film)

Posted in Cinéma

Peirce allegories


Posted in category theory, Philosophie

Sets, categories and topoi : approaches to ontology in Badiou’s later work

Sets, Categories and Topoi: approaches to ontology in Badiou’s later work

Posted in Alain Badiou, category theory, Philosophie, Théorie des topoi (topos theory) | Tagged

Topos déduit d’une allégorie

Click to access 1206.5975.pdf Pour toute allégorie A une sorte particulière de morphismes est appelée « Maps » et ce sont les morphismes qui sont adjoints à gauche ( qui possèdent un adjoint à droite) https://en.m.wikipedia.org/wiki/Allegory_(category_theory)#Maps_in_allegories.2C_and_tabulations En se restreignant aux morphismes de … Continue reading

Posted in category theory, Théorie des topoi (topos theory) | Tagged ,

Plato’s allegory of the cave and his political views

Originally posted on Ask a Philosopher:
Iris asked: Use the allegory of the cave to illustrate Plates political views. In doing so, you should b) explain how the theory of forms supports Plato’s favoured form of Aristocracy (to begin with,…

Posted in Philosophie

Qu’est ce qu’une allégorie ?

Une allégorie est aux relations binaires entre ensembles ce qu’une catégorie est aux fonctions entre ensembles https://math.stackexchange.com/questions/367663/allegories-in-easy-words C’est une catégorie avec des propriétés supplémentaires, qui peut être vue comme une bicatégorie: Click to access all.pdf https://ncatlab.org/nlab/show/allegory https://en.m.wikipedia.org/wiki/Allegory_(category_theory) Click to access … Continue reading

Posted in category theory | Tagged

Relations are hard to model in category theory

Originally posted on 0 FPS:
WARNING: This is a somewhat rambling post about category theory.  If half-baked mathematical philosophy is not your thing, please consider navigating away right now. Anyway, the thing that I want to write about today is the…

Posted in Philosophie

A new class of models for the univalence axiom

Originally posted on Homotopy Type Theory:
First of all, in case anyone missed it, Chris Kapulkin recently wrote a guest post at the n-category cafe summarizing the current state of the art regarding “homotopy type theory as the internal language…

Posted in Philosophie

#HoTT The Book : 2.3 les fibrations comme familles de types

The HoTT Book Page 72 paragraphe 2.3 Le lemme 2.2.1 Page 71 peut être généralisé aux fonctions types dépendants (« dependently typed functions  ») Soit P une famille de types sur A et p : x=Ay Alors il existe une fonction … Continue reading

Posted in ∞-catégories, category theory, Higher category theory, homotopy type theory