Daily Archives: May 6, 2016

Systèmes dynamiques en physique catégorique : une notion opérationnelle du temps

Originally posted on HENOSOPHIA τοποσοφια μαθεσις υνι√ερσαλις οντοποσοφια:
Suite de l’article d’hier : https://meditationesdeprimaphilosophia.wordpress.com/2015/10/22/dynamique-monadique-le-temps-comme-propriete-universelle-du-changement/ consacré à l’étude de ce lien sur Arxiv : http://arxiv.org/pdf/1501.04921.pdf le paragraphe 2.1 est consacré à l’approche “catégorique” (c’est à dire : selon la théorie des catégories ) placée (page…

Posted in category theory, Philosophie, Physique, Science, mathesis, Théorie des topoi (topos theory)

Dynamique monadique : le temps comme propriété universelle du changement

Originally posted on HENOSOPHIA τοποσοφια μαθεσις υνι√ερσαλις οντοποσοφια:
“Qu’est-ce que le temps? Un mystère! Sans réalité propre, il est tout-puissant. Il est une condition du monde phénoménal, un mouvement mêlé et lié à l’existence des corps dans l’espace, et à leur mouvement. Mais n’y…

Posted in category theory, Philosophie, Physique, Science, mathesis, Théorie des topoi (topos theory) | Tagged , ,

Monades et adjonctions en théorie des catégories

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια:
La page Wikipedia est ici : Et elle établit bien le lien avec la notion fondamentale d’adjonction , se rappeler nos articles passés : Et On peut lire aussi la page du…

Posted in category theory, Philosophie, Physique, Science, mathesis, Théorie des topoi (topos theory) | Tagged , ,

When does an endofunctor derive from an adjunction?

Originally posted on Theory Lunch:
This is the first of two talks based on Andrea Schalk’s very good introduction to monads, which can be retrieved HERE In the following, if is a category, we indicate by the collection of objects of…

Posted in Philosophie

A short recap of monads

Originally posted on Theory Lunch:
I used the first theory lunch meeting at the Institute of Cybernetics to recap some basics about monads. I discussed how monads are defined in category theory, and how they are implemented in Haskell. Categories…

Posted in category theory, Philosophie, Physique, Science, mathesis | Tagged

An initial solution to the monad problem, and then some more

Originally posted on Theory Lunch:
This is the second of two talks about monads, based on the very good notes by Andrea Schalk and continuing the one I gave on the 30th of May. Recall that we are trying to solve…

Posted in Philosophie