Key points are not available for this paper at this time.
Zusammenfassung Nachverfolgbare monoidale Kategorien werden eingeführt, ein Strukturtheorem wird für sie bewiesen, und ein Beispiel wird bereitgestellt, in dem das Strukturtheorem Anwendung findet.
Joyal et al. (Mon,) untersuchten diese Frage.