Informace o projektu
Enriched categories and their applications
(ECATA)
- Kód projektu
- GA22-02964S
- Období řešení
- 1/2022 - 12/2024
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Přírodovědecká fakulta
- Spolupracující organizace
-
České vysoké učení technické v Praze
- Odpovědná osoba prof. RNDr. Jiří Adámek, DrSc.
- Odpovědná osoba 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.
Publikace
Počet publikací: 14
2023
-
On notions of compactness, object classifiers, and weak Tarski universes
Mathematical Structures in Computer Science, rok: 2023, ročník: 33, vydání: 8, DOI
-
Smallness in topology
Quaestiones Mathematicae, rok: 2023, ročník: 46, vydání: S1, DOI
-
Univalence and completeness of Segal objects
Journal of Pure and Applied Algebra, rok: 2023, ročník: 227, vydání: 4, DOI
-
Varieties of ordered algebras as categories
Algebra universalis, rok: 2023, ročník: 84, vydání: 2, DOI