une catégorie interne à elle même ?
http://permalink.gmane.org/gmane.science.mathematics.categories/7855 http://blog.gmane.org/gmane.science.mathematics.categories Chatting at a conference, the question came up why there is no (non-trivial) category which is “internal to itself” (interpret this in some sensible sense). And over coffee we thought this must be well known, but not to us. Can somene shed some light on the matter? The initial arithmetic universe is internal … Continue reading une catégorie interne à elle même ?
