A representation result for free cocompletions (2000)

by A John Power, Gian Luca Cattani, Glynn Winskel
Venue:Journal of Pure and Applied Algebra