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