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

• Tags:
  • #todo/untagged
• Refs:
  • #todo/add-references
• Links:
  • #todo/create-links

lax functor

• A lax symmetric monoidal functor \(F\) lifts to a functor from commutative monoid object in \(\mathsf{C}\) to commutative monoids in \(\mathsf{D}\).

Pasted image 20211104012535.png