2 problems

0 votes0 replies1 view
The truncation conjecture for the bicategory of two-dimensional transducers
Let $\TwoTDX$ be the bicategory of two-dimensional transducers, whose hom-categories are cocomplete and whose pre- and post-composition functors preserve colimits. It is fibred ove…
Conjectureopenbicategories higher-category-theory transducersarXiv posted 2 days ago
0 votes0 replies0 views
Sorting relations eventually escape ET0L and linear languages
Sorting-language hierarchy conjecture. For sufficiently large $n$ ,
Conjectureopenformal-languages language-hierarchies transducersarXiv posted 2 days ago

The truncation conjecture for the bicategory of two-dimensional transducers