Project information
Injektivita a monády v algebře a topologii
- Project Identification
- GA19-00902S
- Project Period
- 1/2019 - 12/2021
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Standard Projects
- MU Faculty or unit
-
Faculty of Science
- prof. RNDr. Jiří Rosický, DrSc.
- doc. John Denis Bourke, PhD
- Mgr. Ivan Di Liberti, Ph.D.
- doc. Lukáš Vokřínek, PhD.
- Cooperating Organization
-
Czech Technical University Prague
- Responsible person prof. RNDr. Jiří Adámek, DrSc.
Projekt je věnován aplikacím teorie kategorií v algebře a topologii s důrazem na injektiviu a monády. Budeme vyšetřovat prezentaci podkategorií pomocí injektivity, její zobecnění na kuželovou injektivitu a na aproximativní injektivitu, jejich algebraické verze a jejich chování v kategoriích morfismů. Očekáváme aplikace na pseudovariety konečných algeber, na konstrukci slabých ekvivalencí v teorii homotopií, na studium saturovanosti v teorii modelů a aproximativní saturovanosti ve funkcionální analýze. Jedním z cílů je nalezení algebraické verze Smithovy věty v teorii homotopií. S injektivitou je úzce spojena teorie monád. Monády hrají významnou roli v algebraické verzi injektivity a také studium obecných pseudovariet vyžaduje konstrukci profinitní monády. Chceme vyřešit otevřený problém charakterizace kohustotních monád určených konečnými strukturami. Vypracujeme teorii pseudomonád v Grayových kategoriích, která umožní lepší zvládnutí technicky náročné avšak velmi důležité teorie pseudomonád v 2-kategoriích.
Publications
Total number of publications: 23
2022
-
Enriched Locally Generated Categories
Theory and Applications of Categories, year: 2022, volume: 38, edition: 17
-
Induced and higher-dimensional stable independence
Annals of Pure and Applied Logic, year: 2022, volume: 173, edition: 7, DOI
2021
-
Accessible aspects of 2-category theory
Journal of Pure and Applied Algebra, year: 2021, volume: 225, edition: 3, DOI
-
Metric monads
Mathematical Structures in Computer Science, year: 2021, volume: 31, edition: 5, DOI
-
Minimal accessible categories
Theory and Applications of Categories, year: 2021, volume: 36, edition: 2021
-
Remarks on combinatorial and accessible model categories
Theory and Applications of Categories, year: 2021, volume: 37, edition: 2021
-
Which Categories Are Varieties?
CALCO 2021: 9th Conference on Algebra and Coalgebra in Computer Science, year: 2021
2020
-
Codensity: Isbell duality, pro-objects, compactness and accessibility
Journal of Pure and Applied Algebra, year: 2020, volume: 224, edition: 10, DOI
-
Cofibrant generation of pure monomorphisms
Journal of Algebra, year: 2020, volume: 560, edition: June, DOI
-
Equipping weak equivalences with algebraic structure
Mathematische Zeitschrift, year: 2020, volume: 294, edition: 3-4, DOI