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
- 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.
- 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.
Cíle udržitelného rozvoje
Masarykova univerzita se hlásí k cílům udržitelného rozvoje OSN, jejichž záměrem je do roku 2030 zlepšit podmínky a kvalitu života na naší planetě.
Publikace
Počet publikací: 27
2026
-
Discrete Lawvere theories and monads
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, rok: 2026, ročník: 36, vydání: January, DOI
-
Homotopy types of Hom complexes of graph homomorphisms whose codomains are square-free
European Journal of Combinatorics, rok: 2026, ročník: 131, vydání: January, DOI
-
Lifting Independence Along Functors
Applied Categorical Structures, rok: 2026, ročník: 34, vydání: 1, DOI
-
Positively closed Sh(B)-valued models
ANNALS OF PURE AND APPLIED LOGIC, rok: 2026, ročník: 177, vydání: 6, DOI
-
Towards enriched universal algebra
SELECTA MATHEMATICA-NEW SERIES, rok: 2026, ročník: 32, vydání: 2, DOI
2025
-
An enriched small object argument over a cofibrantly generated base
Theory and Applications of Categories, rok: 2025, ročník: 44, vydání: 16
-
Colax adjunctions and lax-idempotent pseudomonads
Theory and Applications of Categories, rok: 2025, ročník: 44, vydání: 7
-
Every theory is eventually of presheaf type
THEORY AND APPLICATIONS OF CATEGORIES, rok: 2025, ročník: 44, vydání: 12
-
Sh(B)-Valued Models of (\kappa ,\kappa )-Coherent Categories
Applied Categorical Structures, rok: 2025, ročník: 33, vydání: 2, DOI
-
Unstable independence from the categorical point of view
Annals of Pure and Applied Logic, rok: 2025, ročník: 176, vydání: 10, DOI