Edit Profile Adámek, Jiří Compute Distance To: Compute Author ID: adamek.jiri Published as: Adamek, J.; Adamek, Jiri; Adamek, Jiří; Adámek, J; Adámek, J.; Adámek, Jiri; Adámek, Jirí; Adámek, Jiři; Adámek, Jiří; Adámek, Jǐri Documents Indexed: 256 Publications since 1970, including 14 Books Reviewing Activity: 62 Reviews Biographic References: 1 Publication all top 5 Co-Authors 46 single-authored 58 Milius, Stefan 42 Rosický, Jiří 31 Velebil, Jiří 24 Koubek, Vaclav 21 Sousa, Lurdes 18 Trnková, Věra 17 Reiterman, Jan 13 Herrlich, Horst 12 Urbat, Henning 10 Nelson, Evelyn M. 9 Strecker, George E. 8 Hébert, Michel 7 Moss, Lawrence S. 7 Reiterman, Jiri 7 Tholen, Walter 6 Myers, Robert S. R. 4 Porst, Hans-Eberhard 4 Sobral, Manuela 4 Vitale, Enrico Maria 3 Borceux, Francis 3 Lawvere, Francis William 2 Aczel, Peter 2 Chen, Liang-Ting 2 Haddadi, Mahdieh 2 Johnstone, Peter T. 2 Jung, Achim 2 Koslowski, Jürgen 2 Kupke, Clemens 2 Levy, Paul Blain 2 Velebil, Jiříı 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 Ehrig, Hartmut 1 El Bashir, Robert 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 Pedicchio, Mario Cristina 1 Pohlova, Vera 1 Pollara, Victor J. 1 Positselski, Leonid Efimovich 1 Rosebrugh, Robert D. 1 Rosolini, Giuseppe 1 Schwarz, Friedrich 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 15 Algebra Universalis 15 Journal of Pure and Applied Algebra 14 Theoretical Computer Science 12 Applied Categorical Structures 10 MSCS. Mathematical Structures in Computer Science 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 5 Logical Methods in Computer Science 4 Bulletin of the Australian Mathematical Society 4 Czechoslovak Mathematical Journal 4 Journal of Computer and System Sciences 3 Transactions of the American Mathematical Society 3 Journal of Logic and Computation 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 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 ACM Transactions on Computational Logic 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 211 Category theory; homological algebra (18-XX) 77 Computer science (68-XX) 54 General algebraic systems (08-XX) 32 Mathematical logic and foundations (03-XX) 24 General topology (54-XX) 16 Order, lattices, ordered algebraic structures (06-XX) 8 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 Algebraic topology (55-XX) 1 Associative rings and algebras (16-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 189 Publications have been cited 2,168 times in 1,368 Documents Cited by ▼ Year ▼ Abstract and concrete categories. The joy of cats. Zbl 0695.18001Adámek, Jiří; Herrlich, Horst; Strecker, George E. 626 1990 Locally presentable and accessible categories. Zbl 0795.18007Adámek, Jiří; Rosický, Jiří 353 1994 Abstract and concrete categories: the joy of cats. Zbl 1113.18001Adámek, Jiří; Herrlich, Horst; Strecker, George E. 59 2006 Free algebras and automata realizations in the language of categories. Zbl 0293.18006Adamek, Jiri 57 1974 Automata and algebras in categories. Zbl 0698.18001Adámek, Jiří; Trnková, Věra 51 1990 Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří 40 2003 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. 39 2011 Weak factorization systems and topological functors. Zbl 0997.18002Adámek, Jiří; Herrlich, Horst; Rosický, Jiří; Tholen, Walter 28 2002 Iterative algebras at work. Zbl 1112.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 26 2006 On the greatest fixed point of a set functor. Zbl 0874.18001Adámek, Jiří; Koubek, Václav 25 1995 Introduction to coalgebra. Zbl 1080.18005Adámek, Jiří 22 2005 On a generalized small-object argument for the injective subcategory problem. Zbl 1002.18002Adámek, J.; Herrlich, H.; Rosický, J.; Tholen, W. 22 2002 On tree coalgebras and coalgebra presentations. Zbl 1086.68088Adámek, J.; Porst, H.-E. 20 2004 A coalgebraic view of infinite trees and iteration. Zbl 1260.68235Aczel, Peter; Adámek, Jiří; Velebil, Jiří 18 2001 On sifted colimits and generalized varieties. Zbl 0971.18004Adámek, Jiří; Rosický, Jiří 18 2001 Colimits of algebras revisited. Zbl 0365.18007Adamek, Jiri 18 1977 Free iterative theories: A coalgebraic view. Zbl 1030.18004Adámek, Jiří; Milius, Stefan; Velebil, Jiří 15 2003 On varieties and covarieties in a category. Zbl 1041.18007Adámek, Jiří; Porst, Hans-E. 15 2003 A classification of accessible categories. Zbl 1010.18005Adámek, Jiří; Borceux, Francis; Lack, Stephen; Rosický, Jiří 15 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 14 2012 On final coalgebras of continuous functors. Zbl 1028.68078Adámek, Jiří 14 2003 From varieties of algebras to covarieties of coalgebras. Zbl 1260.08004Adámek, Jiří; Porst, Hans-E. 14 2001 On injectivity in locally presentable categories. Zbl 0789.18003Adámek, Jiří; Rosický, Jiří 14 1993 Elgot algebras. Zbl 1127.68058Adámek, Jiří; Milius, Stefan; Velebil, Jiří 13 2006 Terminal coalgebras and free iterative theories. Zbl 1104.68068Adámek, Jiří; Milius, Stefan 13 2006 On pure quotients and pure subobjects. Zbl 1080.18500Adámek, J.; Rosický, J. 13 2004 More on injectivity in locally presentable categories. Zbl 0993.18006Rosicky, J.; Adamek, J.; Borceux, F. 13 2002 Free algebras, input processes and free monads. Zbl 0308.18001Trnková, Věra; Adamek, J.; Koubek, V.; Reiterman, Jan 13 1975 Theory of mathematical structures. Zbl 0523.18001Adamek, Jiri 12 1983 Least fixed point of a functor. Zbl 0423.18007Adamek, Jiri; Koubek, Vaclav 11 1979 Equational properties of iterative monads. Zbl 1234.68271Adámek, Jiří; Milius, Stefan; Velebil, Jiří 10 2010 Unexpected properties of locally presentable categories. Zbl 0701.18003Rosický, Jiří; Trnková, V.; Adámek, Jiří 10 1990 Tree constructions of free continuous algebras. Zbl 0477.06001Adamek, Jiri; Nelson, Evelyn; Reiterman, Jan 10 1981 On the duality between varieties and algebraic theories. Zbl 1090.18004Adámek, J.; Lawvere, F. W.; Rosický, J. 9 2003 Monadic decompositions. Zbl 0675.18001Adámek, Jiří; Herrlich, Horst; Tholen, Walter 9 1989 Cartesian closed hull of the category of uniform spaces. Zbl 0586.54032Adámek, Jiří; Reiterman, Jan 9 1985 Kan injectivity in order-enriched categories. Zbl 1362.18012Adámek, Jiří; Sousa, Lurdes; Velebil, Jiří 8 2015 Generalized Eilenberg theorem. I: Local varieties of languages. Zbl 1407.68314Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning 8 2014 Elgot theories: a new perspective on the equational properties of iteration. Zbl 1222.18002Adámek, Jiří; Milius, Stefan; Velebil, Jiří 8 2011 Continuous categories revisited. Zbl 1018.18003Adámek, J.; Lawvere, F. W.; Rosický, J. 8 2003 Injective hulls are not natural. Zbl 1061.18010Adámek, Jiří; Herrlich, Horst; Rosický, Jiří; Tholen, Walter 8 2002 Final coalgebras are ideal completions of initial algebras. Zbl 1003.18009Adámek, Jiří 8 2002 How algebraic is algebra? Zbl 0978.18006Adámek, Jiří; Lawvere, F. W.; Rosický, Jiří 8 2001 Algebraic theories of quasivarieties. Zbl 0913.18004Adámek, Jiří; Porst, Hans-E. 8 1998 The Birkhoff variety theorem for continuous algebras. Zbl 0594.08005Adámek, Jiři; Nelson, Evelyn; Reiterman, Jan 8 1985 Cartesian closed initial completions. Zbl 0423.18010Adamek, Jiri; Koubek, Vaclav 8 1980 Least and largest initial completions. I. Zbl 0404.18005Adamek, J.; Herrlich, Horst; Strecker, George E. 8 1979 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 Realization of Cartesian closed topological hulls. Zbl 0573.54006Adámek, J.; Reiterman, J.; Strecker, George E. 7 1985 Profinite monads, profinite equations, and Reiterman’s theorem. Zbl 06591840Chen, Liang-Ting; Adámek, Jiří; Milius, Stefan; Urbat, Henning 6 2016 Coalgebraic constructions of canonical nondeterministic automata. Zbl 1380.68290Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning 6 2015 Well-pointed coalgebras. Zbl 1272.18002Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 6 2013 Initial algebras and terminal coalgebras in many-sorted sets. Zbl 1214.68227Adámek, Jiří; Trnková, Věra 6 2011 Iterative reflections of monads. Zbl 1239.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 6 2010 The orthogonal subcategory problem and the small object argument. Zbl 1194.18003Adámek, Jiří; Hébert, Michel; Sousa, Lurdes 6 2009 Analytic functors and weak pullbacks. Zbl 1163.18002Adámek, J; Velebil, J. 6 2008 Recursive coalgebras of finitary functors. Zbl 1147.18001Adámek, Jiří; Lücke, Dominik; Milius, Stefan 6 2007 The quasitopos hull of the category of uniform spaces. Zbl 0653.18007Adámek, Jiří; Reiterman, Jan 6 1987 Cartesian closed categories, quasitopoi and topological universes. Zbl 0601.18003Adámek, Jiří; Herrlich, Horst 6 1986 Completions of concrete categories. Zbl 0464.18003Adamek, Jiri; Koubek, Vaclav 6 1981 The structure of initial completions. Zbl 0436.18001Adamek, J.; Herrlich, Horst; Strecker, George E. 6 1979 What are sifted colimits? Zbl 1225.18002Adamek, J.; Rosicky, J.; Vitale, E. M. 5 2010 Presentation of set functors: a coalgebraic perspective. Zbl 1207.18002Adámek, J.; Gumm, H. P.; Trnková, V. 5 2010 On coalgebra based on classes. Zbl 1047.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 5 2004 Some remarks on finitary and iterative monads. Zbl 1035.18002Adámek, Jiří; Milius, Stefan; Velebil, Jiří 5 2003 On algebraically exact categories and essential localizations of varieties. Zbl 1004.18006Adámek, J.; Rosický, J.; Vitale, E. M. 5 2001 On pure morphisms in accessible categories. Zbl 0852.18002Adámek, Jiří; Hu, H.; Tholen, Walter 5 1996 Intersections of reflective subcategories. Zbl 0675.18002Adámek, Jiří; Rosický, Jiří 5 1988 Classification of concrete categories. Zbl 0615.18004Adámek, Jiři 5 1986 Arbitrarily large continuous algebras on one generator. Zbl 0578.08005Adámek, Jiří; Koubek, Václav; Nelson, Evelyn; Reiterman, Jan 5 1985 Least and largest initial completions. II. Zbl 0404.18006Adamek, J.; Herrlich, Horst; Strecker, George E. 5 1979 Realization theory for automata in categories. Zbl 0371.18004Adámek, Jiří 5 1977 Remarks on flows in network with short paths. Zbl 0223.05108Adámek, Jiří; Koubek, Vaćlav 5 1971 Varieties of languages in a category. Zbl 1401.68212Adámek, Jiří; Myers, Robert S. R.; Urbat, Henning; Milius, Stefan 4 2015 Syntactic monoids in a category. Zbl 1366.68188Adamek, Jiří; Milius, Stefan; Urbat, Henning 4 2015 On finitary functors and their presentations. Zbl 1328.18004Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 4 2012 Semantics of higher-order recursion schemes. Zbl 1218.03013Adámek, Jiří; Milius, Stefan; Velebil, Jiří 4 2011 Semantics of higher-order recursion schemes. Zbl 1239.68041Adámek, Jiří; Milius, Stefan; Velebil, Jiří 4 2009 What are iteration theories? Zbl 1147.18301Adámek, Jiří; Milius, Stefan; Velebil, Jiří 4 2007 A logic of orthogonality. Zbl 1156.18301Adámek, J.; Hébert, M.; Sousa, L. 4 2006 On rational monads and free iterative theories. Zbl 1270.18010Adámek, Jiří; Milius, Stefan; Velebil, Jiří 4 2003 A duality between infinitary varieties and algebraic theories. Zbl 1035.08004Adámek, Jiří; Koubek, Václav; Velebil, J. 4 2000 A categorical generalization of Scott domains. Zbl 0884.18006Adámek, Jiří 4 1997 On preaccessible categories. Zbl 0852.18003Adámek, Jiří; Rosický, Jiří 4 1995 Finitary sketches and finitely accessible categories. Zbl 0838.18001Adámek, Jiří; Rosický, Jiří 4 1995 Banach’s fixed-point theorem as a base for data-type equations. Zbl 0802.18007Adámek, J.; Reiterman, J. 4 1994 How many variables does a quasivariety need? Zbl 0692.08013Adámek, Jiří 4 1990 Reflections in locally presentable categories. Zbl 0742.18002Adámek, Jiří; Rosický, Jiří 4 1989 Continuous semilattices. Zbl 0601.06003Adámek, J.; Reiterman, J.; Nelson, E. 4 1986 Construction of free continuous algebras. Zbl 0488.06005Adamek, Jiri 4 1982 Construction of Cartesian closed topological hulls. Zbl 0457.18006Adamek, Jiri; Strecker, George E. 4 1981 Are colimits of algebras simple to construct? Zbl 0446.18003Adamek, Jiri; Koubek, Vaclav 4 1980 Functorial algebras and automata. Zbl 0377.94065Adamek, Jiri; Koubek, Vaclav 4 1977 Sums of Boolean spaces represent every group. Zbl 0338.20062Adamek, J.; Koubek, V.; Trnková, Věra 4 1975 Coequalizers in the generalized algebraic categories. Zbl 0243.18003Adamek, Jiri; Koubek, Vaclav 4 1972 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 3 2015 On second-order iterative monads. Zbl 1243.68206Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2011 Elgot theories: a new perspective of iteration theories (extended abstract). Zbl 1338.18017Adá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 On finitary functors. Zbl 07130286Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten 2 2019 Colimit-dense subcategories. Zbl 07177882Adámek, Jiří; Brooke-Taylor, Andrew D.; Campion, Tim; Positselski, Leonid; Rosický, Jiří 1 2019 Finitely presentable algebras for finitary monads. Zbl 07130288Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten 1 2019 On algebras with effectful iteration. Zbl 06962936Milius, Stefan; Adámek, Jiří; Urbat, Henning 1 2018 A formula for codensity monads and density comonads. Zbl 1428.18003Adámek, Jiří; Sousa, Lurdes 1 2018 Eilenberg theorems for free. Zbl 1441.68139Urbat, Henning; Adámek, Jiří; Chen, Liang-Ting; Milius, Stefan 1 2017 On corecursive algebras for functors preserving coproducts. Zbl 1436.18002Adámek, Jiří; Milius, Stefan 1 2017 KZ-monadic categories and their logic. Zbl 1397.18012Adámek, Jiří; Sousa, Lurdes 1 2017 Profinite monads, profinite equations, and Reiterman’s theorem. Zbl 06591840Chen, Liang-Ting; Adámek, Jiří; Milius, Stefan; Urbat, Henning 6 2016 Fixed points of set functors: how many iterations are needed? Zbl 1375.18013Adámek, J.; Koubek, V.; Palm, T. 1 2016 Kan injectivity in order-enriched categories. Zbl 1362.18012Adámek, Jiří; Sousa, Lurdes; Velebil, Jiří 8 2015 Coalgebraic constructions of canonical nondeterministic automata. Zbl 1380.68290Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning 6 2015 Varieties of languages in a category. Zbl 1401.68212Adámek, Jiří; Myers, Robert S. R.; Urbat, Henning; Milius, Stefan 4 2015 Syntactic monoids in a category. Zbl 1366.68188Adamek, Jiří; Milius, Stefan; Urbat, Henning 4 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 3 2015 On finitary functors and their presentations. Zbl 1328.18005Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Urbat, Henning 2 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 8 2014 Canonical nondeterministic automata. Zbl 1331.68138Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning 2 2014 Corecursive algebras, corecursive monads and Bloom monads. Zbl 1341.68121Adámek, Jiří; Haddadi, Mahdie; Milius, Stefan 2 2014 On continuous nondeterminism and state minimality. Zbl 1337.68171Adámek, Jiří; Myers, Robert S. R.; Urbat, Henning 1 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 6 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 14 2012 On finitary functors and their presentations. Zbl 1328.18004Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. 4 2012 Coproducts of monads on Set. Zbl 1364.18001Adámek, Jiří; Milius, Stefan; Bowler, Nathan; Levy, Paul B. 2 2012 Birkhoff’s variety theorem in many sorts. Zbl 1257.08003Adámek, Jiří; Rosický, Jiří; Vitale, Enrico M. 2 2012 Relatively terminal coalgebras. Zbl 1266.18002Adámek, Jiří; Trnková, Věra 2 2012 Well-pointed coalgebras (extended abstract). Zbl 1352.68168Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes 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. 39 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 6 2011 Semantics of higher-order recursion schemes. Zbl 1218.03013Adámek, Jiří; Milius, Stefan; Velebil, Jiří 4 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 Equational properties of iterative monads. Zbl 1234.68271Adámek, Jiří; Milius, Stefan; Velebil, Jiří 10 2010 Iterative reflections of monads. Zbl 1239.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 6 2010 What are sifted colimits? Zbl 1225.18002Adamek, J.; Rosicky, J.; Vitale, E. M. 5 2010 Presentation of set functors: a coalgebraic perspective. Zbl 1207.18002Adámek, J.; Gumm, H. P.; Trnková, V. 5 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 6 2009 Semantics of higher-order recursion schemes. Zbl 1239.68041Adámek, Jiří; Milius, Stefan; Velebil, Jiří 4 2009 Elgot theories: a new perspective of iteration theories (extended abstract). Zbl 1338.18017Adá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 Abstract and concrete categories: the joy of cats. Zbl 1113.18001Adámek, Jiří; Herrlich, Horst; Strecker, George E. 59 2006 Iterative algebras at work. Zbl 1112.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 26 2006 Elgot algebras. Zbl 1127.68058Adámek, Jiří; Milius, Stefan; Velebil, Jiří 13 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 Pure morphisms in pro-categories. Zbl 1099.18002Adámek, Jiří; Rosický, Jiří 2 2006 Morita equivalence of many-sorted algebraic theories. Zbl 1094.18003Adámek, Jiří; Sobral, Manuela; Sousa, Lurdes 2 2006 Introduction to coalgebra. Zbl 1080.18005Adámek, Jiří 22 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 Birkhoff’s covariety theorem without limitations. Zbl 1121.18003Adámek, Jiří 2 2005 Algebra \(\cap\) coalgebra \(=\) presheaves. Zbl 1151.18004Adámek, J. 1 2005 A general final coalgebra theorem. Zbl 1080.18004Adámek, Jiří; Milius, Stefan; Velebil, Jiří 1 2005 On tree coalgebras and coalgebra presentations. Zbl 1086.68088Adámek, J.; Porst, H.-E. 20 2004 On pure quotients and pure subobjects. Zbl 1080.18500Adámek, J.; Rosický, J. 13 2004 On coalgebra based on classes. Zbl 1047.18005Adámek, Jiří; Milius, Stefan; Velebil, Jiří 5 2004 From iterative algebras to iterative theories (extended abstract). Zbl 1271.68153Adámek, Jiří; Milius, Stefan 2 2004 On quasivarieties and varieties as categories. Zbl 1072.08001Adámek, Jiří 2 2004 On reflective subcategories of varieties. Zbl 1056.08003Adámek, Jiří; Sousa, Lurdes 2 2004 A categorical characterization of varieties. Zbl 1086.08005Adámek, J. 1 2004 Toward a characterization of algebraic exactness. Zbl 1044.18002Adámek, J.; Rosický, J. 1 2004 Infinite trees and completely iterative theories: A coalgebraic view. Zbl 1028.68077Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří 40 2003 Free iterative theories: A coalgebraic view. Zbl 1030.18004Adámek, Jiří; Milius, Stefan; Velebil, Jiří 15 2003 On varieties and covarieties in a category. Zbl 1041.18007Adámek, Jiří; Porst, Hans-E. 15 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 28 2002 On a generalized small-object argument for the injective subcategory problem. Zbl 1002.18002Adámek, J.; Herrlich, H.; Rosický, J.; Tholen, W. 22 2002 A classification of accessible categories. Zbl 1010.18005Adámek, Jiří; Borceux, Francis; Lack, Stephen; Rosický, Jiří 15 2002 More on injectivity in locally presentable categories. Zbl 0993.18006Rosicky, J.; Adamek, J.; Borceux, F. 13 2002 Injective hulls are not natural. Zbl 1061.18010Adámek, Jiří; Herrlich, Horst; Rosický, Jiří; Tholen, Walter 8 2002 Final coalgebras are ideal completions of initial algebras. Zbl 1003.18009Adámek, Jiří 8 2002 Final coalgebras and a solution theorem for arbitrary endofunctors. Zbl 1270.68183Adámek, Jiří; Milius, Stefan; Velebil, Jiří 3 2002 On abstract data types presented by multiequations. Zbl 1026.68031Adámek, J.; Hébert, M.; Rosický, J. 2 2002 A coalgebraic view of infinite trees and iteration. Zbl 1260.68235Aczel, Peter; Adámek, Jiří; Velebil, Jiří 18 2001 On sifted colimits and generalized varieties. Zbl 0971.18004Adámek, Jiří; Rosický, Jiří 18 2001 From varieties of algebras to covarieties of coalgebras. Zbl 1260.08004Adámek, Jiří; Porst, Hans-E. 14 2001 How algebraic is algebra? Zbl 0978.18006Adámek, Jiří; Lawvere, F. W.; Rosický, Jiří 8 2001 On algebraically exact categories and essential localizations of varieties. Zbl 1004.18006Adámek, J.; Rosický, J.; Vitale, E. M. 5 2001 On functors which are lax epimorphisms. Zbl 1003.18001Adámek, Jiří; El Bashir, Robert; Sobral, Manuela; Jiří, Velebil 3 2001 On multivarieties and multialgebraic categories. Zbl 0986.18007Adámek, Jiří; Rosický, Jiří 1 2001 How large are left exact functors? Zbl 0984.18001Adámek, J.; Trenková, V. 1 2001 More on orthogonality in locally presentable categories. Zbl 0981.18007Hebert, M.; Adamek, J.; Rosický, J. 1 2001 ...and 89 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,081 Authors 106 Adámek, Jiří 63 Rosický, Jiří 42 Milius, Stefan 30 Solovyov, Sergey A. 28 Velebil, Jiří 27 Tholen, Walter 23 Zhang, Dexue 20 Sousa, Lurdes 18 Trnková, Věra 17 Hofmann, Dirk 17 Kurz, Alexander 17 Lowen, Robert 16 Koubek, Vaclav 15 Porst, Hans-Eberhard 14 Colebunders, Eva 14 Schröder, Lutz 13 Herrlich, Horst 13 Zhao, Bin 12 Clementino, Maria Manuel 12 Shi, Fu-Gui 12 Sioen, Mark 11 Castellini, Gabriele 11 Fang, Jinming 11 Lieberman, Michael Joseph 11 Reiterman, Jan 10 Brown, Lawrence Michael 10 Pang, Bin 10 Šlapal, Josef 9 Höhle, Ulrich 9 Jäger, Gunther 9 Lack, Stephen 9 Silva, Alexandra 9 Uustalu, Tarmo 8 Bayoumi, Fatma 8 Cagliari, Francesca 8 Estrada, Sergio 8 Garner, Richard 8 Hébert, Michel 8 Holgate, David B. 8 Hušek, Miroslav 8 Li, Shenggang 8 Mantovani, Sandra 8 Mossakowski, Till 8 Šťovíček, Jan 8 Yao, Wei 7 Demirci, Mustafa 7 Dimov, Georgi D. 7 Han, Shengwei 7 Jacobs, Bart 7 Mašulović, Dragan 7 Power, John 7 Prest, Mike 7 Rodabaugh, Stephen Ernest 7 Rot, Jurriaan 7 Sichler, Jiří Jan 7 Strecker, George E. 7 Urbat, Henning 7 Vitale, Enrico Maria 7 Wißmann, Thorsten 7 Yildiz, Filiz 7 Yue, Yueli 6 Alderton, Ian W. 6 Banerjee, Abhishek 6 Bourke, John 6 Casacuberta, Carles 6 Dikranjan, Dikran N. 6 Dost, Şenol 6 Erné, Marcel 6 Ésik, Zoltán 6 Gerlo, A. 6 Ghani, Neil 6 Giuli, Eraldo 6 Hosseini, Seyed Naser 6 Klin, Bartek 6 Mahmoudi, Mojgan 6 Montanari, Ugo G. 6 Moss, Lawrence S. 6 Paseka, Jan 6 Pattinson, Dirk 6 Vasey, Sebastien 5 Ahsanullah, T. M. G. 5 Beke, Tibor 5 Bonchi, Filippo 5 Bonsangue, Marcello Maria 5 Chirvăsitu, Alexandru 5 Chorny, Boris 5 Diker, Murat 5 Ebrahimi, Mohammad Mehdi 5 Frič, Roman 5 Frith, John L. 5 Goncharov, Sergeĭ Savost’yanovich 5 Gutiérrez García, Javier 5 Hasuo, Ichiro 5 Hyland, J. Martin E. 5 Kozen, Dexter C. 5 Lai, Hongliang 5 Levy, Paul Blain 5 Li, Lingqiang 5 Makkai, Michael 5 Morsi, Nehad Nashaat ...and 981 more Authors all top 5 Cited in 163 Serials 161 Fuzzy Sets and Systems 125 Applied Categorical Structures 111 Journal of Pure and Applied Algebra 104 Topology and its Applications 76 Theoretical Computer Science 46 Cahiers de Topologie et Géométrie Différentielle Catégoriques 42 Advances in Mathematics 35 Algebra Universalis 27 Journal of Algebra 23 Theory and Applications of Categories 21 Information and Computation 19 MSCS. Mathematical Structures in Computer Science 18 Logical Methods in Computer Science 17 Annals of Pure and Applied Logic 16 Quaestiones Mathematicae 14 Acta Mathematica Hungarica 13 Journal of Computer and System Sciences 13 Cahiers de Topologie et Géométrie Différentielle Catégoriques 11 Communications in Algebra 11 Soft Computing 11 Journal of Logical and Algebraic Methods in Programming 10 The Journal of Symbolic Logic 9 Algebraic & Geometric Topology 8 International Journal of Theoretical Physics 8 Czechoslovak Mathematical Journal 8 Proceedings of the American Mathematical Society 8 Semigroup Forum 8 Studia Logica 8 Transactions of the American Mathematical Society 8 Order 7 Iranian Journal of Fuzzy Systems 6 Israel Journal of Mathematics 6 Commentationes Mathematicae Universitatis Carolinae 6 Information Sciences 6 RAIRO. Theoretical Informatics and Applications 5 Periodica Mathematica Hungarica 5 International Journal of Mathematics and Mathematical Sciences 5 Mathematische Zeitschrift 5 International Journal of Approximate Reasoning 5 Journal of Mathematical Sciences (New York) 5 Journal of Functional Programming 5 Algebras and Representation Theory 5 The Journal of Logic and Algebraic Programming 5 Journal of Algebra and its Applications 5 Categories and General Algebraic Structures with Applications 4 Journal of Mathematical Analysis and Applications 4 Rocky Mountain Journal of Mathematics 4 Demonstratio Mathematica 4 Kybernetika 4 Logica Universalis 4 Open Mathematics 3 Discrete Mathematics 3 Mathematische Nachrichten 3 Memoirs of the American Mathematical Society 3 Journal of Symbolic Computation 3 Journal of Noncommutative Geometry 3 Applied General Topology 3 Formalized Mathematics 3 Journal of Linear and Topological Algebra 2 Acta Informatica 2 Bulletin of the Australian Mathematical Society 2 Computers & Mathematics with Applications 2 Journal of Mathematical Physics 2 Mathematical Proceedings of the Cambridge Philosophical Society 2 Annali di Matematica Pura ed Applicata. Serie Quarta 2 Applied Mathematics and Computation 2 Archiv der Mathematik 2 Inventiones Mathematicae 2 Manuscripta Mathematica 2 Results in Mathematics 2 European Journal of Combinatorics 2 Chinese Annals of Mathematics. Series B 2 Discrete & Computational Geometry 2 \(K\)-Theory 2 Forum Mathematicum 2 Archive for Mathematical Logic 2 Indagationes Mathematicae. New Series 2 Topology Proceedings 2 Selecta Mathematica. New Series 2 The Bulletin of Symbolic Logic 2 Geometry & Topology 2 Journal of Graph Algorithms and Applications 2 Acta Mathematica Sinica. English Series 2 Communications in Contemporary Mathematics 2 Annales Henri Poincaré 2 Journal of Intelligent and Fuzzy Systems 2 Tbilisi Mathematical Journal 1 Communications in Mathematical Physics 1 Information Processing Letters 1 Journal of Mathematical Biology 1 Letters in Mathematical Physics 1 Journal of Geometry and Physics 1 Algebra and Logic 1 Bulletin of the London Mathematical Society 1 Collectanea Mathematica 1 Compositio Mathematica 1 Glasgow Mathematical Journal 1 Journal of Combinatorial Theory. Series A 1 Journal of Number Theory 1 Journal of Soviet Mathematics ...and 63 more Serials all top 5 Cited in 39 Fields 894 Category theory; homological algebra (18-XX) 396 General topology (54-XX) 283 Computer science (68-XX) 276 Mathematical logic and foundations (03-XX) 225 Order, lattices, ordered algebraic structures (06-XX) 138 General algebraic systems (08-XX) 93 Algebraic topology (55-XX) 85 Associative rings and algebras (16-XX) 45 Group theory and generalizations (20-XX) 37 Functional analysis (46-XX) 24 Combinatorics (05-XX) 24 Algebraic geometry (14-XX) 23 Commutative algebra (13-XX) 17 Quantum theory (81-XX) 14 Topological groups, Lie groups (22-XX) 11 Nonassociative rings and algebras (17-XX) 11 \(K\)-theory (19-XX) 11 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 Convex and discrete geometry (52-XX) 8 General and overarching topics; collections (00-XX) 7 History and biography (01-XX) 7 Measure and integration (28-XX) 7 Probability theory and stochastic processes (60-XX) 5 Information and communication theory, circuits (94-XX) 4 Dynamical systems and ergodic theory (37-XX) 4 Global analysis, analysis on manifolds (58-XX) 4 Biology and other natural sciences (92-XX) 3 Number theory (11-XX) 3 Differential geometry (53-XX) 3 Manifolds and cell complexes (57-XX) 3 Operations research, mathematical programming (90-XX) 2 Real functions (26-XX) 2 Several complex variables and analytic spaces (32-XX) 2 Geometry (51-XX) 1 Field theory and polynomials (12-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Functions of a complex variable (30-XX) 1 Operator theory (47-XX) 1 Numerical analysis (65-XX) Citations by Year