164 citations · 1.4k across the 51 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
math.CT2009★ 12 cited
Non-canonical isomorphisms
Stephen Lack
We give two examples of categorical axioms asserting that a canonically defined natural transformation is invertible where the invertibility of any natural transformation implies t…
math.CT2009
Bicategories of spans as cartesian bicategories
Stephen Lack, R. F. C. Walters, R. J. Wood
Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eilenberg-Moore ob ject and every left adjoint arrow is comonadic.