Generalized enrichment for categories and multicategories (1999)

by Tom Leinster