69 citations · 225 across the 25 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
math.CT2025
A constructive approach to the double-categorical small object argument
Benno van den Berg, John Bourke, Paul Seip
Bourke and Garner described how to cofibrantly generate algebraic weak factorisation systems by a small double category of morphisms. However they did not give an explicit construc…
math.CT2025
A recognition criterion for lax-idempotent pseudomonads
John Bourke
We describe a simple criterion which makes it easy to recognise when a pseudomonad is lax-idempotent. The criterion concerns the behaviour of colax bilimits of arrows - certain com…