Jirí Rosický

38 papers B 2C 1Journal 34Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Discrete Lawvere theories and monads.
Math. Struct. Comput. Sci.
Jirí Rosický
2026 J jnl
Lifting Independence Along Functors.
Appl. Categorical Struct.
Mark Kamsma, Jirí Rosický
2025 J jnl
Erratum to "Are Chain-Complete Posets Co-Wellpowered?" [Order 39 (2022), 71-76].
Order
Jan Jurka, Jirí Rosický
2025 J jnl
Unstable independence from the categorical point of view.
Ann. Pure Appl. Log.
Mark Kamsma, Jirí Rosický
2024 J jnl
Discrete equational theories.
Math. Struct. Comput. Sci.
Jirí Rosický
2023 J jnl
Cellular Categories and stable Independence.
J. Symb. Log.
Michael J. Lieberman, Jirí Rosický, Sebastien Vasey
2023 J jnl
Tameness in generalized metric structures.
Arch. Math. Log.
Michael J. Lieberman, Jirí Rosický, Pedro Zambrano
2022 J jnl
Are Chain-Complete Posets Co-wellpowered?
Order
Jan Jurka, Jirí Rosický
2022 J jnl
Induced and higher-dimensional stable independence.
Ann. Pure Appl. Log.
Michael J. Lieberman, Jirí Rosický, Sebastien Vasey
2021 J jnl
Metric monads.
Math. Struct. Comput. Sci.
Jirí Rosický
2021 B conf
Which Categories Are Varieties? ((Co)algebraic pearls).
CALCO
Jirí Adámek, Jirí Rosický
2018 J jnl
Approximate Injectivity.
Appl. Categorical Struct.
Jirí Rosický, Walter Tholen
2018 J jnl
Elementary equivalences and accessible functors.
Ann. Pure Appl. Log.
Tibor Beke, Jirí Rosický
2018 C conf
Sensor based solution for cranial remodeling orthosis.
HealthCom
Radek Halfar, Jan Foltyn, David Oczka, Martin Cerný, Jirí Rosický, Jan Rosicky, Ales Grygar
2017 J jnl
Accessible Model Categories.
Appl. Categorical Struct.
Jirí Rosický
2017 J jnl
Hanf numbers via accessible images.
Log. Methods Comput. Sci.
Michael J. Lieberman, Jirí Rosický
2017 J jnl
Metric Abstract Elementary Classes as Accessible Categories.
J. Symb. Log.
Michael J. Lieberman, Jirí Rosický
2016 J jnl
Classification Theory for Accessible Categories.
J. Symb. Log.
Michael J. Lieberman, Jirí Rosický
2015 J jnl
Rigidification of Algebras Over Essentially Algebraic Theories.
Appl. Categorical Struct.
Jirí Rosický
2012 J jnl
Abstract elementary classes and accessible categories.
Ann. Pure Appl. Log.
Tibor Beke, Jirí Rosický
2012 J jnl
Strongly Complete Logics for Coalgebras
Log. Methods Comput. Sci.
Alexander Kurz, Jirí Rosický
2011 J jnl
Notions of Lawvere Theory.
Appl. Categorical Struct.
Stephen Lack, Jirí Rosický
2009 J jnl
On Combinatorial Model Categories.
Appl. Categorical Struct.
Jirí Rosický
2008 J jnl
Mal'cev Conditions Revisited.
Appl. Categorical Struct.
Dominique Bourn, Jirí Rosický
2007 B conf
The Goldblatt-Thomason Theorem for Coalgebras.
CALCO
Alexander Kurz, Jirí Rosický
2005 J jnl
Operations and equations for coalgebras.
Math. Struct. Comput. Sci.
Alexander Kurz, Jirí Rosický
2005 J jnl
Weak Factorizations, Fractions and Homotopies.
Appl. Categorical Struct.
Alexander Kurz, Jirí Rosický
2003 J jnl
On Quantales and Spectra of C
Appl. Categorical Struct.
David Kruml, Joan Wick Pelletier, Pedro Resende, Jirí Rosický
2002 — conf
Modal Predicates and Co-equations.
CMCS
Alexander Kurz, Jirí Rosický
2002 J jnl
On abstract data types presented by multiequations.
Theor. Comput. Sci.
Jirí Adámek, Michel Hébert, Jirí Rosický
2002 J jnl
Weak Factorization Systems and Topological Functors.
Appl. Categorical Struct.
Jirí Adámek, Horst Herrlich, Jirí Rosický, Walter Tholen
2001 J jnl
Quantaloids for Concurrency.
Appl. Categorical Struct.
Jirí Rosický
1997 J jnl
Accessible Categories, Saturation and Categoricity.
J. Symb. Log.
Jirí Rosický
1997 J jnl
Finitary Sketches.
J. Symb. Log.
Jirí Adámek, Peter T. Johnstone, Johann A. Makowsky, Jirí Rosický
1996 J jnl
On geometric and finitary sketches.
Appl. Categorical Struct.
Jirí Adámek, Jirí Rosický
1995 J jnl
Finitary Sketches and Finitely Accessible Categories.
Math. Struct. Comput. Sci.
Jirí Adámek, Jirí Rosický
1994 J jnl
More on directed colimits of models.
Appl. Categorical Struct.
Jirí Rosický
1992 J jnl
On orthogonal subcategories of locally presentable categories.
Discret. Math.
Jirí Adámek, Jirí Rosický