Jirí Rosický

According to our database, Jirí Rosický authored at least 34 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Discrete equational theories.

Jirí Rosický

Math. Struct. Comput. Sci., 2024

2023

Tameness in generalized metric structures.

Michael J. Lieberman, Jirí Rosický, Pedro Zambrano

Arch. Math. Log., May, 2023

Cellular Categories and stable Independence.

Michael J. Lieberman, Jirí Rosický, Sebastien Vasey

J. Symb. Log., 2023

2022

Are Chain-Complete Posets Co-wellpowered?

J. Jurka, Jirí Rosický

Order, 2022

Induced and higher-dimensional stable independence.

Michael J. Lieberman, Jirí Rosický, Sebastien Vasey

Ann. Pure Appl. Log., 2022

2021

Metric monads.

Jirí Rosický

Math. Struct. Comput. Sci., 2021

Which Categories Are Varieties? ((Co)algebraic pearls).

Jirí Adámek, Jirí Rosický

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2018

Elementary equivalences and accessible functors.

Tibor Beke, Jirí Rosický

Ann. Pure Appl. Log., 2018

Approximate Injectivity.

Jirí Rosický, Walter Tholen

Appl. Categorical Struct., 2018

Sensor based solution for cranial remodeling orthosis.

Radek Halfar, Jan Foltyn, David Oczka, Martin Cerný, Jirí Rosický, Jan Rosicky, Ales Grygar

Proceedings of the 20th IEEE International Conference on e-Health Networking, 2018

2017

Hanf numbers via accessible images.

Michael J. Lieberman, Jirí Rosický

Log. Methods Comput. Sci., 2017

Metric Abstract Elementary Classes as Accessible Categories.

Michael J. Lieberman, Jirí Rosický

J. Symb. Log., 2017

Accessible Model Categories.

Jirí Rosický

Appl. Categorical Struct., 2017

2016

Classification Theory for Accessible Categories.

Michael J. Lieberman, Jirí Rosický

J. Symb. Log., 2016

2015

Rigidification of Algebras Over Essentially Algebraic Theories.

Jirí Rosický

Appl. Categorical Struct., 2015

2012

Strongly Complete Logics for Coalgebras

Alexander Kurz, Jirí Rosický

Log. Methods Comput. Sci., 2012

Abstract elementary classes and accessible categories.

Tibor Beke, Jirí Rosický

Ann. Pure Appl. Log., 2012

2011

Notions of Lawvere Theory.

Stephen Lack, Jirí Rosický

Appl. Categorical Struct., 2011

2009

On Combinatorial Model Categories.

Jirí Rosický

Appl. Categorical Struct., 2009

2008

Mal'cev Conditions Revisited.

Dominique Bourn, Jirí Rosický

Appl. Categorical Struct., 2008

2007

The Goldblatt-Thomason Theorem for Coalgebras.

Alexander Kurz, Jirí Rosický

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2005

Operations and equations for coalgebras.

Alexander Kurz, Jirí Rosický

Math. Struct. Comput. Sci., 2005

Weak Factorizations, Fractions and Homotopies.

Alexander Kurz, Jirí Rosický

Appl. Categorical Struct., 2005

2003

On Quantales and Spectra of C^*-Algebras.

David Kruml, Joan Wick Pelletier, Pedro Resende, Jirí Rosický

Appl. Categorical Struct., 2003

2002

On abstract data types presented by multiequations.

Jirí Adámek, Michel Hébert, Jirí Rosický

Theor. Comput. Sci., 2002

Modal Predicates and Co-equations.

Alexander Kurz, Jirí Rosický

Proceedings of the Coalgebraic Methods in Computer Science, 2002

Weak Factorization Systems and Topological Functors.

Jirí Adámek, Horst Herrlich, Jirí Rosický, Walter Tholen

Appl. Categorical Struct., 2002

2001

Quantaloids for Concurrency.

Jirí Rosický

Appl. Categorical Struct., 2001

1997

Accessible Categories, Saturation and Categoricity.

Jirí Rosický

J. Symb. Log., 1997

Finitary Sketches.

Jirí Adámek, Peter T. Johnstone, Johann A. Makowsky, Jirí Rosický

J. Symb. Log., 1997

1996

On geometric and finitary sketches.

Jirí Adámek, Jirí Rosický

Appl. Categorical Struct., 1996

1995

Finitary Sketches and Finitely Accessible Categories.

Jirí Adámek, Jirí Rosický

Math. Struct. Comput. Sci., 1995

1994

More on directed colimits of models.

Jirí Rosický

Appl. Categorical Struct., 1994

1992

On orthogonal subcategories of locally presentable categories.

Jirí Adámek, Jirí Rosický

Discret. Math., 1992