Adámek, Jiří; Rosický, Jiří Varieties of ordered algebras as categories. (English) Zbl 07657581 Algebra Univers. 84, No. 2, Paper No. 9, 28 p. (2023). MSC: 18D20 18C99 06F99 PDFBibTeX XMLCite \textit{J. Adámek} and \textit{J. Rosický}, Algebra Univers. 84, No. 2, Paper No. 9, 28 p. (2023; Zbl 07657581) Full Text: DOI arXiv
Adámek, J.; Dostál, M.; Velebil, J. A categorical view of varieties of ordered algebras. (English) Zbl 1506.18009 Math. Struct. Comput. Sci. 32, No. 4, 349-373 (2022). Reviewer: Michel Hébert (Al-Qāhira) MSC: 18C15 18C05 18D20 08B99 06F99 PDFBibTeX XMLCite \textit{J. Adámek} et al., Math. Struct. Comput. Sci. 32, No. 4, 349--373 (2022; Zbl 1506.18009) Full Text: DOI arXiv
Adámek, Jiří; Ford, Chase; Milius, Stefan; Schröder, Lutz Finitary monads on the category of posets. (English) Zbl 1495.18007 Math. Struct. Comput. Sci. 31, No. 7, 799-821 (2021). MSC: 18C15 PDFBibTeX XMLCite \textit{J. Adámek} et al., Math. Struct. Comput. Sci. 31, No. 7, 799--821 (2021; Zbl 1495.18007) Full Text: DOI arXiv
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. On well-founded and recursive coalgebras. (English) Zbl 1455.18001 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18A15 18C50 68Q65 PDFBibTeX XMLCite \textit{J. Adámek} et al., Lect. Notes Comput. Sci. 12077, 17--36 (2020; Zbl 1455.18001) Full Text: DOI arXiv
Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning Generalized Eilenberg theorem. Varieties of languages in a category. (English) Zbl 1407.68315 ACM Trans. Comput. Log. 20, No. 1, Article No. 3, 47 p. (2019). MSC: 68Q70 18B20 18D10 18D15 20M35 PDFBibTeX XMLCite \textit{J. Adámek} et al., ACM Trans. Comput. Log. 20, No. 1, Article No. 3, 47 p. (2019; Zbl 1407.68315) Full Text: DOI
Milius, Stefan; Adámek, Jiří; Urbat, Henning On algebras with effectful iteration. (English) Zbl 1520.18003 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 144-166 (2018). MSC: 18C20 68Q55 18C50 PDFBibTeX XMLCite \textit{S. Milius} et al., Lect. Notes Comput. Sci. 11202, 144--166 (2018; Zbl 1520.18003) Full Text: DOI HAL
Adámek, Jiří; Milius, Stefan; Velebil, Jiří A presentation of bases for parametrized iterativity. (English) Zbl 1374.18012 Theory Appl. Categ. 32, 682-718 (2017). Reviewer: Fosco Loregian (Mestrino) MSC: 18C20 18C10 18C35 08C05 PDFBibTeX XMLCite \textit{J. Adámek} et al., Theory Appl. Categ. 32, 682--718 (2017; Zbl 1374.18012) Full Text: EMIS
Adámek, Jiří; Sousa, Lurdes KZ-monadic categories and their logic. (English) Zbl 1397.18012 Theory Appl. Categ. 32, 338-379 (2017). MSC: 18C20 18B35 18D20 54B30 06B35 06D22 18A15 PDFBibTeX XMLCite \textit{J. Adámek} and \textit{L. Sousa}, Theory Appl. Categ. 32, 338--379 (2017; Zbl 1397.18012) Full Text: EMIS
Adámek, J.; Koubek, V.; Palm, T. Fixed points of set functors: how many iterations are needed? (English) Zbl 1375.18013 Appl. Categ. Struct. 24, No. 5, 649-661 (2016). MSC: 18A30 03E10 PDFBibTeX XMLCite \textit{J. Adámek} et al., Appl. Categ. Struct. 24, No. 5, 649--661 (2016; Zbl 1375.18013) Full Text: DOI
Adámek, Jiří Fixed points of functors – a short abstract. (English) Zbl 1475.18002 Hasuo, Ichiro (ed.), Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9608, 1-4 (2016). MSC: 18A30 PDFBibTeX XMLCite \textit{J. Adámek}, Lect. Notes Comput. Sci. 9608, 1--4 (2016; Zbl 1475.18002) Full Text: DOI HAL
Myers, Robert S. R.; Adámek, Jiří; Milius, Stefan; Urbat, Henning Coalgebraic constructions of canonical nondeterministic automata. (English) Zbl 1380.68290 Theor. Comput. Sci. 604, 81-101 (2015). Reviewer: Nelson Martins-Ferreira (Leiria) MSC: 68Q70 PDFBibTeX XMLCite \textit{R. S. R. Myers} et al., Theor. Comput. Sci. 604, 81--101 (2015; Zbl 1380.68290) Full Text: DOI
Adámek, Jiří; Levy, Paul B.; Milius, Stefan; Moss, Lawrence S.; Sousa, Lurdes On final coalgebras of power-set functors and saturated trees. (English) Zbl 1328.03059 Appl. Categ. Struct. 23, No. 4, 609-641 (2015). MSC: 03G30 03B45 03E10 PDFBibTeX XMLCite \textit{J. Adámek} et al., Appl. Categ. Struct. 23, No. 4, 609--641 (2015; Zbl 1328.03059) Full Text: DOI Link
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.; Urbat, Henning On finitary functors and their presentations. (English) Zbl 1328.18005 J. Comput. Syst. Sci. 81, No. 5, 813-833 (2015). MSC: 18C35 18A22 18C10 54B30 PDFBibTeX XMLCite \textit{J. Adámek} et al., J. Comput. Syst. Sci. 81, No. 5, 813--833 (2015; Zbl 1328.18005) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří Base modules for parametrized iterativity. (English) Zbl 1282.68168 Theor. Comput. Sci. 523, 56-85 (2014). MSC: 68Q65 18C10 68Q70 18C20 PDFBibTeX XMLCite \textit{J. Adámek} et al., Theor. Comput. Sci. 523, 56--85 (2014; Zbl 1282.68168) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří How iterative reflections of monads are constructed. (English) Zbl 1435.18003 Inf. Comput. 225, 83-118 (2013). MSC: 18C20 03D75 18C10 PDFBibTeX XMLCite \textit{J. Adámek} et al., Inf. Comput. 225, 83--118 (2013; Zbl 1435.18003) Full Text: DOI
Adámek, Jiří; Trnková, Věra Relatively terminal coalgebras. (English) Zbl 1266.18002 J. Pure Appl. Algebra 216, No. 8-9, 1887-1895 (2012). Reviewer: Akrur Behera (Rourkela) MSC: 18A35 08A70 18A99 PDFBibTeX XMLCite \textit{J. Adámek} and \textit{V. Trnková}, J. Pure Appl. Algebra 216, No. 8--9, 1887--1895 (2012; Zbl 1266.18002) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří On second-order iterative monads. (English) Zbl 1243.68206 Theor. Comput. Sci. 412, No. 38, 4969-4988 (2011). Reviewer: Lutz Schröder (Bremen) MSC: 68Q55 03D75 68Q65 18C35 18C15 PDFBibTeX XMLCite \textit{J. Adámek} et al., Theor. Comput. Sci. 412, No. 38, 4969--4988 (2011; Zbl 1243.68206) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří Elgot theories: a new perspective on the equational properties of iteration. (English) Zbl 1222.18002 Math. Struct. Comput. Sci. 21, No. 2, 417-480 (2011). Reviewer: Dana Piciu (Craiova) MSC: 18C10 PDFBibTeX XMLCite \textit{J. Adámek} et al., Math. Struct. Comput. Sci. 21, No. 2, 417--480 (2011; Zbl 1222.18002) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří Recursive program schemes and context-free monads. (English) Zbl 1247.68049 Jacobs, B. (ed.) et al., Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010). Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 264, No. 2, 3-23 (2010). MSC: 68N30 18C15 18C50 PDFBibTeX XMLCite \textit{J. Adámek} et al., Electron. Notes Theor. Comput. Sci. 264, No. 2, 3--23 (2010; Zbl 1247.68049) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří Equational properties of iterative monads. (English) Zbl 1234.68271 Inf. Comput. 208, No. 12, 1306-1348 (2010). MSC: 68Q65 18C50 PDFBibTeX XMLCite \textit{J. Adámek} et al., Inf. Comput. 208, No. 12, 1306--1348 (2010; Zbl 1234.68271) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří Iterative reflections of monads. (English) Zbl 1239.18005 Math. Struct. Comput. Sci. 20, No. 3, 419-452 (2010). Reviewer: Jiří Rosický (Brno) MSC: 18C15 68Q99 18C35 18C10 PDFBibTeX XMLCite \textit{J. Adámek} et al., Math. Struct. Comput. Sci. 20, No. 3, 419--452 (2010; Zbl 1239.18005) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří Elgot theories: a new perspective of iteration theories (extended abstract). (English) Zbl 1338.18017 Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 407-427 (2009). MSC: 18C10 PDFBibTeX XMLCite \textit{J. Adámek} et al., Electron. Notes Theor. Comput. Sci. 249, 407--427 (2009; Zbl 1338.18017) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří Semantics of higher-order recursion schemes. (English) Zbl 1239.68041 Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 49-63 (2009). MSC: 68Q55 03B40 18F20 68N30 PDFBibTeX XMLCite \textit{J. Adámek} et al., Lect. Notes Comput. Sci. 5728, 49--63 (2009; Zbl 1239.68041) Full Text: DOI arXiv
Adámek, Jiří; Sobral, Manuela; Sousa, Lurdes A logic of implications in algebra and coalgebra. (English) Zbl 1229.18001 Algebra Univers. 61, No. 3-4, 313-337 (2009). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 18A15 03C05 03B70 PDFBibTeX XMLCite \textit{J. Adámek} et al., Algebra Univers. 61, No. 3--4, 313--337 (2009; Zbl 1229.18001) Full Text: DOI Link
Adámek, Jiří; Milius, Stefan; Velebil, Jiří A description of iterative reflections of monads (extended abstract). (English) Zbl 1234.18003 de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 152-166 (2009). MSC: 18C15 18C10 18C50 PDFBibTeX XMLCite \textit{J. Adámek} et al., Lect. Notes Comput. Sci. 5504, 152--166 (2009; Zbl 1234.18003) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří Bases for parametrized iterativity. (English) Zbl 1160.18003 Inf. Comput. 206, No. 8, 966-1002 (2008). Reviewer: Václav Koubek (Praha) MSC: 18C10 68Q70 18B20 PDFBibTeX XMLCite \textit{J. Adámek} et al., Inf. Comput. 206, No. 8, 966--1002 (2008; Zbl 1160.18003) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří Algebras with parametrized iterativity. (English) Zbl 1131.18002 Theor. Comput. Sci. 388, No. 1-3, 130-151 (2007). Reviewer: Dana Piciu (Craiova) MSC: 18C10 08B20 68Q45 PDFBibTeX XMLCite \textit{J. Adámek} et al., Theor. Comput. Sci. 388, No. 1--3, 130--151 (2007; Zbl 1131.18002) Full Text: DOI
Adámek, J. The intersection of algebra and coalgebra. (English) Zbl 1110.18002 Theor. Comput. Sci. 366, No. 1-2, 82-97 (2006). Reviewer: Dana Piciu (Craiova) MSC: 18C05 18B20 08B99 18C20 68Q99 PDFBibTeX XMLCite \textit{J. Adámek}, Theor. Comput. Sci. 366, No. 1--2, 82--97 (2006; Zbl 1110.18002) Full Text: DOI
Adámek, Jiří; Milius, Stefan Terminal coalgebras and free iterative theories. (English) Zbl 1104.68068 Inf. Comput. 204, No. 7, 1139-1172 (2006). MSC: 68Q65 18C10 PDFBibTeX XMLCite \textit{J. Adámek} and \textit{S. Milius}, Inf. Comput. 204, No. 7, 1139--1172 (2006; Zbl 1104.68068) Full Text: DOI
Adámek, J.; Porst, H.-E. On tree coalgebras and coalgebra presentations. (English) Zbl 1086.68088 Theor. Comput. Sci. 311, No. 1-3, 257-283 (2004). MSC: 68Q65 68Q85 18C35 PDFBibTeX XMLCite \textit{J. Adámek} and \textit{H. E. Porst}, Theor. Comput. Sci. 311, No. 1--3, 257--283 (2004; Zbl 1086.68088) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří On coalgebra based on classes. (English) Zbl 1047.18005 Theor. Comput. Sci. 316, No. 1-3, 3-23 (2004). Reviewer: Václav Koubek (Praha) MSC: 18B05 18C15 08A70 PDFBibTeX XMLCite \textit{J. Adámek} et al., Theor. Comput. Sci. 316, No. 1--3, 3--23 (2004; Zbl 1047.18005) Full Text: DOI arXiv
Aczel, Peter; Adámek, Jiří; Milius, Stefan; Velebil, Jiří Infinite trees and completely iterative theories: A coalgebraic view. (English) Zbl 1028.68077 Theor. Comput. Sci. 300, No. 1-3, 1-45 (2003). MSC: 68Q45 18B20 18C10 18C20 18D10 PDFBibTeX XMLCite \textit{P. Aczel} et al., Theor. Comput. Sci. 300, No. 1--3, 1--45 (2003; Zbl 1028.68077) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří Final coalgebras and a solution theorem for arbitrary endofunctors. (English) Zbl 1270.68183 Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 1-28 (2002). MSC: 68Q65 18C20 PDFBibTeX XMLCite \textit{J. Adámek} et al., Electron. Notes Theor. Comput. Sci. 65, No. 1, 1--28 (2002; Zbl 1270.68183) Full Text: DOI
Adámek, Jiří; Borceux, Francis; Lack, Stephen; Rosický, Jiří A classification of accessible categories. (English) Zbl 1010.18005 J. Pure Appl. Algebra 175, No. 1-3, 7-30 (2002). Reviewer: Václav Koubek (Praha) MSC: 18C35 18A30 18A35 18C30 PDFBibTeX XMLCite \textit{J. Adámek} et al., J. Pure Appl. Algebra 175, No. 1--3, 7--30 (2002; Zbl 1010.18005) Full Text: DOI Backlinks: MO
Adámek, J.; Hébert, M.; Rosický, J. On abstract data types presented by multiequations. (English) Zbl 1026.68031 Theor. Comput. Sci. 275, No. 1-2, 427-462 (2002). MSC: 68P05 PDFBibTeX XMLCite \textit{J. Adámek} et al., Theor. Comput. Sci. 275, No. 1--2, 427--462 (2002; Zbl 1026.68031) Full Text: DOI
Adámek, Jiří; Porst, Hans-E. From varieties of algebras to covarieties of coalgebras. (English) Zbl 1260.08004 Corradini, Andrea (ed.) et al., CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 1, 27-46 (2001). MSC: 08C05 08B99 18C20 68Q65 PDFBibTeX XMLCite \textit{J. Adámek} and \textit{H.-E. Porst}, Electron. Notes Theor. Comput. Sci. 44, No. 1, 27--46 (2001; Zbl 1260.08004) Full Text: DOI
Adámek, Jiří; Johnstone, P. T.; Makowsky, J. A.; Rosický, Jiří Finitary sketches. (English) Zbl 0885.18001 J. Symb. Log. 62, No. 3, 699-707 (1997). Reviewer: J.R.Isbell (Buffalo) MSC: 18A15 03C55 03C75 18C10 18A30 PDFBibTeX XMLCite \textit{J. Adámek} et al., J. Symb. Log. 62, No. 3, 699--707 (1997; Zbl 0885.18001) Full Text: DOI
Adámek, Jiří; Rosický, Jiří Finite models of sketches. (English) Zbl 0867.18005 J. Pure Appl. Algebra 116, No. 1-3, 3-23 (1997). Reviewer: V.Koubek (Praha) MSC: 18C99 03C13 18A30 18A10 PDFBibTeX XMLCite \textit{J. Adámek} and \textit{J. Rosický}, J. Pure Appl. Algebra 116, No. 1--3, 3--23 (1997; Zbl 0867.18005) Full Text: DOI
Adámek, Jiří; Rosický, Jiří On geometric and finitary sketches. (English) Zbl 0855.18005 Appl. Categ. Struct. 4, No. 2-3, 227-240 (1996). Reviewer: J.R.Isbell (Buffalo) MSC: 18C10 18A10 18B99 PDFBibTeX XMLCite \textit{J. Adámek} and \textit{J. Rosický}, Appl. Categ. Struct. 4, No. 2--3, 227--240 (1996; Zbl 0855.18005) Full Text: DOI