1 paper · 1 filter
Enrico Ghiorzi
We introduce the theory of enrichment over an internal monoidal category as a common generalization of both the standard theories of enriched and internal categories. The aim of th…