Symmetric monoidal closed categories generated by commutative adjoint monads
Symmetry and Cauchy completion of quantaloid-enriched categories.
-algebras of the monad -Fuzz
-catégories (catégories dans un triple)
Tenseurs et machines
Tensor product of partially-additive monoids.
The colimits in the generalized algebraic categories
The completion monad and its algebra
The double powerlocale and exponentiation: A case study in geometric logic.
The monad induced by the hom-functor in the category of topological spaces and its associated Eilenberg-Moore algebras.
The natural number bialgebra
The shift functor and the comprehensive factorization for internal groupoids
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
Topoi over graphs
Torsion Theories in Non-Additive Categories.
Torsors and special extensions
Triples -structures
V-Localizations and V-Kleisli Algebras.
Weak distributive laws.