137 citations · 760 across the 53 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.CT2017★ 6 cited
An enriched view on the extended finitary monad--Lawvere theory correspondence
Richard Garner, John Power
We give a new account of the correspondence, first established by Nishizawa--Power, between finitary monads and Lawvere theories over an arbitrary locally finitely presentable base…
math.CT2017★ 12 cited
An embedding theorem for tangent categories
Richard Garner
Tangent categories were introduced by Rosicky as a categorical setting for differential structures in algebra and geometry; in recent work of Cockett, Crutwell and others, they hav…