Gabriel-Ulmer duality and Lawvere theories enriched over a general base

Stephen Lack, John Power. Gabriel-Ulmer duality and Lawvere theories enriched over a general base. Journal of Functional Programming, 19(3-4):265-286, 2009. [doi]

Abstract

Abstract is missing.