Last modified date: <%+ tp.file.last_modified_date() %>

- Tags: - #todo/untagged - Refs: - #todo/add-references - Links: - idemptotent-1complete category - Mackey functor - smooth category

linear category

• A category Enriched over $( {}_{k}{\mathsf{Mod}} , \otimes_k])$.
  • So hom sets are $k{\hbox{-}}$modules and composition is bilinear.
• More generally, a category is $R{\hbox{-}}$linear if it is enriched over $( {}_{R}{\mathsf{Mod}} , \otimes_R)$.