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

• Tags
  • #higher-algebra #higher-algebra/infty-cats
• Refs:
  • #todo/add-references
• Links:
  • infty-category
  • symmetric monoidal infty category

cartesian fibration