A remark on topological spaces, grids, and topological systems
A representation of the category of algebras over different monads by the category of algebras over one suitable monad in a category of pointed monads
A Sketch theoretical survey Towards a typology of mathematical structures
A theory of enriched sketches.
A unified approach to the lifting of adjoints
A unified framework for generalized multicategories.
Absolutely closed spaces and categories of algebras
Abstract physical traces.
Adjoint for double categories
Adjonctions et monades au niveau des 2-catégories
Adjunction models for call-by-push-value with stacks.
Adjungierte Dreiecke, Colimites und Kan-Erweiterungen.
Algebraic categories whose projectives are explicitly free.
Algebraic localizations and elementary toposes
Algebraic models of intuitionistic theories of sets and classes.
Algebraic objects over a small category [Book]
Algebraic theories and varieties of functor algebras
Algebraically closed and existentially closed substructures in categorical context.
Algebras determined by their endomorphism monoids
Algèbres graphiques (suites : Les bidules)