48 citations · 167 across the 27 of their papers we have counts for
3 papers · 1 filter
The symmetric monoidal 2-category of permutative categories
Nick Gurski, Niles Johnson, Angélica M. Osorno
We define a tensor product for permutative categories and prove a number of key properties. We show that this product makes the 2-category of permutative categories closed symmetri…
2-categorical opfibrations, Quillen's Theorem B, and
Nick Gurski, Niles Johnson, Angélica M. Osorno
In this paper we show that the strict and lax pullbacks of a 2-categorical opfibration along an arbitrary 2-functor are homotopy equivalent. We give two applications. First, we sho…
Infinite loop spaces, and coherence for symmetric monoidal bicategories
Nick Gurski, Angélica M. Osorno
This paper proves three different coherence theorems for symmetric monoidal bicategories. First, we show that in a free symmetric monoidal bicategory every diagram of 2-cells commu…