Attributes | Values |
---|
rdf:type
| |
Description
| - The project is devoted to topical research in abstract homotopy theory and related areas. In particular, we are going to view combinatorial model categories as homotopy locally presentable simplicial categories and to transfer the classical theory of locally presentable categories to the homotopy setting. This should be based on the analysis of homotopy limits and colimits and their mutual relations and to lead to the understanding of homotopy orthogonality, homotopy limit theories and their potential to obtain rigidification theorems in higher category theory. More generally, we are going to study homotopy accessible simplicial categories and to deal with the same question over other monoidal model categories, and not only over simplicial sets. This would cover spectral, additive and differential-graded categories. Also, a generally oriented study of model categories, and, especially, combinatorial ones, is among our goals. (en)
- Projekt je věnován aktuálnímu výzkumu abstraktní teorie homotopií a příbuzným oblastem. Zejména plánujeme pohlížet na kombinatorické modelové kategorie jako na homotopicky lokálně prezentovatelné simpliciální kategorie a přenést klasickou teorii lokálně prezentovatelných kategorií do homotopického kontextu. Toto musí být založeno na analýze homotopických limit a kolimit a na jejich vzájemných vztazích a vést k pochopení homotopické ortogonality, homotopicky limitních teorií a na jejich schopnosti získat věty o rigidifikaci ve vyšší teorii kategorií. Obecněji,plánujeme studium homotopicky dosažitelných simpliciálních kategorií a rozšíření na jiné monoidální modelové kategorie na místě simpliciálních množin. Toto by mimo jiné zahrnulo spektrální, aditivní a diferenciálně-graduované kategorie. Rovněž, mezi našimi cíli je i obecné studium modelových kategorií, zejména kombinatorických. (cs)
|
Title
| - Model categories (en)
- Modelové kategorie (cs)
|
http://linked.open...vai/cislo-smlouvy
| |
http://linked.open...avai/druh-souteze
| |
http://linked.open...domain/vavai/faze
| |
http://linked.open...vavai/hlavni-obor
| |
http://linked.open...i/hlavni-ucastnik
| |
http://linked.open...vavai/id-aktivity
| |
http://linked.open.../vavai/id-souteze
| |
http://linked.open...n/vavai/kategorie
| |
http://linked.open...vai/klicova-slova
| - model category; higher category; homotopy; enriched category (en)
|
http://linked.open...avai/konec-reseni
| |
http://linked.open...nujicich-prijemcu
| |
http://linked.open...avai/poskytovatel
| |
http://linked.open...avai/start-reseni
| |
http://linked.open...ai/statni-podpora
| |
http://linked.open...vavai/typProjektu
| |
http://linked.open...ai/uznane-naklady
| |
http://linked.open...ai/pocet-prijemcu
| |
http://linked.open...cet-spoluprijemcu
| |
http://linked.open...ai/pocet-vysledku
| |
http://linked.open...ku-zverejnovanych
| |
is http://linked.open...ain/vavai/projekt
of | |