1 citations · 2 across the 2 of their papers we have counts for
2 papers
math.CT2013★ 1 cited
Two-dimensional regularity and exactness
John Bourke, Richard Garner
We define notions of regularity and (Barr-)exactness for 2-categories. In fact, we define three notions of regularity and exactness, each based on one of the three canonical ways o…
math.CT2009★ 1 cited
The category of categories with pullbacks is cartesian closed
John Bourke
We show that the category of categories with pullbacks and pullback preserving functors is cartesian closed.