×
Author ID: velebil.jiri Recent zbMATH articles by "Velebil, Jiří"
Published as: Velebil, Jiří; Velebil, J.
Homepage: https://math.fel.cvut.cz/en/people/velebil/
External Links: MGP · dblp

Publications by Year

Citations contained in zbMATH Open

49 Publications have been cited 321 times in 168 Documents Cited by Year
Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077
Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří
44
2003
Iterative algebras at work. Zbl 1112.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
31
2006
A coalgebraic view of infinite trees and iteration. Zbl 1260.68235
Aczel, Peter; Adámek, Jiří; Velebil, Jiří
17
2001
Elgot algebras. Zbl 1127.68058
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
16
2006
Free iterative theories: A coalgebraic view. Zbl 1030.18004
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
14
2003
Relation lifting, a survey. Zbl 1344.68167
Kurz, Alexander; Velebil, Jiří
13
2016
Kan injectivity in order-enriched categories. Zbl 1362.18012
Adámek, Jiří; Sousa, Lurdes; Velebil, Jiří
11
2015
Expressiveness of positive coalgebraic logic. Zbl 1291.03034
Kapulkin, Krzysztof; Kurz, Alexander; Velebil, Jiří
11
2012
Equational properties of iterative monads. Zbl 1234.68271
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
10
2010
Quasivarieties and varieties of ordered algebras: regularity and exactness. Zbl 1423.08007
Kurz, Alexander; Velebil, Jiří
9
2015
Elgot theories: a new perspective on the equational properties of iteration. Zbl 1222.18002
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
9
2011
Analytic functors and weak pullbacks. Zbl 1163.18002
Adámek, J; Velebil, J.
7
2008
Iterative algebras: how iterative are they? Zbl 1137.68042
Adámek, J.; Börger, R.; Milius, S.; Velebil, J.
7
2007
On coalgebra based on classes. Zbl 1047.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
7
2004
Iterative reflections of monads. Zbl 1239.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
7
2010
A duality between infinitary varieties and algebraic theories. Zbl 1035.08004
Adámek, Jiří; Koubek, Václav; Velebil, J.
6
2000
Positive fragments of coalgebraic logics. Zbl 1394.03035
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
6
2013
Semantics of higher-order recursion schemes. Zbl 1218.03013
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
6
2011
Equational presentations of functors and monads. Zbl 1235.18003
Velebil, Jiří; Kurz, Alexander
6
2011
Some remarks on finitary and iterative monads. Zbl 1035.18002
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
5
2003
Positive fragments of coalgebraic logics. Zbl 1337.03024
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
5
2015
Relation lifting, with an application to the many-valued cover modality. Zbl 1287.18008
Bílková, Marta; Kurz, Alexander; Petrişan, Daniela; Velebil, Jiří
5
2013
Simultaneously reflective and coreflective subcategories of presheaves. Zbl 1035.18005
El Bashir, Robert; Velebil, Jiří
4
2002
Completeness of cocompletions. Zbl 1068.18002
Karazeris, Panagis; Rosický, Jiří; Velebil, Jiří
4
2005
What are iteration theories? Zbl 1147.18301
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
4
2007
A categorical view of varieties of ordered algebras. Zbl 1506.18009
Adámek, J.; Dostál, M.; Velebil, J.
4
2022
Enriched logical connections. Zbl 1298.18007
Kurz, Alexander; Velebil, Jiří
4
2013
On rational monads and free iterative theories. Zbl 1270.18010
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
4
2003
Semantics of higher-order recursion schemes. Zbl 1239.68041
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2009
Extending set functors to generalised metric spaces. Zbl 1408.18005
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
3
2019
Bases for parametrized iterativity. Zbl 1160.18003
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2008
Algebras with parametrized iterativity. Zbl 1131.18002
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2007
Elgot theories: a new perspective of iteration theories (extended abstract). Zbl 1338.18017
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2009
Extensions of functors from Set to \({\mathcal V}\)-cat. Zbl 1366.18003
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
3
2015
Iterative algebras for a base. Zbl 1272.68281
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2005
Final coalgebras and a solution theorem for arbitrary endofunctors. Zbl 1270.68183
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2002
Relation liftings on preorders and posets. Zbl 1343.18003
Bílková, Marta; Kurz, Alexander; Petrişan, Daniela; Velebil, Jiří
3
2011
On second-order iterative monads. Zbl 1243.68206
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2011
A description of iterative reflections of monads (extended abstract). Zbl 1234.18003
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
2
2009
Representability relative to a doctrine. Zbl 1190.18001
Karazeris, Panagis; Velebil, Jiří
2
2009
A general final coalgebra theorem. Zbl 1080.18004
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
2
2005
Distributive substructural logics as coalgebraic logics over posets. Zbl 1295.03012
Bílková, Marta; Horčík, Rostislav; Velebil, Jiří
2
2012
On categories generalizing universal domains. Zbl 0933.18005
Trnková, Věra; Velebil, Jiří
1
1999
A remark on conservative cocompletions of categories. Zbl 1003.18003
Velebil, Jiří; Adámek, Jiří
1
2002
Final coalgebras in accessible categories. Zbl 1258.18002
Karazeris, Panagis; Matzaris, Apostolos; Velebil, Jiří
1
2011
An institutional approach to positive coalgebraic logic. Zbl 1444.03184
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
1
2017
Elgot algebras (extended abstract). Zbl 1273.18008
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2006
Recursive program schemes and context-free monads. Zbl 1247.68049
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2010
Base modules for parametrized iterativity. Zbl 1282.68168
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2014
A categorical view of varieties of ordered algebras. Zbl 1506.18009
Adámek, J.; Dostál, M.; Velebil, J.
4
2022
Extending set functors to generalised metric spaces. Zbl 1408.18005
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
3
2019
An institutional approach to positive coalgebraic logic. Zbl 1444.03184
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
1
2017
Relation lifting, a survey. Zbl 1344.68167
Kurz, Alexander; Velebil, Jiří
13
2016
Kan injectivity in order-enriched categories. Zbl 1362.18012
Adámek, Jiří; Sousa, Lurdes; Velebil, Jiří
11
2015
Quasivarieties and varieties of ordered algebras: regularity and exactness. Zbl 1423.08007
Kurz, Alexander; Velebil, Jiří
9
2015
Positive fragments of coalgebraic logics. Zbl 1337.03024
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
5
2015
Extensions of functors from Set to \({\mathcal V}\)-cat. Zbl 1366.18003
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
3
2015
Base modules for parametrized iterativity. Zbl 1282.68168
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2014
Positive fragments of coalgebraic logics. Zbl 1394.03035
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
6
2013
Relation lifting, with an application to the many-valued cover modality. Zbl 1287.18008
Bílková, Marta; Kurz, Alexander; Petrişan, Daniela; Velebil, Jiří
5
2013
Enriched logical connections. Zbl 1298.18007
Kurz, Alexander; Velebil, Jiří
4
2013
Expressiveness of positive coalgebraic logic. Zbl 1291.03034
Kapulkin, Krzysztof; Kurz, Alexander; Velebil, Jiří
11
2012
Distributive substructural logics as coalgebraic logics over posets. Zbl 1295.03012
Bílková, Marta; Horčík, Rostislav; Velebil, Jiří
2
2012
Elgot theories: a new perspective on the equational properties of iteration. Zbl 1222.18002
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
9
2011
Semantics of higher-order recursion schemes. Zbl 1218.03013
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
6
2011
Equational presentations of functors and monads. Zbl 1235.18003
Velebil, Jiří; Kurz, Alexander
6
2011
Relation liftings on preorders and posets. Zbl 1343.18003
Bílková, Marta; Kurz, Alexander; Petrişan, Daniela; Velebil, Jiří
3
2011
On second-order iterative monads. Zbl 1243.68206
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2011
Final coalgebras in accessible categories. Zbl 1258.18002
Karazeris, Panagis; Matzaris, Apostolos; Velebil, Jiří
1
2011
Equational properties of iterative monads. Zbl 1234.68271
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
10
2010
Iterative reflections of monads. Zbl 1239.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
7
2010
Recursive program schemes and context-free monads. Zbl 1247.68049
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2010
Semantics of higher-order recursion schemes. Zbl 1239.68041
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2009
Elgot theories: a new perspective of iteration theories (extended abstract). Zbl 1338.18017
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2009
A description of iterative reflections of monads (extended abstract). Zbl 1234.18003
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
2
2009
Representability relative to a doctrine. Zbl 1190.18001
Karazeris, Panagis; Velebil, Jiří
2
2009
Analytic functors and weak pullbacks. Zbl 1163.18002
Adámek, J; Velebil, J.
7
2008
Bases for parametrized iterativity. Zbl 1160.18003
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2008
Iterative algebras: how iterative are they? Zbl 1137.68042
Adámek, J.; Börger, R.; Milius, S.; Velebil, J.
7
2007
What are iteration theories? Zbl 1147.18301
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
4
2007
Algebras with parametrized iterativity. Zbl 1131.18002
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2007
Iterative algebras at work. Zbl 1112.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
31
2006
Elgot algebras. Zbl 1127.68058
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
16
2006
Elgot algebras (extended abstract). Zbl 1273.18008
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2006
Completeness of cocompletions. Zbl 1068.18002
Karazeris, Panagis; Rosický, Jiří; Velebil, Jiří
4
2005
Iterative algebras for a base. Zbl 1272.68281
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2005
A general final coalgebra theorem. Zbl 1080.18004
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
2
2005
On coalgebra based on classes. Zbl 1047.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
7
2004
Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077
Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří
44
2003
Free iterative theories: A coalgebraic view. Zbl 1030.18004
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
14
2003
Some remarks on finitary and iterative monads. Zbl 1035.18002
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
5
2003
On rational monads and free iterative theories. Zbl 1270.18010
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
4
2003
Simultaneously reflective and coreflective subcategories of presheaves. Zbl 1035.18005
El Bashir, Robert; Velebil, Jiří
4
2002
Final coalgebras and a solution theorem for arbitrary endofunctors. Zbl 1270.68183
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2002
A remark on conservative cocompletions of categories. Zbl 1003.18003
Velebil, Jiří; Adámek, Jiří
1
2002
A coalgebraic view of infinite trees and iteration. Zbl 1260.68235
Aczel, Peter; Adámek, Jiří; Velebil, Jiří
17
2001
A duality between infinitary varieties and algebraic theories. Zbl 1035.08004
Adámek, Jiří; Koubek, Václav; Velebil, J.
6
2000
On categories generalizing universal domains. Zbl 0933.18005
Trnková, Věra; Velebil, Jiří
1
1999
all top 5

