Variation through enrichment (0)

by R Betti, A Carboni, R Street, R Walters
Venue:J. Pure Appl. Algebra