8 problems
- 0 votes0 replies0 views
Small-limit conjecture for presentable n-categories
Small-limit conjecture. The category has all small limits for all .
- 0 votes0 replies0 views
The enriched presheaf conjecture for presentable monoidal infinity-categories
Let be a presentable, closed monoidal -category. Write for the -category of -enriched categories and…
- 0 votes0 replies0 views
Stefanich's conjecture on limits of presentable n-categories
Let be the -category of presentable -categories, defined as the filtered colimit … where is the category of -compactly generate…
- 0 votes0 replies0 views
The internal-left-adjoint compact-generation conjecture for linear categories
Internal-left-adjoint compact-generation conjecture. If the coevaluation morphism is an internal left adjoint, then is compactly generated. The paper states that no counterexam…
- 0 votes0 replies0 views
The doubly-presentable dualizable-object presentability conjecture
Let be a “doubly-presentably” symmetric monoidal -category. The -category of dualizable objects and -in…
- 0 votes0 replies1 view
Presentability of limit- and filtered-colimit-closed full subcategories
Let be a presentable -category and let be a full subcategory. Suppose that is closed under small limits an…
- 0 votes0 replies0 views
Berman's genuine equivariant presentability conjecture
Let be a finite group, let be the genuine equivariant Burnside -category, and let be the -category of pr…
- 0 votes0 replies0 views
The Day convolution compatibility conjecture for admissible double -categories
Let be an admissible double -category and let be a presentably monoidal -category. Corollary 3.?? equips…