3 problems

0 votes0 replies0 views
The purported trace on the dynamic tracing category satisfies the traced monoidal axioms
Let $t$ be a monad equipped with an exceptional structure, and let the purported trace on the category denoted by $\mathbf{DK}_{t}$ be the trace constructed above from the correspo…
Conjectureopencategory-theory monads traced-monoidal-categoriesarXiv posted 2 days ago
0 votes0 replies0 views
Strictification conjecture for reflexive objects in compact closed categories
Strictification conjecture. The restrictions that the compact closed category arise from the $\bf Int$ or $\bf GoI$ construction and have trivial scalars are not essential: reflexi…
Conjectureopencategory-theory compact-closed-categories traced-monoidal-categoriesarXiv posted 2 days ago
0 votes0 replies0 views
Traced $*$ -autonomous categories are autonomous
Autonomy conjecture. Every traced $*$ -autonomous category is autonomous.
Conjectureopenautonomous-categories category-theory traced-monoidal-categoriesarXiv posted 2 days ago

The purported trace on the dynamic tracing category satisfies the traced monoidal axioms