-algebras of the monad -Fuzz
-catégories (catégories dans un triple)
is a quasi-variety
Tenseurs et machines
Tensor product of partially-additive monoids.
The algebraic theory of moving frames
The category of connected partial unary algebras
The colimits in the generalized algebraic categories
The completion monad and its algebra
The concept of a binary relation over partial enumerated sets.
The double powerlocale and exponentiation: A case study in geometric logic.
The infinite minimal rich monoid
The Kiew Algorithm for bocses applies directly to representation-finite algebras.
The Linton theorem revisited
The monad induced by the hom-functor in the category of topological spaces and its associated Eilenberg-Moore algebras.
The natural number bialgebra
The point of the empty set
The shift functor and the comprehensive factorization for internal groupoids
The strong amalgamation property and (effective) codescent morphisms.
The syntax of coherence