The doubly-presentable dualizable-object presentability conjecture
The doubly-presentable dualizable-object presentability conjecture
Let be a “doubly-presentably” symmetric monoidal -category. The -category of dualizable objects and -internal left adjoints therein is defined by taking the dualizable objects and internal left adjoints in . Doubly-presentable dualizable-object presentability conjecture. The -category is presentable. This is a meta-conjecture because the notion of a “doubly-presentably” symmetric monoidal -category is not yet well-defined; the paper notes that and are intended examples.
Sources & referencesView supporting material
Primary source
Maxime Ramzi, “Dualizable presentable -categories”, arXiv:2410.21537 (2024).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.