Definition 2.2.
A topos is a presentable category satisfying descent for all colimits. We will alternatively refer to a topos as a logos.
Definition 2.2.
A topos is a presentable category satisfying descent for all colimits. We will alternatively refer to a topos as a logos.