7 citations · 7 across the 1 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2019
Enriched Regular Theories
Stephen Lack, Giacomo Tendas
Regular and exact categories were first introduced by Michael Barr in 1971; since then, the theory has developed and found many applications in algebra, geometry, and logic. In par…
math.CT2011★ 7 cited
An embedding theorem for adhesive categories
Stephen Lack
Adhesive categories are categories which have pushouts with one leg a monomorphism, all pullbacks, and certain exactness conditions relating these pushouts and pullbacks. We give a…