homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
The generalization of the notion of locally presentable categories and locally presentable -categories to -categories.
Germán Stefanich: Presentable -categories [arXiv:2011.03035]
Ko Aoki: Higher presentable categories and limits [arXiv:2510.13503]
Created on November 17, 2025 at 15:28:15. See the history of this page for a list of all contributions to it.