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
The tensor product of triples as multilinear product.
In this paper we introduce a notion of multilinear product for triples in Set, which if it is given by a distributive law then coincides with the one given by Bunge. We also demonstrate that the tensor product of two triples, if there exists, is an initial object in a suitable category of multilinear products.
Théories algébriques et extension de préfaisceaux
Théories de catégories
Théories des bornes