Edit Profile (opens in new tab) Climent Vidal, Juan Compute Distance To: Compute Author ID: climent-vidal.juan Published as: Climent Vidal, J.; Climent Vidal, Juan; Vidal, J. Climent Documents Indexed: 18 Publications since 2004 Reviewing Activity: 15 Reviews Co-Authors: 2 Co-Authors with 17 Joint Publications 8 Co-Co-Authors Co-Authors 1 single-authored 14 Soliveres Tur, Juan 3 Cosme-Llópez, Enric all top 5 Serials 4 Houston Journal of Mathematics 2 Mathematische Nachrichten 2 Reports on Mathematical Logic 1 Archive for History of Exact Sciences 1 Demonstratio Mathematica 1 Notre Dame Journal of Formal Logic 1 Quaestiones Mathematicae 1 Studia Logica 1 Bulletin of the Section of Logic 1 Extracta Mathematicae 1 Journal of Logic and Computation 1 Analele Universității din Craiova. Seria Matematică Informatică 1 JP Journal of Algebra, Number Theory and Applications all top 5 Fields 11 Category theory; homological algebra (18-XX) 10 General algebraic systems (08-XX) 9 Mathematical logic and foundations (03-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Computer science (68-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 7 Publications have been cited 17 times in 12 Documents Cited by ▼ Year ▼ On many-sorted algebraic closure operators. Zbl 1038.08001Climent Vidal, Juan; Soliveres Tur, Juan 4 2004 The completeness theorem for monads in categories of sorted sets. Zbl 1068.18004Climent Vidal, Juan; Soliveres Tur, Juan 4 2005 On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories. Zbl 1096.03031Climent Vidal, Juan; Soliveres Tur, Juan 3 2006 Kleisli and Eilenberg-Moore constructions as parts of biadjoint situations. Zbl 1223.18002Climent Vidal, J.; Soliveres Tur, J. 2 2010 A 2-categorial generalization of the concept of institution. Zbl 1220.03053Climent Vidal, J.; Soliveres Tur, J. 2 2010 A 2-categorical framework for the syntax and semantics of many-sorted equational logic. Zbl 1243.03079Climent Vidal, Juan; Soliveres Tur, Juan 1 2010 When is the insertion of the generators injective for a sur-reflective subcategory of a category of many-sorted algebras? Zbl 1173.08004Climent Vidal, Juan; Soliveres Tur, Juan 1 2009 Kleisli and Eilenberg-Moore constructions as parts of biadjoint situations. Zbl 1223.18002Climent Vidal, J.; Soliveres Tur, J. 2 2010 A 2-categorial generalization of the concept of institution. Zbl 1220.03053Climent Vidal, J.; Soliveres Tur, J. 2 2010 A 2-categorical framework for the syntax and semantics of many-sorted equational logic. Zbl 1243.03079Climent Vidal, Juan; Soliveres Tur, Juan 1 2010 When is the insertion of the generators injective for a sur-reflective subcategory of a category of many-sorted algebras? Zbl 1173.08004Climent Vidal, Juan; Soliveres Tur, Juan 1 2009 On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories. Zbl 1096.03031Climent Vidal, Juan; Soliveres Tur, Juan 3 2006 The completeness theorem for monads in categories of sorted sets. Zbl 1068.18004Climent Vidal, Juan; Soliveres Tur, Juan 4 2005 On many-sorted algebraic closure operators. Zbl 1038.08001Climent Vidal, Juan; Soliveres Tur, Juan 4 2004 all cited Publications top 5 cited Publications all top 5 Cited by 17 Authors 4 Climent Vidal, Juan 3 Soliveres Tur, Juan 1 Cīrulis, Jānis 1 Corner, Alexander S. 1 Cosme-Llópez, Enric 1 Diaconescu, Răzvan 1 Fiore, Marcelo P. 1 Gadea, Alejandro 1 Gunther, Emmanuel 1 Hinze, Ralf 1 Hur, Chung-Kil 1 Kvamme, Sondre 1 Mućka, Anna 1 Pagano, Miguel 1 Romanowska, Anna B. 1 Smith, Jonathan Dallas Hayden 1 Wu, Nicolas all top 5 Cited in 8 Serials 2 Algebra Universalis 1 Demonstratio Mathematica 1 Mathematische Nachrichten 1 Quaestiones Mathematicae 1 Studia Logica 1 Journal of Functional Programming 1 Theory and Applications of Categories 1 Algebras and Representation Theory all top 5 Cited in 7 Fields 6 Category theory; homological algebra (18-XX) 5 Mathematical logic and foundations (03-XX) 5 General algebraic systems (08-XX) 4 Computer science (68-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Associative rings and algebras (16-XX) 1 General topology (54-XX) Citations by Year