Jirí Rosický

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 13

Top Topics

School Children

Continuous Relaxation

Equational Theories

Top Venues

Appl. Categorical Struct.

Math. Struct. Comput. Sci.

Ann. Pure Appl. Log.

Publications

Jirí Rosický
Discrete equational theories. Math. Struct. Comput. Sci. 34 (2) (2024)
Michael J. Lieberman, Jirí Rosický, Sebastien Vasey
Cellular Categories and stable Independence. J. Symb. Log. 88 (2) (2023)
Michael J. Lieberman, Jirí Rosický, Pedro Zambrano
Tameness in generalized metric structures. Arch. Math. Log. 62 (3) (2023)
Michael J. Lieberman, Jirí Rosický, Sebastien Vasey
Induced and higher-dimensional stable independence. Ann. Pure Appl. Log. 173 (7) (2022)
Jirí Adámek, Jirí Rosický
Which Categories Are Varieties? ((Co)algebraic pearls). CALCO (2021)
Jirí Rosický
Metric monads. Math. Struct. Comput. Sci. 31 (5) (2021)
Jirí Rosický, Walter Tholen
Approximate Injectivity. Appl. Categorical Struct. 26 (4) (2018)
Tibor Beke, Jirí Rosický
Elementary equivalences and accessible functors. Ann. Pure Appl. Log. 169 (7) (2018)
Radek Halfar, Jan Foltyn, David Oczka, Martin Cerný, Jirí Rosický, Jan Rosicky, Ales Grygar
Sensor based solution for cranial remodeling orthosis. HealthCom (2018)
Michael J. Lieberman, Jirí Rosický
Metric Abstract Elementary Classes as Accessible Categories. J. Symb. Log. 82 (3) (2017)
Jirí Rosický
Accessible Model Categories. Appl. Categorical Struct. 25 (2) (2017)
Michael J. Lieberman, Jirí Rosický
Hanf numbers via accessible images. Log. Methods Comput. Sci. 13 (2) (2017)
Michael J. Lieberman, Jirí Rosický
Classification Theory for Accessible Categories. J. Symb. Log. 81 (1) (2016)
Jirí Rosický
Rigidification of Algebras Over Essentially Algebraic Theories. Appl. Categorical Struct. 23 (2) (2015)
Alexander Kurz, Jirí Rosický
Strongly Complete Logics for Coalgebras Log. Methods Comput. Sci. 8 (3) (2012)
Tibor Beke, Jirí Rosický
Abstract elementary classes and accessible categories. Ann. Pure Appl. Log. 163 (12) (2012)
Stephen Lack, Jirí Rosický
Notions of Lawvere Theory. Appl. Categorical Struct. 19 (1) (2011)
Jirí Rosický
On Combinatorial Model Categories. Appl. Categorical Struct. 17 (3) (2009)
Dominique Bourn, Jirí Rosický
Mal'cev Conditions Revisited. Appl. Categorical Struct. 16 (6) (2008)
Alexander Kurz, Jirí Rosický
The Goldblatt-Thomason Theorem for Coalgebras. CALCO (2007)
Alexander Kurz, Jirí Rosický
Operations and equations for coalgebras. Math. Struct. Comput. Sci. 15 (1) (2005)
Alexander Kurz, Jirí Rosický
Weak Factorizations, Fractions and Homotopies. Appl. Categorical Struct. 13 (2) (2005)
David Kruml, Joan Wick Pelletier, Pedro Resende, Jirí Rosický
-Algebras. Appl. Categorical Struct. 11 (6) (2003)
Jirí Adámek, Horst Herrlich, Jirí Rosický, Walter Tholen
Weak Factorization Systems and Topological Functors. Appl. Categorical Struct. 10 (3) (2002)
Jirí Adámek, Michel Hébert, Jirí Rosický
On abstract data types presented by multiequations. Theor. Comput. Sci. 275 (1-2) (2002)
Alexander Kurz, Jirí Rosický
Modal Predicates and Co-equations. CMCS (2002)
Jirí Rosický
Quantaloids for Concurrency. Appl. Categorical Struct. 9 (4) (2001)
Jirí Rosický
Accessible Categories, Saturation and Categoricity. J. Symb. Log. 62 (3) (1997)
Jirí Adámek, Peter T. Johnstone, Johann A. Makowsky, Jirí Rosický
Finitary Sketches. J. Symb. Log. 62 (3) (1997)
Jirí Adámek, Jirí Rosický
On geometric and finitary sketches. Appl. Categorical Struct. 4 (2-3) (1996)
Jirí Adámek, Jirí Rosický
Finitary Sketches and Finitely Accessible Categories. Math. Struct. Comput. Sci. 5 (3) (1995)
Jirí Rosický
More on directed colimits of models. Appl. Categorical Struct. 2 (1) (1994)
Jirí Adámek, Jirí Rosický
On orthogonal subcategories of locally presentable categories. Discret. Math. 108 (1-3) (1992)