×

zbMATH — the first resource for mathematics

Velebil, Jiří

Compute Distance To:
Author ID: velebil.jiri Recent zbMATH articles by "Velebil, Jiří"
Published as: Velebil, J.; Velebil, Jiří
External Links: MGP · Wikidata · dblp
Documents Indexed: 55 Publications since 1996

Publications by Year

Citations contained in zbMATH

43 Publications have been cited 250 times in 113 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ří
40
2003
Iterative algebras at work. Zbl 1112.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
26
2006
A coalgebraic view of infinite trees and iteration. Zbl 1260.68235
Aczel, Peter; Adámek, Jiří; Velebil, Jiří
18
2001
Free iterative theories: A coalgebraic view. Zbl 1030.18004
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
15
2003
Elgot algebras. Zbl 1127.68058
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
13
2006
Equational properties of iterative monads. Zbl 1234.68271
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
10
2010
Kan injectivity in order-enriched categories. Zbl 1362.18012
Adámek, Jiří; Sousa, Lurdes; Velebil, Jiří
8
2015
Elgot theories: a new perspective on the equational properties of iteration. Zbl 1222.18002
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
8
2011
Iterative algebras: how iterative are they? Zbl 1137.68042
Adámek, J.; Börger, R.; Milius, S.; Velebil, J.
7
2007
Iterative reflections of monads. Zbl 1239.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
6
2010
Analytic functors and weak pullbacks. Zbl 1163.18002
Adámek, J; Velebil, J.
6
2008
Equational presentations of functors and monads. Zbl 1235.18003
Velebil, Jiří; Kurz, Alexander
5
2011
On coalgebra based on classes. Zbl 1047.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
5
2004
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 1394.03035
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
4
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ří
4
2012
Semantics of higher-order recursion schemes. Zbl 1218.03013
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
4
2011
Semantics of higher-order recursion schemes. Zbl 1239.68041
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
4
2009
What are iteration theories? Zbl 1147.18301
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
4
2007
On rational monads and free iterative theories. Zbl 1270.18010
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
4
2003
A duality between infinitary varieties and algebraic theories. Zbl 1035.08004
Adámek, Jiří; Koubek, Václav; Velebil, J.
4
2000
Relation lifting, a survey. Zbl 1344.68167
Kurz, Alexander; Velebil, Jiří
3
2016
Quasivarieties and varieties of ordered algebras: regularity and exactness. Zbl 1423.08007
Kurz, Alexander; Velebil, Jiří
3
2015
Positive fragments of coalgebraic logics. Zbl 1337.03024
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
3
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ří
3
2013
On second-order iterative monads. Zbl 1243.68206
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2011
Elgot theories: a new perspective of iteration theories (extended abstract). Zbl 1338.18017
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2009
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
Iterative algebras for a base. Zbl 1272.68281
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2005
Completeness of cocompletions. Zbl 1068.18002
Karazeris, Panagis; Rosický, Jiří; 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ří
2
2011
A description of iterative reflections of monads (extended abstract). Zbl 1234.18003
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
2
2009
Simultaneously reflective and coreflective subcategories of presheaves. Zbl 1035.18005
El Bashir, Robert; Velebil, Jiří
2
2002
Extensions of functors from Set to \({\mathcal V}\)-cat. Zbl 1366.18003
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
1
2015
Base modules for parametrized iterativity. Zbl 1282.68168
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2014
Distributive substructural logics as coalgebraic logics over posets. Zbl 1295.03012
Bílková, Marta; Horčík, Rostislav; Velebil, Jiří
1
2012
Final coalgebras in accessible categories. Zbl 1258.18002
Karazeris, Panagis; Matzaris, Apostolos; Velebil, Jiří
1
2011
Recursive program schemes and context-free monads. Zbl 1247.68049
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2010
A general final coalgebra theorem. Zbl 1080.18004
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2005
On categories generalizing universal domains. Zbl 0933.18005
Trnková, Věra; Velebil, Jiří
1
1999
Relation lifting, a survey. Zbl 1344.68167
Kurz, Alexander; Velebil, Jiří
3
2016
Kan injectivity in order-enriched categories. Zbl 1362.18012
Adámek, Jiří; Sousa, Lurdes; Velebil, Jiří
8
2015
Quasivarieties and varieties of ordered algebras: regularity and exactness. Zbl 1423.08007
Kurz, Alexander; Velebil, Jiří
3
2015
Positive fragments of coalgebraic logics. Zbl 1337.03024
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
3
2015
Extensions of functors from Set to \({\mathcal V}\)-cat. Zbl 1366.18003
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
1
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ří
4
2013
Enriched logical connections. Zbl 1298.18007
Kurz, Alexander; Velebil, Jiří
4
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ří
3
2013
Expressiveness of positive coalgebraic logic. Zbl 1291.03034
Kapulkin, Krzysztof; Kurz, Alexander; Velebil, Jiří
4
2012
Distributive substructural logics as coalgebraic logics over posets. Zbl 1295.03012
Bílková, Marta; Horčík, Rostislav; Velebil, Jiří
1
2012
Elgot theories: a new perspective on the equational properties of iteration. Zbl 1222.18002
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
8
2011
Equational presentations of functors and monads. Zbl 1235.18003
Velebil, Jiří; Kurz, Alexander
5
2011
Semantics of higher-order recursion schemes. Zbl 1218.03013
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
4
2011
On second-order iterative monads. Zbl 1243.68206
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2011
Relation liftings on preorders and posets. Zbl 1343.18003
Bílková, Marta; Kurz, Alexander; Petrişan, Daniela; Velebil, Jiří
2
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ří
6
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ří
4
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
Analytic functors and weak pullbacks. Zbl 1163.18002
Adámek, J; Velebil, J.
6
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ří
26
2006
Elgot algebras. Zbl 1127.68058
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
13
2006
Iterative algebras for a base. Zbl 1272.68281
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2005
Completeness of cocompletions. Zbl 1068.18002
Karazeris, Panagis; Rosický, Jiří; Velebil, Jiří
3
2005
A general final coalgebra theorem. Zbl 1080.18004
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
1
2005
On coalgebra based on classes. Zbl 1047.18005
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
5
2004
Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077
Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří
40
2003
Free iterative theories: A coalgebraic view. Zbl 1030.18004
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
15
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
Final coalgebras and a solution theorem for arbitrary endofunctors. Zbl 1270.68183
Adámek, Jiří; Milius, Stefan; Velebil, Jiří
3
2002
Simultaneously reflective and coreflective subcategories of presheaves. Zbl 1035.18005
El Bashir, Robert; Velebil, Jiří
2
2002
A coalgebraic view of infinite trees and iteration. Zbl 1260.68235
Aczel, Peter; Adámek, Jiří; Velebil, Jiří
18
2001
A duality between infinitary varieties and algebraic theories. Zbl 1035.08004
Adámek, Jiří; Koubek, Václav; Velebil, J.
4
2000
On categories generalizing universal domains. Zbl 0933.18005
Trnková, Věra; Velebil, Jiří
1
1999
all top 5

