Skip to main content
Source Link
Manuel Bärenz
  • 5.6k
  • 18
  • 49

I don't exactly understand the question, but I think you should familiarise yourself with the notion of a fully dualisable object in a (possibly higher) symmetric monoidal category. For example, a vector space is fully dualisable iff it is finite dimensional. In the bicategory of algebras and bimodules, the separable algebras are fully dualisable. This notion often captures desirable finiteness conditions.

Post Made Community Wiki by Manuel Bärenz