On quasivarieties of partial algebras, their generation and their subquasivarieties. I
On quasivarieties of partial algebras, their generation and their subquasivarieties II
On sifted colimits and generalized varieties.
On the categorical semantics of elementary linear logic.
On the characterization of Jonsson-Tarski and of subtractive varieties
On the characterization of monadic categories over set
On the existence of group localizations under large-cardinal axioms.
Uno de los problemas abiertos más antiguos de la teoría de grupos categórica es si todo par ortogonal (formado por una clase de grupos y una clase de homomorfismos que se determinan mutuamente por ortogonalidad en el sentido de Freyd-Kelly), se halla asociado a un funtor de localización. Se sabe que esto es cierto si se acepta la validez de un cierto axioma de cardinales grandes (el principio de Vopenka), pero no se conoce ninguna demostración mediante los axiomas ordinarios (ZFC) de la teoría de...
On the External Characterization of Topological Functors.
On the failure of Birkhoff's theorem for locally small based equational categories of algebras
On the geometry of computations
On the geometry of computations, II
On the geometry of intuitionistic S4 proofs.
On the monadicity of categories with chosen colimits.
On the monadicity over graphs of categories with limits
On the representability of actions in a semi-abelian category.
On Underlying Functors in General and Topological Algebra.
On von Neumann varieties.
One More Categorical Model of Universal Algebra.
Operads and algebraic geometry.
Opmonoidal monads.