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