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)\).