Advertisements
Paige North : Type theoretic weak factorization systems
Leave a reply
Logics of Worlds by Alain Badiou (PDF)
Logics of Worlds is the sequel to Alain Badiou’s much-heralded masterpiece, Being and Event. Tackling the questions that had been left open by Being and Event, and answering many of his critics in the process, Badiou supplements his pioneering treatment of multiple being with a daring and complex theory of the worlds in which truths and subjects make their mark – what he calls a materialist dialectic. The radical recasting of ontology in Being and Event is followed and complemented here by a thoroughgoing transformation in our very understanding of logic, conceived as a theory not of being but of appearing.
Unafraid to resurrect and reinvent the classical themes of philosophy, Badiou gives new meaning to concepts such as object, body and relation, mobilising them in arresting studies that range from the architectural planning of Brasilia to contemporary astronomy, and confronting himself with towering philosophical…
View original post 19 more words
Tom Leinster : basic category theory
https://arxiv.org/pdf/1612.09375.pdf
C’est paru en livre chez Cambridge.
Une grande place est faite aux propriétés universelles:
Natural operations in differential geometry
La théorie de David Ellerman : les hétéromotphismes
Le nouveau schème Idées (divines, Intelligibles)/idées (humaines)
Avant le récent changement de paradigme, les Idées étaient vues comme étant d’origine humaine, y compris la plus importante d’entre elles, l’Idée de Dieu. Le caractère intelligible des Idées était identique à leur nature mathématique. Mais qu’était la mathématique dans ce schéma ? Une création-invention humaine , c’est ainsi que j’avais opté pour l’option de Wittgenstein et de Changeux, contre l’avis (ou peut être plutôt la tendance ) de beaucoup de mathématiciens , dont le célèbre Alain Connes, qui dans le remarquable livre d’entretiens qu’il co-signe avec le biologiste Jean-Pierre Changeux, « Matière à idées « , ne se laisse pas convaincre, ou avec beaucoup de résistances, par Changeux, qui est au contraire tout à fait certain de la thèse affirmant que les essences mathématiques sont créées par le cerveau humain. Le mathématicien n’est pas un découvreur- explorateur, mais un inventeur :
Le choix que j’avais fait en faveur…
View original post 990 more words
