Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1707.06715

Morita homotopy theory for $(\infty,1)$-categories and $\infty$-operads

Giovanni Caviglia·Javier J. Gutiérrez
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove the existence of Morita model structures on the categories of small simplicial categories, simplicial sets, simplicial operads and dendroidal sets, modelling the Morita homotopy theory of $(\infty,1)$-categories and $\infty$-operads. We give a characterization of the weak equivalences in terms of simplicial presheaves, simplicial algebras and slice categories. In the case of the Morita model structure for simplicial categories and simplicial operads, we also show that each of these model structures can be obtained as an explicit left Bousfield localization of the Bergner model structure on simplicial categories and the Cisinski--Moerdijk model structure on simplicial operads, respectively.

Explore related subjects

math.ATmath.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Giovanni Caviglia, Javier J. Gutiérrez. 2019-01-30. Morita homotopy theory for $(\infty,1)$-categories and $\infty$-operads. https://doi.org/10.1515/forum-2018-0033

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On Poincaré Surgery

We exhibit a homotopy theoretic proof of the Fundamental Theorem of Poincaré surgery in the simply connected case. We also deduce the Poincaré transversality exact sequence.

math.AT↗
arXiv2026

Borsuk-Ulam type theorem for Stiefel manifolds and orthogonal mass partitions

We prove a Borsuk--Ulam-type zero theorem for the Stiefel manifold $V_{n,k}$ with the free action of the hyperoctahedral group $B_k=(\mathbb{Z}/2)^k\rtimes S_k$. The theorem gives a nonvanishing criterion for explicit polynomials in ${R}_{n,k}=\mathbb{F}_2[a_1,\ldots,a_k]/(a_1^n,a_2^{n-1},\ldots,a_k^{n-k+1})$. We apply this criterion to equipartitions by mutually orthogonal hyperplanes. If $(P_{k,n})^m\ne0$ in ${R}_{d,k}=\mathbb{F}_2[a_1,\ldots,a_k]/(a_1^{d+1},a_2^d,\ldots,a_k^{d-k+2})$, then any $m$ finite Borel measures in $\mathbb{R}^d$ that vanish on affine hyperplanes admit $k$ mutually orthogonal hyperplanes such that every $n$-element subfamily divides each measure into $2^n$ equal parts. For the least possible dimension $Δ^*(m,k,n)$, we obtain general lower bounds and prove upper bounds in several cases. These give exact values, including $Δ^*(2^j-1,k,2)=2^{j-1}(k+1)-1$ for all $j\ge1$ and $k\ge2$. In the case $n=k$, the upper bound of Mani-Levitska, Vrećica, and Zivaljević [18], originally obtained without an orthogonality requirement, remains valid under the stronger requirement that all $k$ hyperplanes be mutually orthogonal.

math.AT↗
arXiv2026

Algebraically and geometrically minimal DG-models of diagrams of spaces

We extend Sullivan's rational homotopy theory by constructing geometrically and algebraically minimal models for diagrams of simply connected spaces over a class of finite indexing categories. Both classes classify rational diagram homotopy types, but their minimality conditions can differ. We also show that, in contrast to classical rational homotopy theory, H-diagrams need not split into products of Eilenberg--MacLane diagrams, and characterize the indexing categories for which every H-diagram admits such a splitting. Also we apply this to computation of automorphism groups of rational homotopy types of certain diagrams of spaces.

math.AT↗