3 citations · 7 across the 9 of their papers we have counts for
10 papers
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 -…
Cubes are dense in -categories
Tim Campion
We show that the strict 1-category of cubes -- defined to be the full subcategory of strict -categories whose objects are the Gray tensor powers of the arrow category…
A cubical model for -categories
Tim Campion, Chris Kapulkin, Yuki Maehara
We propose a new model for the theory of -categories (including the case ) in the category of marked cubical sets with connections, similar in flavor to compl…
Homotopy Types of Abstract Elementary Classes
Tim Campion, Jinhe Ye
We prove that for any homotopy type , there is an abstract elementary class , with joint embedding, almagamation and no maximal models such that the classifying spa…
Classifying spaces and the Lascar group
Tim Campion, Greg Cousins, Jinhe Ye
We show that the Lascar group of a first order theory is naturally isomorphic to the fundamental group of the classifyi…