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

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

equivalence of categories

A full and faithful functor that is essentially surjective. Some sources seem to require surjectivity on the underlying isomorphism classes.

Equivalence vs isomorphism