Juan Carlos Soliveres

Juan Carlos Soliveres has mainly worked in universal heterogenous algebra and logic using category theory tools.

Ph.D. Thesis:

Álgebra Heterogénea (directed by Juan Climent).

Articles:

On the morphisms and transformations of Tsuyoshi Fujiwara (eprint).
The completeness theorem for monads in categories of sorted sets (Houston Journal of Mathematics).
On many-sorted algebraic closure operators (Mathematische Nachrichten).
On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories (Reports on Mathematical Logic).
On the directly and subdirectly irreducible many-sorted algebras (eprint).
On a class of partial functors between categories which provide a closed and ordered partially additive category of categories (JP Journal of Algebra, Number Theory and Applications).
Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics (Notre Dame Journal of Formal Logic).
Birkhoff-Frink representations as functors (Mathematische Nachrichten)
A 2-categorical framework for the syntax and semantics of many-sorted equational logic (Reports on Mathematical Logic).
When is the insertion of the generators injective for a sur-reflective subcategory of a category of many-sorted algebras? (Houston Journal of Mathematics).
A transformation between institutions representing the theorem of Herbrand-Schmidt-Wang (Bulletin of the Section of Logic).
A 2-categorial generalization of the concept of institution (Studia Logica).
Kleisli and Eilenberg-Moore constructions as parts of biadjoint situations (Extracta Mathematicae).

e-mail: juan.soliveres at uv.es