Cited by 94 Authors

35 Milius, Stefan
27 Adámek, Jiří
22 Velebil, Jiří
8 Uustalu, Tarmo
6 Sousa, Lurdes
5 Ghani, Neil
5 Goncharov, Sergeĭ Savost’yanovich
5 Kurz, Alexander
5 Moss, Lawrence S.
5 Rauch, Christoph
5 Schröder, Lutz
4 Jacobs, Bart
4 Piróg, Maciej
4 Wißmann, Thorsten
3 Bonchi, Filippo
3 Dagnino, Francesco
3 De Marchi, Federico
3 Ésik, Zoltán
3 Hamana, Makoto
3 Kozen, Dexter C.
3 Lüth, Christoph
3 Rosický, Jiří
3 Rot, Jurriaan
3 Silva, Alexandra
3 Vene, Varmo
2 Ancona, Davide
2 Bonsangue, Marcello Maria
2 Borceux, Francis
2 Dahlqvist, Fredrik
2 Gibbons, Jeremy
2 Karazeris, Panagis
2 Lack, Stephen
2 Levy, Paul Blain
2 López Franco, Ignacio L.
2 Myers, Robert S. R.
2 Pattinson, Dirk
2 Pous, Damien
2 Santocanale, Luigi
2 Urbat, Henning
2 Weiss, Ittay
2 Zucca, Elena
1 Aczel, Peter
1 Asada, Kazuyuki
1 Balan, Adriana
1 Bloom, Stephen L.
1 Capretta, Venanzio
1 Carvalho, Margarida
1 Cattani, Gian Luca
1 Chen, Liang-Ting
1 Ciancia, Vincenzo
1 Clementino, Maria Manuel
1 Day, Brian John
1 Fauser, Bertfried
1 Fiore, Marcelo P.
1 Gambino, Nicola
1 Garner, Richard
1 Haniková, Zuzana
1 Hermida, Claudio
1 Horčík, Rostislav
1 Jakob, Julian
1 Jeannin, Jean-Baptiste
1 Joyal, André
1 Jung, Achim
1 Kim, Jiho
1 Klin, Bartek
1 Kock, Joachim
1 Komenda, Jan
1 Leinster, Tom
1 Maehara, Yuki
1 Marti, Johannes
1 Maruyama, Yoshihiro
1 Matsuda, Kazutaka
1 Matthes, Ralph
1 Matzaris, Apostolos
1 Montanari, Ugo G.
1 Moraschini, Tommaso
1 Padawitz, Peter
1 Palm, Thorsten
1 Pavlović, Duško
1 Petrisan, Daniela Luan
1 Power, John
1 Protsonis, Grigoris
1 Pym, David J.
1 Reddy, Uday S.
1 Robinson, Edmund P.
1 Rutten, Jan J. M. M.
1 Salamanca Téllez, Julián
1 Schwencke, Daniel
1 Tholen, Walter
1 Veltri, Niccolò
1 Venema, Yde
1 Wilkinson, Toby
1 Zanasi, Fabio
1 Zawadowski, Marek W.

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.