Cerise.moe

Catégories

La théorie des catégories joue un rôle très efficace dans l'unification des concepts mathématiques et informatiques qui m'intéressent. Elle peut être vue, à mes yeux, sous trois angles principaux :

Limites et colimites

Extensions de Kan

Adjonctions

Monades

Monadicité

Faisceaux

Topos