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

• Tags
  • #higher-algebra/monoidal
• Refs:
  • #todo/add-references
• Links:
  • #todo/create-links

modules over a category

Used to define spectra:

Relation to monads: