kappa small colimit of kappa compact objects
Proposition
kappa-small colimits of kappa compact objects are again kappa compact
Proof
HTT: 5.3.4.15
Let \(I\) be \(kappa\)-small, \(J\) \(\kappa\)-filtered
Then we get
where
TODO
kappa-small colimits of kappa compact objects are again kappa compact
HTT: 5.3.4.15
Let \(I\) be \(kappa\)-small, \(J\) \(\kappa\)-filtered
Then we get
where
TODO
Date: nil
Created: 2024-12-09 Mo 07:51