Jirí Rosický

Math. Struct. Comput. Sci., 2024

2023

Tameness in generalized metric structures.

[BibT_eX]

[DOI]

Pedro Zambrano

Arch. Math. Log., May, 2023

Cellular Categories and stable Independence.

[BibT_eX]

[DOI]

Sebastien Vasey

J. Symb. Log., 2023

2022

Are Chain-Complete Posets Co-wellpowered?

[BibT_eX]

[DOI]

Jan Jurka

Order, 2022

Induced and higher-dimensional stable independence.

[BibT_eX]

[DOI]

Sebastien Vasey

Ann. Pure Appl. Log., 2022

2021

Metric monads.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2021

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

[BibT_eX]

[DOI]

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

2018

Elementary equivalences and accessible functors.

[BibT_eX]

[DOI]

Tibor Beke

Ann. Pure Appl. Log., 2018

Approximate Injectivity.

[BibT_eX]

[DOI]

Walter Tholen

Appl. Categorical Struct., 2018

Sensor based solution for cranial remodeling orthosis.

[BibT_eX]

[DOI]

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

2017

Hanf numbers via accessible images.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

Metric Abstract Elementary Classes as Accessible Categories.

[BibT_eX]

[DOI]

J. Symb. Log., 2017

Accessible Model Categories.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2017

2016

Classification Theory for Accessible Categories.

[BibT_eX]

[DOI]

J. Symb. Log., 2016

2015

Rigidification of Algebras Over Essentially Algebraic Theories.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2015

2012

Strongly Complete Logics for Coalgebras

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Abstract elementary classes and accessible categories.

[BibT_eX]

[DOI]

Tibor Beke

Ann. Pure Appl. Log., 2012

2011

Notions of Lawvere Theory.

[BibT_eX]

[DOI]

Stephen Lack

Appl. Categorical Struct., 2011

2009

On Combinatorial Model Categories.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2009

2008

Mal'cev Conditions Revisited.

[BibT_eX]

[DOI]

Dominique Bourn

Appl. Categorical Struct., 2008

2007

The Goldblatt-Thomason Theorem for Coalgebras.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2005

Operations and equations for coalgebras.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2005

Weak Factorizations, Fractions and Homotopies.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2005

2003

On Quantales and Spectra of C<sup>*</sup>-Algebras.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2003

2002

On abstract data types presented by multiequations.

[BibT_eX]

[DOI]

Michel Hébert

Theor. Comput. Sci., 2002

Modal Predicates and Co-equations.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 2002

Weak Factorization Systems and Topological Functors.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2002

2001

Quantaloids for Concurrency.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2001

1997

Accessible Categories, Saturation and Categoricity.

[BibT_eX]

[DOI]

J. Symb. Log., 1997

Finitary Sketches.

[BibT_eX]

[DOI]

J. Symb. Log., 1997

1996

On geometric and finitary sketches.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 1996

1995

Finitary Sketches and Finitely Accessible Categories.

[BibT_eX]

[DOI]