3 problems

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
0 votes0 replies2 views
The conjecture that traced $*$ -autonomous categories are autonomous
A traced $*$ -autonomous category is a category equipped with the relevant non-symmetric $*$ -autonomous structure and a trace; a category is autonomous when every object has both a…
Conjectureopenautonomous-categories category-theory monoidal-categoriesarXiv posted 2 days ago
0 votes0 replies1 view
Normalization conjecture for the free autonomous category construction
Let $\mathcal{C}$ be a category, let $L(\mathcal{C})$ be the free autonomous category generated by it, and let … be an arrow in $L(\mathcal{C})$ . Suppose that $n_i=m_j=0$ for all…
Conjectureopenautonomous-categories category-theory monoidal-categoriesarXiv posted 2 days ago

Traced ∗*∗-autonomous categories are autonomous