Australian Category Seminar

Two models for equipment-enriched category theory

Alexander Campbellยท24 July 2024

In this talk, I will prove that two notions of categories enriched over a virtual equipment (one due to Leinster, the other apparently new, but essentially due to Betti and Walters) are equivalent, in the sense that they define biequivalent virtual equipments.

Back