lSpace Nuclear and trace ideals in tensored {$\ast$}-categories (history)

Redirected from "extensional equality".

May 1, 2013