×

Climent Vidal, Juan

Compute Distance To:
Author ID: climent-vidal.juan Recent zbMATH articles by "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

Publications by Year

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.08001
Climent Vidal, Juan; Soliveres Tur, Juan
4
2004
The completeness theorem for monads in categories of sorted sets. Zbl 1068.18004
Climent 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.03031
Climent Vidal, Juan; Soliveres Tur, Juan
3
2006
Kleisli and Eilenberg-Moore constructions as parts of biadjoint situations. Zbl 1223.18002
Climent Vidal, J.; Soliveres Tur, J.
2
2010
A 2-categorial generalization of the concept of institution. Zbl 1220.03053
Climent Vidal, J.; Soliveres Tur, J.
2
2010
A 2-categorical framework for the syntax and semantics of many-sorted equational logic. Zbl 1243.03079
Climent 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.08004
Climent Vidal, Juan; Soliveres Tur, Juan
1
2009
Kleisli and Eilenberg-Moore constructions as parts of biadjoint situations. Zbl 1223.18002
Climent Vidal, J.; Soliveres Tur, J.
2
2010
A 2-categorial generalization of the concept of institution. Zbl 1220.03053
Climent Vidal, J.; Soliveres Tur, J.
2
2010
A 2-categorical framework for the syntax and semantics of many-sorted equational logic. Zbl 1243.03079
Climent 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.08004
Climent 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.03031
Climent Vidal, Juan; Soliveres Tur, Juan
3
2006
The completeness theorem for monads in categories of sorted sets. Zbl 1068.18004
Climent Vidal, Juan; Soliveres Tur, Juan
4
2005
On many-sorted algebraic closure operators. Zbl 1038.08001
Climent Vidal, Juan; Soliveres Tur, Juan
4
2004

Citations by Year