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

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

- 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*