Edit Profile (opens in new tab) Velebil, Jiří Co-Author Distance Author ID: velebil.jiri Published as: Velebil, Jiří; Velebil, J. Homepage: https://math.fel.cvut.cz/en/people/velebil/ External Links: MGP · dblp Documents Indexed: 61 Publications since 1996, including 4 Additional arXiv Preprints Co-Authors: 19 Co-Authors with 59 Joint Publications 351 Co-Co-Authors all top 5 Co-Authors 2 single-authored 37 Adámek, Jiří 28 Milius, Stefan 12 Kurz, Alexander 6 Dostál, Matěj 5 Balan, Adriana 4 Bílková, Marta 4 Karazeris, Panagis 2 Aczel, Peter 2 Petrisan, Daniela Luan 1 Börger, Reinhard 1 El Bashir, Robert 1 Horčík, Rostislav 1 Kapulkin, Krzysztof 1 Koubek, Vaclav 1 Matzaris, Apostolos 1 Rosický, Jiří 1 Sousa, Lurdes 1 Trnková, Věra 1 Venema, Yde all top 5 Serials 12 MSCS. Mathematical Structures in Computer Science 5 Theoretical Computer Science 5 Theory and Applications of Categories 5 Logical Methods in Computer Science 4 Applied Categorical Structures 3 Information and Computation 2 Journal of Pure and Applied Algebra 1 Commentationes Mathematicae Universitatis Carolinae 1 Journal of Logic and Computation 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Journal of Logical and Algebraic Methods in Programming Fields 51 Category theory; homological algebra (18-XX) 23 Computer science (68-XX) 15 Mathematical logic and foundations (03-XX) 7 General algebraic systems (08-XX) 6 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 33 Serials 16 Logical Methods in Computer Science 15 MSCS. Mathematical Structures in Computer Science 12 Theoretical Computer Science 10 Applied Categorical Structures 9 Journal of Pure and Applied Algebra 8 Information and Computation 6 Theory and Applications of Categories 4 RAIRO. Theoretical Informatics and Applications 3 Algebra Universalis 3 Journal of Logical and Algebraic Methods in Programming 2 Journal of Computer and System Sciences 2 Notre Dame Journal of Formal Logic 1 Acta Informatica 1 Advances in Mathematics 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Commentationes Mathematicae Universitatis Carolinae 1 Memoirs of the American Mathematical Society 1 Quaestiones Mathematicae 1 Studia Logica 1 Topology and its Applications 1 Annals of Pure and Applied Logic 1 International Journal of Algebra and Computation 1 Topology Proceedings 1 Journal of Functional Programming 1 Higher-Order and Symbolic Computation 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 ACM Transactions on Computational Logic 1 Hacettepe Journal of Mathematics and Statistics 1 Tbilisi Mathematical Journal 1 The Review of Symbolic Logic 1 Mathematics for Applications all top 5 Cited in 17 Fields 111 Category theory; homological algebra (18-XX) 103 Computer science (68-XX) 43 Mathematical logic and foundations (03-XX) 16 Order, lattices, ordered algebraic structures (06-XX) 15 General algebraic systems (08-XX) 11 General topology (54-XX) 3 Group theory and generalizations (20-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Associative rings and algebras (16-XX) 2 Measure and integration (28-XX) 2 Algebraic topology (55-XX) 1 General and overarching topics; collections (00-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Geometry (51-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Quantum theory (81-XX) Citations by Year