Set as presentable category
Proposition
The \(1\)-category category set is a presentable category
Proof
compact
- finite set as compact object in set
- each set is a filtered colimit of its finite subsets
locally small
- is true
The \(1\)-category category set is a presentable category
Date: nil
Created: 2024-12-09 Mo 07:51