It is known since 1973 that Lawvere's notion of Cauchy-complete enriched category is
meaningful for metric spaces: it captures exactly Cauchy-complete metric spaces. In this …

We prove that the category of models of any relational Horn theory satisfying a mild syntactic
condition is infinitely extensive. Central examples of such categories include the categories …

A note on Mal’tsev objects Page 1 Port. Math. (Online first) DOI 10.4171/PM/2125 © 2024
Sociedade Portuguesa de Matemática Published by EMS Press A note on Mal’tsev objects …

The following classes of categories are shown to be weakly Mal'tsev in the sense of the
author:(i) a suitable class of algebras with cancellation;(ii) the dual of any quasi-adhesive …

Descent morphisms and a van Kampen Theorem in categories of lax algebras Page 1
Topology and its Applications 159 (2012) 2310–2319 Contents lists available at SciVerse …

In this paper we use Janelidze's approach to the classical theory of topological coverings via
categorical Galois theory to study coverings in categories of relational algebras. Moreover …

With their paper [37] in 1945, S. Eilenberg and S. Mac Lane brought a new way to
understand algebra and mathematics in general. These were the early days of category …

Lax algebras provide a setting for the simultaneous study of a wide range of topological
structures. We propose scenes as an axiomatic setting for the study of lax algebras. After …

Using generalized enriched categories, in this paper we show that Rosický's proof of
cartesian closedness of the exact completion of the category of topological spaces can be …