Edit Profile (opens in new tab) Adámek, Jiří Co-Author Distance Author ID: adamek.jiri Published as: Adámek, Jiří; Adámek, J.; Adamek, Jiri; Adamek, J.; Adámek, Jiri; Adámek, Jiři; Adamek, Jiří; Adámek, Jirí; Adámek, Jǐri; Adámek, J more...less Documents Indexed: 257 Publications since 1970, including 8 Books 8 Contributions as Editor Reviewing Activity: 65 Reviews Biographic References: 1 Publication Co-Authors: 65 Co-Authors with 209 Joint Publications 1,109 Co-Co-Authors all top 5 Co-Authors 49 single-authored 61 Milius, Stefan 44 Rosický, Jiří 34 Velebil, Jiří 24 Koubek, Vaclav 21 Sousa, Lurdes 18 Trnková, Věra 14 Urbat, Henning 13 Herrlich, Horst 12 Reiterman, Jan 10 Nelson, Evelyn M. 9 Strecker, George E. 8 Hébert, Michel 7 Moss, Lawrence S. 7 Tholen, Walter 6 Myers, Robert S. R. 4 Lawvere, Francis William 4 Porst, Hans-Eberhard 4 Sobral, Manuela 4 Vitale, Enrico Maria 3 Borceux, Francis 3 Chen, Liang-Ting 2 Aczel, Peter 2 Haddadi, Mahdieh 2 Johnstone, Peter T. 2 Jung, Achim 2 Koslowski, Jürgen 2 Kupke, Clemens 2 Levy, Paul Blain 2 Wißmann, Thorsten 1 Bloom, Stephen L. 1 Bonchi, Filippo 1 Börger, Reinhard 1 Bowler, Nathan 1 Brooke-Taylor, Andrew D. 1 Campion, Tim 1 Dostál, Matěj 1 Ehrig, Hartmut 1 El Bashir, Robert 1 Ford, Chase 1 Gumm, Heinz-Peter 1 Hu, Hongde 1 Hülsbusch, Mathias 1 Janelidze, George 1 Jiří, Velebil 1 Katětov, Miroslav 1 Kelly, Gregory Maxwell 1 König, Barbara 1 Lack, Stephen 1 Lücke, Dominik 1 Mac Lane, Leslie Saunders 1 Makowsky, Johann-Andreas 1 Mekler, Alan H. 1 Merzenich, Wolfgang 1 Palm, Thorsten 1 Pohlova, Vera 1 Pollara, Victor J. 1 Positselski, Leonid Efimovich 1 Reiterman, Jiří 1 Rosebrugh, Robert D. 1 Rosolini, Giuseppe 1 Schröder, Lutz 1 Silva, Alexandra 1 Struckmann, Werner 1 Sturm, Teo 1 Tarlecki, Andrzej all top 5 Serials 22 Commentationes Mathematicae Universitatis Carolinae 18 Theory and Applications of Categories 16 Algebra Universalis 16 Journal of Pure and Applied Algebra 14 Theoretical Computer Science 12 MSCS. Mathematical Structures in Computer Science 12 Applied Categorical Structures 9 Cahiers de Topologie et Géométrie Différentielle Catégoriques 8 Journal of Algebra 6 Topology and its Applications 6 Information and Computation 6 Logical Methods in Computer Science 4 Bulletin of the Australian Mathematical Society 4 Czechoslovak Mathematical Journal 4 Journal of Computer and System Sciences 4 Journal of Logic and Computation 3 Transactions of the American Mathematical Society 3 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Houston Journal of Mathematics 2 Archivum Mathematicum 2 Kybernetika 2 Proceedings of the American Mathematical Society 2 Mathematica Bohemica 2 ACM Transactions on Computational Logic 2 Electronic Notes in Theoretical Computer Science 2 Journal of Homotopy and Related Structures 1 Acta Universitatis Carolinae. Mathematica et Physica 1 Discrete Mathematics 1 Advances in Mathematics 1 Canadian Journal of Mathematics 1 Canadian Mathematical Bulletin 1 Colloquium Mathematicum 1 The Journal of Symbolic Logic 1 Manuscripta Mathematica 1 Mathematische Nachrichten 1 Notre Dame Journal of Formal Logic 1 Pacific Journal of Mathematics 1 Semigroup Forum 1 Studia Logica 1 RAIRO. Theoretical Informatics and Applications 1 Reprints in Theory and Applications of Categories 1 Cambridge Tracts in Mathematics 1 London Mathematical Society Lecture Note Series 1 Mathematics and its Applications. East European Series 1 Tbilisi Mathematical Journal all top 5 Fields 222 Category theory; homological algebra (18-XX) 79 Computer science (68-XX) 58 General algebraic systems (08-XX) 33 Mathematical logic and foundations (03-XX) 25 General topology (54-XX) 18 Order, lattices, ordered algebraic structures (06-XX) 9 Group theory and generalizations (20-XX) 7 General and overarching topics; collections (00-XX) 5 History and biography (01-XX) 2 Combinatorics (05-XX) 2 Associative rings and algebras (16-XX) 2 Algebraic topology (55-XX) 1 Functional analysis (46-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 203 Publications have been cited 2,668 times in 1,724 Documents Cited by ▼ Year ▼ Abstract and concrete categories. The joy of cats. Zbl 0695.18001Adámek, Jiří; Herrlich, Horst; Strecker, George E. 732 1990 Locally presentable and accessible categories. Zbl 0795.18007Adámek, Jiří; Rosický, Jiří 485 1994 Abstract and concrete categories: the joy of cats. Zbl 1113.18001Adámek, Jiří; Herrlich, Horst; Strecker, George E. 101 2006 Free algebras and automata realizations in the language of categories. Zbl 0293.18006Adamek, Jiri 67 1974 Automata and algebras in categories. Zbl 0698.18001Adámek, Jiří; Trnková, Věra 53 1990 Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere. Zbl 1209.18001Adámek, J.; Rosický, J.; Vitale, E. M. 53 2011 Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří 43 2003 Iterative algebras at work. Zbl 1112.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 30 2006 Weak factorization systems and topological functors. Zbl 0997.18002Adámek, Jiří; Herrlich, Horst; Rosický, Jiří; Tholen, Walter 30 2002 Introduction to coalgebra. Zbl 1080.18005Adámek, Jiří 29 2005 On the greatest fixed point of a set functor. Zbl 0874.18001Adámek, Jiří; Koubek, Václav 27 1995 On tree coalgebras and coalgebra presentations. Zbl 1086.68088Adámek, J.; Porst, H.-E. 26 2004 On sifted colimits and generalized varieties. Zbl 0971.18004Adámek, Jiří; Rosický, Jiří 23 2001 On a generalized small-object argument for the injective subcategory problem. Zbl 1002.18002Adámek, J.; Herrlich, H.; Rosický, J.; Tholen, W. 23 2002 A classification of accessible categories. Zbl 1010.18005Adámek, Jiří; Borceux, Francis; Lack, Stephen; Rosický, Jiří 22 2002 A coalgebraic perspective on minimization and determinization. Zbl 1352.68171Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra 18 2012 Colimits of algebras revisited. Zbl 0365.18007Adamek, Jiri 18 1977 On injectivity in locally presentable categories. Zbl 0789.18003Adámek, Jiří; Rosický, Jiří 17 1993 A coalgebraic view of infinite trees and iteration. Zbl 1260.68235Aczel, Peter; Adámek, Jiří; Velebil, Jiří 17 2001 On varieties and covarieties in a category. Zbl 1041.18007Adámek, Jiří; Porst, Hans-E. 16 2003 Theory of mathematical structures. Zbl 0523.18001Adamek, Jiri 15 1983 Free algebras, input processes and free monads. Zbl 0308.18001Trnková, Věra; Adamek, J.; Koubek, V.; Reiterman, Jan 15 1975 Elgot algebras. Zbl 1127.68058Adámek, Jiří; Milius, Stefan; Velebil, Jiří 15 2006 On pure quotients and pure subobjects. Zbl 1080.18500Adámek, J.; Rosický, J. 14 2004 Generalized Eilenberg theorem. I: Local varieties of languages. Zbl 1407.68314Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning 14 2014 Free iterative theories: A coalgebraic view. Zbl 1030.18004Adámek, Jiří; Milius, Stefan; Velebil, Jiří 14 2003 On final coalgebras of continuous functors. Zbl 1028.68078Adámek, Jiří 14 2003 Least fixed point of a functor. Zbl 0423.18007Adamek, Jiri; Koubek, Vaclav 14 1979 Injective hulls are not natural. Zbl 1061.18010Adámek, Jiří; Herrlich, Horst; Rosický, Jiří; Tholen, Walter 13 2002 From varieties of algebras to covarieties of coalgebras. Zbl 1260.08004Adámek, Jiří; Porst, Hans-E. 13 2001 Terminal coalgebras and free iterative theories. Zbl 1104.68068Adámek, Jiří; Milius, Stefan 13 2006 Monadic decompositions. Zbl 0675.18001Adámek, Jiří; Herrlich, Horst; Tholen, Walter 11 1989 Unexpected properties of locally presentable categories. Zbl 0701.18003Rosický, Jiří; Trnková, V.; Adámek, Jiří 11 1990 Coalgebraic constructions of canonical nondeterministic automata. Zbl 1380.68290Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning 11 2015 Profinite monads, profinite equations, and Reiterman’s theorem. Zbl 1474.18010Chen, Liang-Ting; Adámek, Jiří; Milius, Stefan; Urbat, Henning 11 2016 What are sifted colimits? Zbl 1225.18002Adamek, J.; Rosicky, J.; Vitale, E. M. 11 2010 Equational properties of iterative monads. Zbl 1234.68271Adámek, Jiří; Milius, Stefan; Velebil, Jiří 10 2010 How algebraic is algebra? Zbl 0978.18006Adámek, Jiří; Lawvere, F. W.; Rosický, Jiří 10 2001 Eilenberg theorems for free. Zbl 1441.68139Urbat, Henning; Adámek, Jiří; Chen, Liang-Ting; Milius, Stefan 10 2017 Kan injectivity in order-enriched categories. Zbl 1362.18012Adámek, Jiří; Sousa, Lurdes; Velebil, Jiří 10 2015 Presentation of set functors: a coalgebraic perspective. Zbl 1207.18002Adámek, J.; Gumm, H. P.; Trnková, V. 9 2010 Cartesian closed hull of the category of uniform spaces. Zbl 0586.54032Adámek, Jiří; Reiterman, Jan 9 1985 The Birkhoff variety theorem for continuous algebras. Zbl 0594.08005Adámek, Jiři; Nelson, Evelyn; Reiterman, Jan 9 1985 Cartesian closed categories, quasitopoi and topological universes. Zbl 0601.18003Adámek, Jiří; Herrlich, Horst 9 1986 Algebraic theories of quasivarieties. Zbl 0913.18004Adámek, Jiří; Porst, Hans-E. 9 1998 On the duality between varieties and algebraic theories. Zbl 1090.18004Adámek, J.; Lawvere, F. W.; Rosický, J. 9 2003 Final coalgebras are ideal completions of initial algebras. Zbl 1003.18009Adámek, Jiří 9 2002 Tree constructions of free continuous algebras. Zbl 0477.06001Adamek, Jiri; Nelson, Evelyn; Reiterman, Jan 9 1981 What are locally generated categories? Zbl 0779.18002Adámek, Jiří; Rosický, Jiří 8 1991 Elgot theories: a new perspective on the equational properties of iteration. Zbl 1222.18002Adámek, Jiří; Milius, Stefan; Velebil, Jiří 8 2011 Well-pointed coalgebras. Zbl 1272.18002Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 8 2013 Continuous categories revisited. Zbl 1018.18003Adámek, J.; Lawvere, F. W.; Rosický, J. 8 2003 Least and largest initial completions. I. Zbl 0404.18005Adamek, J.; Herrlich, Horst; Strecker, George E. 8 1979 Cartesian closed initial completions. Zbl 0423.18010Adamek, Jiri; Koubek, Vaclav 8 1980 Remarks on flows in network with short paths. Zbl 0223.05108Adámek, Jiří; Koubek, Vaćlav 8 1971 The orthogonal subcategory problem and the small object argument. Zbl 1194.18003Adámek, Jiří; Hébert, Michel; Sousa, Lurdes 7 2009 Iterative algebras: how iterative are they? Zbl 1137.68042Adámek, J.; Börger, R.; Milius, S.; Velebil, J. 7 2007 A logic of coequations. Zbl 1136.03313Adámek, Jiri 7 2005 Initial algebras and terminal coalgebras in many-sorted sets. Zbl 1214.68227Adámek, Jiří; Trnková, Věra 7 2011 Realization of Cartesian closed topological hulls. Zbl 0573.54006Adámek, J.; Reiterman, J.; Strecker, George E. 7 1985 On functors which are lax epimorphisms. Zbl 1003.18001Adámek, Jiří; El Bashir, Robert; Sobral, Manuela; Jiří, Velebil 7 2001 More on injectivity in locally presentable categories. Zbl 0993.18006Rosicky, J.; Adamek, J.; Borceux, F. 7 2002 Completions of concrete categories. Zbl 0464.18003Adamek, Jiri; Koubek, Vaclav 7 1981 On coalgebra based on classes. Zbl 1047.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 7 2004 On finitary functors. Zbl 1470.18006Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten 7 2019 Varieties of languages in a category. Zbl 1401.68212Adámek, Jiří; Myers, Robert S. R.; Urbat, Henning; Milius, Stefan 7 2015 Iterative reflections of monads. Zbl 1239.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 7 2010 The structure of initial completions. Zbl 0436.18001Adamek, J.; Herrlich, Horst; Strecker, George E. 7 1979 Reflections in locally presentable categories. Zbl 0742.18002Adámek, Jiří; Rosický, Jiří 6 1989 Recursive coalgebras of finitary functors. Zbl 1147.18001Adámek, Jiří; Lücke, Dominik; Milius, Stefan 6 2007 Semantics of higher-order recursion schemes. Zbl 1218.03013Adámek, Jiří; Milius, Stefan; Velebil, Jiří 6 2011 Analytic functors and weak pullbacks. Zbl 1163.18002Adámek, J; Velebil, J. 6 2008 On finitary functors and their presentations. Zbl 1328.18005Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Urbat, Henning 6 2015 The quasitopos hull of the category of uniform spaces. Zbl 0653.18007Adámek, Jiří; Reiterman, Jan 6 1987 Classification of concrete categories. Zbl 0615.18004Adámek, Jiři 6 1986 On algebraically exact categories and essential localizations of varieties. Zbl 1004.18006Adámek, J.; Rosický, J.; Vitale, E. M. 6 2001 A duality between infinitary varieties and algebraic theories. Zbl 1035.08004Adámek, Jiří; Koubek, Václav; Velebil, J. 6 2000 Essentially equational categories. Zbl 0659.18010Adámek, Jiří; Herrlich, Horst; Rosický, Jiří 5 1988 Are all limit-closed subcategories of locally presentable categories reflective? Zbl 0668.18004Adámek, Jiří; Rosický, Jiří; Trnková, V. 5 1988 Intersections of reflective subcategories. Zbl 0675.18002Adámek, Jiří; Rosický, Jiří 5 1988 Arbitrarily large continuous algebras on one generator. Zbl 0578.08005Adámek, Jiří; Koubek, Václav; Nelson, Evelyn; Reiterman, Jan 5 1985 On pure morphisms in accessible categories. Zbl 0852.18002Adámek, Jiří; Hu, H.; Tholen, Walter 5 1996 On finitary functors and their presentations. Zbl 1328.18004Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 5 2012 Realization theory for automata in categories. Zbl 0371.18004Adámek, Jiří 5 1977 Are colimits of algebras simple to construct? Zbl 0446.18003Adamek, Jiri; Koubek, Vaclav 5 1980 Least and largest initial completions. II. Zbl 0404.18006Adamek, J.; Herrlich, Horst; Strecker, George E. 5 1979 Some remarks on finitary and iterative monads. Zbl 1035.18002Adámek, Jiří; Milius, Stefan; Velebil, Jiří 5 2003 How many variables does a quasivariety need? Zbl 0692.08013Adámek, Jiří 4 1990 Coproducts of monads on Set. Zbl 1364.18001Adámek, Jiří; Milius, Stefan; Bowler, Nathan; Levy, Paul B. 4 2012 What are iteration theories? Zbl 1147.18301Adámek, Jiří; Milius, Stefan; Velebil, Jiří 4 2007 On final coalgebras of power-set functors and saturated trees. Zbl 1328.03059Adámek, Jiří; Levy, Paul B.; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 4 2015 Corecursive algebras, corecursive monads and Bloom monads. Zbl 1341.68121Adámek, Jiří; Haddadi, Mahdie; Milius, Stefan 4 2014 Comparison of subset systems. Zbl 0657.06009Nelson, E.; Adámek, J.; Jung, A.; Reiterman, J.; Tarlecki, A. 4 1988 Continuous semilattices. Zbl 0601.06003Adámek, J.; Reiterman, J.; Nelson, E. 4 1986 Banach’s fixed-point theorem as a base for data-type equations. Zbl 0802.18007Adámek, J.; Reiterman, J. 4 1994 Recursive data types in algebraically \(\omega\)-complete categories. Zbl 0841.18003Adámek, Jiří 4 1995 Finitary sketches and finitely accessible categories. Zbl 0838.18001Adámek, Jiří; Rosický, Jiří 4 1995 On preaccessible categories. Zbl 0852.18003Adámek, Jiří; Rosický, Jiří 4 1995 A categorical generalization of Scott domains. Zbl 0884.18006Adámek, Jiří 4 1997 On rational monads and free iterative theories. Zbl 1270.18010Adámek, Jiří; Milius, Stefan; Velebil, Jiří 4 2003 Approximate injectivity and smallness in metric-enriched categories. Zbl 07461229Adámek, J.; Rosický, J. 4 2022 A categorical view of varieties of ordered algebras. Zbl 1506.18009Adámek, J.; Dostál, M.; Velebil, J. 2 2022 Finitary monads on the category of posets. Zbl 1495.18007Adámek, Jiří; Ford, Chase; Milius, Stefan; Schröder, Lutz 1 2021 D-ultrafilters and their monads. Zbl 1461.18003Adámek, Jiří; Sousa, Lurdes 1 2021 How nice are free completions of categories? Zbl 1439.18003Adámek, Jiří; Rosický, Jiří 4 2020 On well-founded and recursive coalgebras. Zbl 1455.18001Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 2 2020 On finitary functors. Zbl 1470.18006Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten 7 2019 Generalized Eilenberg theorem. Varieties of languages in a category. Zbl 1407.68315Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning 3 2019 Finitely presentable algebras for finitary monads. Zbl 1468.18006Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten 1 2019 Colimit-dense subcategories. Zbl 1474.18012Adámek, Jiří; Brooke-Taylor, Andrew D.; Campion, Tim; Positselski, Leonid; Rosický, Jiří 1 2019 A formula for codensity monads and density comonads. Zbl 1428.18003Adámek, Jiří; Sousa, Lurdes 2 2018 On algebras with effectful iteration. Zbl 06962936Milius, Stefan; Adámek, Jiří; Urbat, Henning 2 2018 Eilenberg theorems for free. Zbl 1441.68139Urbat, Henning; Adámek, Jiří; Chen, Liang-Ting; Milius, Stefan 10 2017 KZ-monadic categories and their logic. Zbl 1397.18012Adámek, Jiří; Sousa, Lurdes 1 2017 On corecursive algebras for functors preserving coproducts. Zbl 1436.18002Adámek, Jiří; Milius, Stefan 1 2017 Profinite monads, profinite equations, and Reiterman’s theorem. Zbl 1474.18010Chen, Liang-Ting; Adámek, Jiří; Milius, Stefan; Urbat, Henning 11 2016 Fixed points of set functors: how many iterations are needed? Zbl 1375.18013Adámek, J.; Koubek, V.; Palm, T. 1 2016 Coalgebraic constructions of canonical nondeterministic automata. Zbl 1380.68290Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning 11 2015 Kan injectivity in order-enriched categories. Zbl 1362.18012Adámek, Jiří; Sousa, Lurdes; Velebil, Jiří 10 2015 Varieties of languages in a category. Zbl 1401.68212Adámek, Jiří; Myers, Robert S. R.; Urbat, Henning; Milius, Stefan 7 2015 On finitary functors and their presentations. Zbl 1328.18005Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Urbat, Henning 6 2015 On final coalgebras of power-set functors and saturated trees. Zbl 1328.03059Adámek, Jiří; Levy, Paul B.; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 4 2015 Syntactic monoids in a category. Zbl 1366.68188Adamek, Jiří; Milius, Stefan; Urbat, Henning 4 2015 On reflective subcategories of locally presentable categories. Zbl 1329.18003Adámek, J.; Rosický, J. 1 2015 Generalized Eilenberg theorem. I: Local varieties of languages. Zbl 1407.68314Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning 14 2014 Corecursive algebras, corecursive monads and Bloom monads. Zbl 1341.68121Adámek, Jiří; Haddadi, Mahdie; Milius, Stefan 4 2014 Canonical nondeterministic automata. Zbl 1331.68138Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning 3 2014 On continuous nondeterminism and state minimality. Zbl 1337.68171Adámek, Jiří; Myers, Robert S. R.; Urbat, Henning 3 2014 Base modules for parametrized iterativity. Zbl 1282.68168Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2014 Well-pointed coalgebras. Zbl 1272.18002Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 8 2013 A coalgebraic perspective on minimization and determinization. Zbl 1352.68171Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra 18 2012 On finitary functors and their presentations. Zbl 1328.18004Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 5 2012 Coproducts of monads on Set. Zbl 1364.18001Adámek, Jiří; Milius, Stefan; Bowler, Nathan; Levy, Paul B. 4 2012 Birkhoff’s variety theorem in many sorts. Zbl 1257.08003Adámek, Jiří; Rosický, Jiří; Vitale, Enrico M. 4 2012 Well-pointed coalgebras (extended abstract). Zbl 1352.68168Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 3 2012 Relatively terminal coalgebras. Zbl 1266.18002Adámek, Jiří; Trnková, Věra 2 2012 Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere. Zbl 1209.18001Adámek, J.; Rosický, J.; Vitale, E. M. 53 2011 Elgot theories: a new perspective on the equational properties of iteration. Zbl 1222.18002Adámek, Jiří; Milius, Stefan; Velebil, Jiří 8 2011 Initial algebras and terminal coalgebras in many-sorted sets. Zbl 1214.68227Adámek, Jiří; Trnková, Věra 7 2011 Semantics of higher-order recursion schemes. Zbl 1218.03013Adámek, Jiří; Milius, Stefan; Velebil, Jiří 6 2011 On second-order iterative monads. Zbl 1243.68206Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2011 Power-set functors and saturated trees. Zbl 1247.03140Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 2 2011 What are sifted colimits? Zbl 1225.18002Adamek, J.; Rosicky, J.; Vitale, E. M. 11 2010 Equational properties of iterative monads. Zbl 1234.68271Adámek, Jiří; Milius, Stefan; Velebil, Jiří 10 2010 Presentation of set functors: a coalgebraic perspective. Zbl 1207.18002Adámek, J.; Gumm, H. P.; Trnková, V. 9 2010 Iterative reflections of monads. Zbl 1239.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 7 2010 Recursive program schemes and context-free monads. Zbl 1247.68049Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2010 The orthogonal subcategory problem and the small object argument. Zbl 1194.18003Adámek, Jiří; Hébert, Michel; Sousa, Lurdes 7 2009 Elgot theories: a new perspective of iteration theories (extended abstract). Zbl 1338.18017Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2009 Semantics of higher-order recursion schemes. Zbl 1239.68041Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2009 A logic of implications in algebra and coalgebra. Zbl 1229.18001Adámek, Jiří; Sobral, Manuela; Sousa, Lurdes 3 2009 A description of iterative reflections of monads (extended abstract). Zbl 1234.18003Adámek, Jiří; Milius, Stefan; Velebil, Jiří 2 2009 Analytic functors and weak pullbacks. Zbl 1163.18002Adámek, J; Velebil, J. 6 2008 Bases for parametrized iterativity. Zbl 1160.18003Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2008 Iterative algebras: how iterative are they? Zbl 1137.68042Adámek, J.; Börger, R.; Milius, S.; Velebil, J. 7 2007 Recursive coalgebras of finitary functors. Zbl 1147.18001Adámek, Jiří; Lücke, Dominik; Milius, Stefan 6 2007 What are iteration theories? Zbl 1147.18301Adámek, Jiří; Milius, Stefan; Velebil, Jiří 4 2007 Algebras with parametrized iterativity. Zbl 1131.18002Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2007 A logic of injectivity. Zbl 1184.18002Adamek, J.; Hebert, M.; Sousa, L. 1 2007 Abstract and concrete categories: the joy of cats. Zbl 1113.18001Adámek, Jiří; Herrlich, Horst; Strecker, George E. 101 2006 Iterative algebras at work. Zbl 1112.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 30 2006 Elgot algebras. Zbl 1127.68058Adámek, Jiří; Milius, Stefan; Velebil, Jiří 15 2006 Terminal coalgebras and free iterative theories. Zbl 1104.68068Adámek, Jiří; Milius, Stefan 13 2006 A logic of orthogonality. Zbl 1156.18301Adámek, J.; Hébert, M.; Sousa, L. 4 2006 The intersection of algebra and coalgebra. Zbl 1110.18002Adámek, J. 3 2006 Morita equivalence of many-sorted algebraic theories. Zbl 1094.18003Adámek, Jiří; Sobral, Manuela; Sousa, Lurdes 3 2006 Pure morphisms in pro-categories. Zbl 1099.18002Adámek, Jiří; Rosický, Jiří 2 2006 Elgot algebras (extended abstract). Zbl 1273.18008Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2006 Introduction to coalgebra. Zbl 1080.18005Adámek, Jiří 29 2005 A logic of coequations. Zbl 1136.03313Adámek, Jiri 7 2005 Iterative algebras for a base. Zbl 1272.68281Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2005 A general final coalgebra theorem. Zbl 1080.18004Adámek, Jiří; Milius, Stefan; Velebil, Jiří 2 2005 Birkhoff’s covariety theorem without limitations. Zbl 1121.18003Adámek, Jiří 2 2005 Algebra \(\cap\) coalgebra \(=\) presheaves. Zbl 1151.18004Adámek, J. 1 2005 On tree coalgebras and coalgebra presentations. Zbl 1086.68088Adámek, J.; Porst, H.-E. 26 2004 On pure quotients and pure subobjects. Zbl 1080.18500Adámek, J.; Rosický, J. 14 2004 On coalgebra based on classes. Zbl 1047.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 7 2004 On quasivarieties and varieties as categories. Zbl 1072.08001Adámek, Jiří 4 2004 On reflective subcategories of varieties. Zbl 1056.08003Adámek, Jiří; Sousa, Lurdes 2 2004 Proceedings of the 7th workshop on coalgebraic methods in computer science (CMCS), Barcelona, Spain, March 27–29, 2004. Zbl 1271.68014 1 2004 From iterative algebras to iterative theories (extended abstract). Zbl 1271.68153Adámek, Jiří; Milius, Stefan 1 2004 Toward a characterization of algebraic exactness. Zbl 1044.18002Adámek, J.; Rosický, J. 1 2004 A categorical characterization of varieties. Zbl 1086.08005Adámek, J. 1 2004 Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří 43 2003 On varieties and covarieties in a category. Zbl 1041.18007Adámek, Jiří; Porst, Hans-E. 16 2003 Free iterative theories: A coalgebraic view. Zbl 1030.18004Adámek, Jiří; Milius, Stefan; Velebil, Jiří 14 2003 On final coalgebras of continuous functors. Zbl 1028.68078Adámek, Jiří 14 2003 On the duality between varieties and algebraic theories. Zbl 1090.18004Adámek, J.; Lawvere, F. W.; Rosický, J. 9 2003 Continuous categories revisited. Zbl 1018.18003Adámek, J.; Lawvere, F. W.; Rosický, J. 8 2003 Some remarks on finitary and iterative monads. Zbl 1035.18002Adámek, Jiří; Milius, Stefan; Velebil, Jiří 5 2003 On rational monads and free iterative theories. Zbl 1270.18010Adámek, Jiří; Milius, Stefan; Velebil, Jiří 4 2003 On a description of terminal coalgebras and iterative theories. Zbl 1270.18009Adámek, Jiří 2 2003 How accessible are categories of algebras? Zbl 1023.18001Adámek, Jiří; Sousa, Lurdes 1 2003 Weak factorization systems and topological functors. Zbl 0997.18002Adámek, Jiří; Herrlich, Horst; Rosický, Jiří; Tholen, Walter 30 2002 On a generalized small-object argument for the injective subcategory problem. Zbl 1002.18002Adámek, J.; Herrlich, H.; Rosický, J.; Tholen, W. 23 2002 A classification of accessible categories. Zbl 1010.18005Adámek, Jiří; Borceux, Francis; Lack, Stephen; Rosický, Jiří 22 2002 Injective hulls are not natural. Zbl 1061.18010Adámek, Jiří; Herrlich, Horst; Rosický, Jiří; Tholen, Walter 13 2002 Final coalgebras are ideal completions of initial algebras. Zbl 1003.18009Adámek, Jiří 9 2002 More on injectivity in locally presentable categories. Zbl 0993.18006Rosicky, J.; Adamek, J.; Borceux, F. 7 2002 Final coalgebras and a solution theorem for arbitrary endofunctors. Zbl 1270.68183Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2002 ...and 103 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,292 Authors 114 Adámek, Jiří 75 Rosický, Jiří 53 Milius, Stefan 31 Solovyov, Sergey A. 29 Tholen, Walter 29 Velebil, Jiří 23 Zhang, Dexue 21 Sousa, Lurdes 19 Schröder, Lutz 18 Hofmann, Dirk 18 Trnková, Věra 17 Kurz, Alexander 17 Lowen, Robert 16 Koubek, Vaclav 16 Porst, Hans-Eberhard 16 Zhao, Bin 15 Clementino, Maria Manuel 15 Colebunders, Eva 15 Lack, Stephen 15 Lieberman, Michael Joseph 15 Sioen, Mark 14 Pang, Bin 14 Šlapal, Josef 13 Herrlich, Horst 13 Shi, Fu-Gui 12 Holgate, David B. 12 Rot, Jurriaan 12 Silva, Alexandra 12 Urbat, Henning 11 Castellini, Gabriele 11 Fang, Jinming 11 Han, Shengwei 11 Mašulović, Dragan 11 Šťovíček, Jan 11 Wißmann, Thorsten 10 Brown, Lawrence Michael 10 Chirvăsitu, Alexandru 9 Bourke, John 9 Dimov, Georgi D. 9 Erné, Marcel 9 Frith, John L. 9 Garner, Richard 9 Höhle, Ulrich 9 Paseka, Jan 9 Positselski, Leonid Efimovich 9 Reiterman, Jan 9 Schauerte, Anneliese 9 Uustalu, Tarmo 9 Vasey, Sebastien 9 Zhang, Xia 8 Bayoumi, Fatma 8 Bezhanishvili, Guram 8 Cagliari, Francesca 8 Demirci, Mustafa 8 Di Liberti, Ivan 8 Estrada, Sergio 8 Hébert, Michel 8 Hosseini, Seyed Naser 8 Hušek, Miroslav 8 Jacobs, Bart 8 Li, Shenggang 8 Mahmoudi, Mojgan 8 Mantovani, Sandra 8 Mossakowski, Till 8 Sammartino, Matteo 8 Yao, Wei 7 Bonsangue, Marcello Maria 7 Casacuberta, Carles 7 Dikranjan, Dikran N. 7 Jacqmin, Pierre-Alain 7 Mirhosseinkhani, Ghasem 7 Montanari, Ugo G. 7 Prest, Mike 7 Pultr, Aleš 7 Sichler, Jiří Jan 7 Strecker, George E. 7 Wang, Kaiyun 7 Xia, Changchun 7 Yildiz, Filiz 7 Yue, Yueli 6 Alderton, Ian W. 6 Banerjee, Abhishek 6 Cortés-Izurdiaga, Manuel 6 Dagnino, Francesco 6 Dost, Şenol 6 Ebrahimi, Mohammad Mehdi 6 Ésik, Zoltán 6 Gerlo, A. 6 Ghani, Neil 6 Giuli, Eraldo 6 Goncharov, Sergeĭ Savost’yanovich 6 Jäger, Gunther 6 Laan, Valdis 6 Lai, Hongliang 6 Levy, Paul Blain 6 Mesablishvili, Bachuki 6 Morandi, Patrick J. 6 Moraschini, Tommaso 6 Moss, Lawrence S. 6 Mynard, Frédéric ...and 1,192 more Authors all top 5 Cited in 209 Serials 156 Fuzzy Sets and Systems 146 Applied Categorical Structures 138 Journal of Pure and Applied Algebra 109 Topology and its Applications 75 Theoretical Computer Science 48 Advances in Mathematics 46 Algebra Universalis 46 Cahiers de Topologie et Géométrie Différentielle Catégoriques 44 Theory and Applications of Categories 34 Logical Methods in Computer Science 33 Journal of Algebra 28 MSCS. Mathematical Structures in Computer Science 24 Quaestiones Mathematicae 21 Information and Computation 18 Annals of Pure and Applied Logic 16 Soft Computing 14 Journal of Computer and System Sciences 14 The Journal of Symbolic Logic 14 Acta Mathematica Hungarica 14 Journal of Logical and Algebraic Methods in Programming 13 Communications in Algebra 13 Cahiers de Topologie et Géométrie Différentielle Catégoriques 12 Categories and General Algebraic Structures with Applications 11 Transactions of the American Mathematical Society 10 International Journal of Theoretical Physics 10 Semigroup Forum 10 Studia Logica 10 Order 10 Journal of Algebra and its Applications 9 Czechoslovak Mathematical Journal 9 Proceedings of the American Mathematical Society 9 Algebraic & Geometric Topology 9 Iranian Journal of Fuzzy Systems 8 Israel Journal of Mathematics 8 Algebras and Representation Theory 7 Mathematische Zeitschrift 6 Commentationes Mathematicae Universitatis Carolinae 6 Information Sciences 6 RAIRO. Theoretical Informatics and Applications 6 Hacettepe Journal of Mathematics and Statistics 6 Journal of Homotopy and Related Structures 5 Periodica Mathematica Hungarica 5 International Journal of Mathematics and Mathematical Sciences 5 Journal of Mathematical Sciences (New York) 5 Journal of Functional Programming 5 Communications de la Faculté des Sciences de l’Université d’Ankara. Séries A1. Mathematics and Statistics 5 The Journal of Logic and Algebraic Programming 5 Logica Universalis 5 Open Mathematics 4 Acta Informatica 4 Journal of Mathematical Analysis and Applications 4 Rocky Mountain Journal of Mathematics 4 Demonstratio Mathematica 4 Kybernetika 4 Mathematica Slovaca 4 European Journal of Combinatorics 4 International Journal of Approximate Reasoning 4 Archive for Mathematical Logic 4 Communications in Contemporary Mathematics 3 Discrete Mathematics 3 Mathematical Proceedings of the Cambridge Philosophical Society 3 Journal of Geometry and Physics 3 Archiv der Mathematik 3 Bulletin of the London Mathematical Society 3 Journal of the London Mathematical Society. Second Series 3 Mathematische Nachrichten 3 Memoirs of the American Mathematical Society 3 Indagationes Mathematicae. New Series 3 Topology Proceedings 3 Filomat 3 Journal of Mathematical Logic 3 Journal of Noncommutative Geometry 3 Applied General Topology 3 Formalized Mathematics 3 Journal of Linear and Topological Algebra 3 Higher Structures 2 Bulletin of the Australian Mathematical Society 2 Computers & Mathematics with Applications 2 Journal of Mathematical Physics 2 Annali di Matematica Pura ed Applicata. Serie Quarta 2 Applied Mathematics and Computation 2 Inventiones Mathematicae 2 Manuscripta Mathematica 2 Rendiconti del Seminario Matematico della Università di Padova 2 Results in Mathematics 2 Synthese 2 Chinese Annals of Mathematics. Series B 2 Journal of Symbolic Computation 2 Discrete & Computational Geometry 2 \(K\)-Theory 2 Journal of Automated Reasoning 2 Journal of the American Mathematical Society 2 Publicacions Matemàtiques 2 Forum Mathematicum 2 International Journal of Mathematics 2 Aequationes Mathematicae 2 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 2 Journal of Algebraic Combinatorics 2 St. Petersburg Mathematical Journal 2 Journal of the Egyptian Mathematical Society ...and 109 more Serials all top 5 Cited in 42 Fields 1,132 Category theory; homological algebra (18-XX) 458 General topology (54-XX) 375 Computer science (68-XX) 337 Mathematical logic and foundations (03-XX) 296 Order, lattices, ordered algebraic structures (06-XX) 166 General algebraic systems (08-XX) 131 Algebraic topology (55-XX) 123 Associative rings and algebras (16-XX) 69 Group theory and generalizations (20-XX) 57 Functional analysis (46-XX) 35 Combinatorics (05-XX) 31 Commutative algebra (13-XX) 30 Algebraic geometry (14-XX) 27 Quantum theory (81-XX) 19 Topological groups, Lie groups (22-XX) 14 \(K\)-theory (19-XX) 14 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 13 Nonassociative rings and algebras (17-XX) 11 Convex and discrete geometry (52-XX) 10 Probability theory and stochastic processes (60-XX) 9 General and overarching topics; collections (00-XX) 9 Global analysis, analysis on manifolds (58-XX) 8 Measure and integration (28-XX) 6 History and biography (01-XX) 6 Number theory (11-XX) 6 Dynamical systems and ergodic theory (37-XX) 5 Differential geometry (53-XX) 5 Manifolds and cell complexes (57-XX) 4 Biology and other natural sciences (92-XX) 4 Information and communication theory, circuits (94-XX) 3 Several complex variables and analytic spaces (32-XX) 3 Geometry (51-XX) 3 Operations research, mathematical programming (90-XX) 2 Field theory and polynomials (12-XX) 2 Real functions (26-XX) 2 Operator theory (47-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Functions of a complex variable (30-XX) 1 Abstract harmonic analysis (43-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Mathematics education (97-XX) Citations by Year