164 citations · 1.4k across the 51 of their papers we have counts for
4 papers · 1 filter
Restriction categories III: colimits, partial limits, and extensivity
J. R. B. Cockett, Stephen Lack
A restriction category is an abstract formulation for a category of partial maps, defined in terms of certain specified idempotents called the restriction idempotents. All categori…
Limits of small functors
Brian J. Day, Stephen Lack
For a small category K enriched over a suitable monoidal category V, the free completion of K under colimits is the presheaf category [K*,V]. If K is large, its free completion und…
Homotopy-theoretic aspects of 2-monads
Stephen Lack
We study 2-monads and their algebras using a Cat-enriched version of Quillen model categories, emphasizing the parallels between the homotopical and 2-categorical points of view. E…
2-nerves for bicategories
Stephen Lack, Simona Paoli
We describe a Cat-valued nerve of bicategories, which associates to every bicategory a simplicial object in Cat, called the 2-nerve. We define a 2-category NHom whose objects are b…