Cited by 160 Authors

39 Milius, Stefan
33 Adámek, Jiří
23 Velebil, Jiří
10 Schröder, Lutz
8 Uustalu, Tarmo
7 Goncharov, Sergeĭ Savost’yanovich
7 Sousa, Lurdes
6 Bonchi, Filippo
6 Dagnino, Francesco
5 Ghani, Neil
5 Kurz, Alexander
5 Moss, Lawrence S.
5 Piróg, Maciej
5 Rauch, Christoph
5 Rosický, Jiří
5 Rot, Jurriaan
4 Jacobs, Bart
4 Levy, Paul Blain
4 Silva, Alexandra
4 Urbat, Henning
4 Wißmann, Thorsten
3 Clementino, Maria Manuel
3 Dahlqvist, Fredrik
3 De Groot, Jim
3 De Marchi, Federico
3 Ésik, Zoltán
3 Hamana, Makoto
3 Jipsen, Peter
3 Kozen, Dexter C.
3 Lack, Stephen
3 Lüth, Christoph
3 Myers, Robert S. R.
3 Pattinson, Dirk
3 Santamaria, Alessio
3 Vene, Varmo
3 Wild, Paul
2 Alpay, Natanael
2 Ancona, Davide
2 Bonsangue, Marcello Maria
2 Borceux, Francis
2 Dezani-Ciancaglini, Mariangiola
2 Dostál, Matěj
2 Gibbons, Jeremy
2 Hermida, Claudio
2 Hofmann, Dirk
2 Karazeris, Panagis
2 Katsumata, Shin-ya
2 Lazaar, Sami
2 López Franco, Ignacio L.
2 Lucatelli Nunes, Fernando
2 Lucyshyn-Wright, Rory B. B.
2 Mhemdi, Abdelwaheb
2 Nora, Pedro
2 Parker, Jason T.
2 Petrisan, Daniela Luan
2 Pous, Damien
2 Reddy, Uday S.
2 Robinson, Edmund P.
2 Santocanale, Luigi
2 Sugimoto, Melissa
2 Tendas, Giacomo
2 Venema, Yde
2 Weiss, Ittay
2 Zucca, Elena
1 Abbassi, Mouldi
1 Aczel, Peter
1 Ahangar, Shabir Ahmad
1 Ahrens, Benedikt
1 Al-Shami, Tareq Mohammed
1 Aravantinos-Sotiropoulos, Vasileios
1 Asada, Kazuyuki
1 Avigad, Jeremy
1 Balan, Adriana
1 Barbanera, Franco
1 Beurier, Erwan
1 Bezhanishvili, Nick
1 Bílková, Marta
1 Bloom, Stephen L.
1 Capretta, Venanzio
1 Carvalho, Margarida
1 Cattani, Gian Luca
1 Chen, Liang-Ting
1 Ciancia, Vincenzo
1 Cruttwell, Geoffrey S. H.
1 Day, Brian John
1 Dorsch, Ulrich
1 Dubut, Jérémy
1 Endrullis, Jörg
1 Fauser, Bertfried
1 Fiore, Marcelo P.
1 Ford, Chase
1 Gallagher, Jonathan
1 Gambino, Nicola
1 Garner, Richard
1 Geron, Bram
1 Giannini, Paola
1 Guitart, René
1 Haniková, Zuzana
1 Hansen, Helle Hvid
1 Hasuo, Ichiro
...and 60 more Authors

Citations by Year