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
- 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.
Publications
Total number of publications: 14
2023
-
On notions of compactness, object classifiers, and weak Tarski universes
Mathematical Structures in Computer Science, year: 2023, volume: 33, edition: 8, DOI
-
Smallness in topology
Quaestiones Mathematicae, year: 2023, volume: 46, edition: S1, DOI
-
Univalence and completeness of Segal objects
Journal of Pure and Applied Algebra, year: 2023, volume: 227, edition: 4, DOI
-
Varieties of ordered algebras as categories
Algebra universalis, year: 2023, volume: 84, edition: 2, DOI