equivalent characterization of Ind Objects
List
infinity ind object
ind object as filtered colimit
kappa ind object and straightening
ind object and slice
\(\mathcal{C}\) complete
ind object and preserving filtered limits
Date: nil
Author: Anton Zakrewski
Created: 2024-12-10 Di 12:06