arXiv subjects
Publications and source records attributed to Tim Campion.
Let $T$ be the theory of dense cyclically ordered sets with at least two elements. We determine the classifying space of $\mathsf{Mod}(T)$ to be homotopically equivalent to $\mathbb{CP}^\infty$. In particular, $\pi_2(\lvert\mathsf{Mod}(T)\rvert)=\mathbb{Z}$, which answers a question in our previous work. The computation is based on Connes' cycle category $\Lambda$.
We study the left adjoint $\mathbb{D}$ to the forgetful functor from the $\infty$-category of symmetric monoidal $\infty$-categories with duals and finite colimits to the $\infty$-category of symmetric monoidal $\infty$-categories with finite colimits, and related free constructions. The main result is that $\mathbb{D} \mathcal C$ always splits as the product of 3 factors, each characterized by a certain universal property. As an application, we show that, for any compact Lie group $G$, the $\infty$-category of genuine $G$-spectra is obtained from the $\infty$-category of Bredon (\emph{a.k.a} ``naive") $G$-spectra by freely adjoining duals for compact objects, while respecting colimits.
We show that the strict 1-category $\square$ of cubes -- defined to be the full subcategory of strict $\omega$-categories whose objects are the Gray tensor powers of the arrow category -- are dense in the $(\infty,1)$-category $\mathsf{Cat}_\omega$ of weak $(\infty,\infty)$-categories, in both Rezk-complete and incomplete variants. More precisely, we show that Joyal's category $\Theta$ is contained in the idempotent completion of $\square$, and in fact that the idempotent completion of $\square$ is closed under suspensions and wedge sums. This result extends a theorem of Campbell and Maehara in dimension 2. Following Campbell and Maehara's program, we will in future work apply this result to give a new construction of the Gray tensor product of weak $(\infty,n)$-categories.
We propose a new model for the theory of $(\infty,n)$-categories (including the case $n=\infty$) in the category of marked cubical sets with connections, similar in flavor to complicial sets of Verity. The model structure characterizing our model is shown to be monoidal with respect to suitably defined (lax and pseudo) Gray tensor products; in particular, these tensor products are both associative and biclosed. Furthermore, we show that the triangulation functor to pre-complicial sets is a left Quillen functor and is strong monoidal with respect to both Gray tensor products.
We prove that for any homotopy type $X$, there is an abstract elementary class $\mathcal{C}$, with joint embedding, almagamation and no maximal models such that the classifying space realizes the homotopy type $X$. We provide a few explicit examples.
We show that the Lascar group $\operatorname{Gal}_L(T)$ of a first order theory $T$ is naturally isomorphic to the fundamental group $\pi_1(|\operatorname{Mod}(T)|)$ of the classifying space of the category of models of $T$ and elementary embeddings.