3 citations · 7 across the 9 of their papers we have counts for
6 papers · 1 filter
The Gray tensor product of -categories
Timothy Campion
In this note, we leverage the author's pasting theorem for -categories to construct new models of -categories for all , as presheaves on cert…
An -categorical pasting theorem
Timothy Campion
We identify a reasonably large class of pushouts of strict -categories which are preserved by the "inclusion" functor from strict -categories to weak -categories.…
Non-trivial higher homotopy of first-order theories
Tim Campion, Jinhe Ye
Let be the theory of dense cyclically ordered sets with at least two elements. We determine the classifying space of to be homotopically equivalent to $\mathb…
A model-independent Gray tensor product for -categories
Timothy Campion, Yuki Maehara
We construct a (lax) Gray tensor product of -categories and characterize it via a model-independent universal property. Namely, it is the unique monoidal biclosed struc…
Cubical sites as Eilenberg-Zilber categories
Timothy Campion
We show that various cube categories (without diagonals, but with symmetries / connections / reversals) are Eilenberg-Zilber categories. This generalizes a result of Isaacson for o…
Free duals and a new universal property for stable equivariant homotopy theory
Tim Campion
We study the left adjoint to the forgetful functor from the -category of symmetric monoidal -categories with duals and finite colimits to the -…