activity
20182023
most citedHomotopy Types of Abstract Elementary Classes

3 citations · 7 across the 9 of their papers we have counts for

collaborators
Showing math.CTShow all

6 papers · 1 filter

math.CT2023

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…

math.CT2023

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.…

math.CT2023

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…

math.CT2023

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…

math.CT2023

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 -…

math.CT2022

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…