Introduction à l'analyse algébrique. II. Algèbres figuratives et esquisses
From where do figurative algebras come ?
Getting started towards algebraic analysis
Théorie des bornes
Carrés exacts et carrés déductifs
Extenseurs
Limites et co-limites pour représenter les formules
Existence de diagrammes localement libres
Enveloppe karoubienne de catégories de Kleisli
Calcul syntaxique des modèles et calcul des formules internes
Critères de rigidification des morphismes souples entre structures internes
Existence de diagrammes localement libres II
Note sur la détermination des homologies par les carrés exacts
Page 1