A note on categories enriched in quantaloids and modal and temporal logic
A note on the generalized reflexion of Guitart and Lair
À propos de «Toposes, triples and theories» de messieurs M. Barr et C. Wells
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