4
votes
1answer
506 views

Why is the Street nerve of the Gray tensor product $[1]\otimes [1]$ isomorphic to $[1]\times [1]$

Recall that given two strict ω-categories $A$ and $B$, their lax Gray tensor product $A\otimes B$ is sent to the Verity-Gray tensor product of their associated complicial sets ...
4
votes
1answer
325 views

A “join” of ω-categorical simplices

Recall that the category of level trees $\mathcal{T}$ is defined to be the category $[\mathbb{N}^{op},\Delta_a]$, where $\Delta_a$ is the skeleton of the category of finite possibly empty linearly ...
7
votes
0answers
292 views

A combinatorial approximation functor sSet->qCat

Let $sSet_J$ denote the category of simplicial sets equipped with the Joyal model structure. Simply by the fact that $sSet_J$ is locally presentable and its class of anodynes ($\neq \mathbf{Cof} \cap ...
6
votes
0answers
581 views

An Ex functor for the contravariant homotopy structure

I'm going to slack on the background and get to the point: Is there a good notion of an $Sd/Ex$ adjunction for $sSet/S$ equipped with the contravariant model structure (cofibrations are monomorphisms ...
4
votes
1answer
687 views

The Join of Simplicial Sets ~Finale~

Background Let $X$ and $S$ be simplicial sets, i.e. presheaves on $\Delta$, the so-called topologist's simplex category, which is the category of finite nonempty ordinals with morphisms given by ...