Obohacené kategorie a jejich aplikace

Název projektu anglicky
Enriched categories and their applications
Anotace anglicky
The project focuses on applications of enriched category theory to homotopical and higher-dimensional structures, to algebra, theoretical computer science and functional analysis. Using enriched homotopy theory and the framework of infinity-cosmoi, we will develop notions of limit theory appropriate to capturing higher categories with structure. We will study enrichment over several specific base categories, including metric spaces, complete metric spaces and Banach spaces. Using these, we expect new insights and results about important structures appearing in theoretical computer science and functional analysis. An important role will be played by enriched monad theory. We will also study enriched accessible categories and their relationship to enriched homotopy theory and continuous model theory. By passing from classical enrichment to enrichment over a skew monoidal base, we aim to solve the open problem of understanding semi-strict higher-dimensional categories.

Kategorie VaV
ZV - Základní výzkum
OECD FORD - hlavní obor
10101 - Pure mathematics
OECD FORD - vedlejší obor
—
OECD FORD - další vedlejší obor
—
CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
BA - Obecná matematika

Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP24-GA0-GA-R
Datum dodání záznamu
19. 2. 2024

Podobné projekty(10)