Algebraically closed and existentially closed substructures in categorical context.
Algebras determined by their endomorphism monoids
Algèbres graphiques (suites : Les bidules)
Algèbres graphiques (sur un concept de dimension dans les langages formels)
Algèbres non déterministiques et -catégories
Algébricité, monadicité, esquissabilité et non-algébricité
An algebraic description of locally multipresentable categories.
An application of nonstandard analysis to category
An elementary approach to some applications of nonstandard analysis
An extended comparison functor for triples
An imperative language based on distributive categories II
Approche polygraphique des -catégories non strictes
Approximate Mal'tsev operations.
Approximate maps, filter monad, and a representation of localic maps
A covariant representation of the category of locales by approximate maps (mimicking a natural representation of continuous maps between spaces in which one approximates points by small open sets) is constructed. It is shown that it can be given a Kleisli shape, as a part of a more general Kleisli representation of meet preserving maps. Also, we present the spectrum adjunction in this approximation setting.
Aspects of categorical algebra in initialstructure categories
Bilinearity and Cartesian Closed Monads.
Birkhoff's Covariety Theorem without limitations
J. Rutten proved, for accessible endofunctors of Set, the dual Birkhoff’s Variety Theorem: a collection of -coalgebras is presentable by coequations ( subobjects of cofree coalgebras) iff it is closed under quotients, subcoalgebras, and coproducts. This result is now proved to hold for all endofunctors of Set provided that coequations are generalized to mean subchains of the cofree-coalgebra chain. For the concept of coequation introduced by H. Porst and the author, which is a subobject of...
Birkhoff's variety theorem with and without free algebras.
Calcul des relations inverses
Calcul des satellites et présentations des bimodules à l'aide des carrés exacts (2e partie)