Categorical abstract data type (CADT)
Categorical data-specifications.
Categorical domain theory: Scott topology, powercategories, coherent categories.
Categorical, functorial and algebraic aspects of the type-free lambda calculus
Categorical properties of iterated power.
Categorical strong shape theory
Catégories multiéquationnelles
Categories of models of languages
Categories of sketched structures
Catégories qualifiables et catégories esquissables
Catégorification de structures définies par monade cartésienne
Categorification of Hopf algebras of rooted trees
We exhibit a monoidal structure on the category of finite sets indexed by P-trees for a finitary polynomial endofunctor P. This structure categorifies the monoid scheme (over Spec ℕ) whose semiring of functions is (a P-version of) the Connes-Kreimer bialgebra H of rooted trees (a Hopf algebra after base change to ℤ and collapsing H 0). The monoidal structure is itself given by a polynomial functor, represented by three easily described set maps; we show that these maps are the same as those occurring...
Category-theoretic models of linear Abadi & Plotkin logic.
Characterization of protomodular varieties of universal algebras.
Classification of concrete geometrical categories.
Closedness properties of internal relations. I. A unified approach to Mal'tsev, unital and subtractive categories.
Closedness properties of internal relations. II: Bourn localization.
Closedness properties of internal relations. IV: Expressing additivity of a category via subtractivity.
Coalgebras, braidings, and distributive laws.
Coequalizers in the generalized algebraic categories