2 problems

0 votes0 replies0 views
The PL action conjecture for dagger $(infty,n)$ -categories
PL action conjecture. There is a natural map
Conjectureopendagger-categories graphical-calculus higher-categoriesarXiv posted 2 days ago
0 votes0 replies0 views
Generalized dagger traces for DCPO-dagger-categories
A suitable monoidal tensor and a partial additive structure on morphisms give a category the structure of a unique decomposition category, from which a trace operator can be canoni…
Conjectureopencategory-theory dagger-categories domain-theoryarXiv posted 2 days ago

The PL action conjecture for dagger (infty,n)(infty,n)(infty,n)-categories