Enriched lawvere theories,” Theory and Applications of Categories (1999)

by J Power