presentable infinity category
Definition
Let \(\mathcal{C}\) be an accessible infinity category.
Then \(\mathcal{C}\) is said to be presentable, if it is cocomplete
Let \(\mathcal{C}\) be an accessible infinity category.
Then \(\mathcal{C}\) is said to be presentable, if it is cocomplete
Date: nil
Created: 2024-12-09 Mo 07:51