Project information
Enriched categories and their applications
(ECATA)
- Project Identification
- GA22-02964S
- Project Period
- 1/2022 - 12/2024
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Standard Projects
- MU Faculty or unit
-
Faculty of Science
- doc. John Denis Bourke, PhD
- Mgr. Jan Jurka, Ph.D.
- Michael Joseph Lieberman, B.A., Ph.D.
- prof. RNDr. Jiří Rosický, DrSc.
- Raffael Stenzel, PhD
- Mgr. Miloslav Štěpán, Ph.D.
- doc. Lukáš Vokřínek, PhD.
- Cooperating Organization
-
Czech Technical University Prague
- Responsible person prof. RNDr. Jiří Adámek, DrSc.
- Responsible person Ing. Matěj Dostál, Ph.D.
The project is devoted to applications of enriched category theory to homotopical and higher-dimensional structures, to algebra, theoretical computer science and functional analysis.
Sustainable Development Goals
Masaryk University is committed to the UN Sustainable Development Goals, which aim to improve the conditions and quality of life on our planet by 2030.
Publications
Total number of publications: 22
2026
-
Homotopy types of Hom complexes of graph homomorphisms whose codomains are square-free
European Journal of Combinatorics, year: 2026, volume: 131, edition: January, DOI
2025
-
An enriched small object argument over a cofibrantly generated base
Theory and Applications of Categories, year: 2025, volume: 44, edition: 16
-
Colax adjunctions and lax-idempotent pseudomonads
Theory and Applications of Categories, year: 2025, volume: 44, edition: 7
-
Every theory is eventually of presheaf type
THEORY AND APPLICATIONS OF CATEGORIES, year: 2025, volume: 44, edition: 12
-
Sh(B)-Valued Models of (\kappa ,\kappa )-Coherent Categories
Applied Categorical Structures, year: 2025, volume: 33, edition: 2, DOI
-
Unstable independence from the categorical point of view
Annals of Pure and Applied Logic, year: 2025, volume: 176, edition: 10, DOI
2024
-
Accessible categories with a class of limits
Journal of Pure and Applied Algebra, year: 2024, volume: 228, edition: 2, DOI
-
Algebraic Reasoning over Relational Structures
Proceedings of the Fortieth Conference on the Mathematical Foundations of Programming Semantics, Volume 4, year: 2024
-
Discrete equational theories
Mathematical Structures in Computer Science, year: 2024, volume: 34, edition: 2, DOI
-
Factorization systems and double categories
Theory and Applications of Categories, year: 2024, volume: 41, edition: 18