Seminář z algebry - 9.5.2019 PDF Tisk

Další seminář z algebry se koná 9.5.2019 od 13.00 v posluchárně M5.

E. Lanari

Simplicial models for (oo,2)-categories

This talk will revolve around two simplicial models for(oo,2)-categories, namely Lurie's oo-bicategories and Verity's complicial model. After a brief overview and some preliminaries on the category of scaled and stratified simplicial sets, we will delve right into the construction of a model structure for "weak" oo-bicategories, which we prove to be equivalent to the one for saturated 2-trivial complicial sets (i.e. the complicial version of (oo,2)-categories). We then describe Lurie's model structure for oo-bicategories and a Quillen equivalence with another model, i.e. that of categories enriched over marked simplicial sets, which shows oo-bicategories are a model for (oo,2)-categories in the sense of Barwick-Schommer Pries. We conclude the talk with a  conjecture on the equivalence between our model structure and Lurie's one, and its corollaries.

Aktualizováno Pondělí, 06 Květen 2019 10:08