discrete objects
codiscrete objects
concrete objects
co-concrete object
reduced object
coreduced object
typical contexts
local topos, connected topos, cohesive topos,
local (∞,1)-topos, ∞-connected (∞,1)-topos, cohesive (∞,1)-topos
Edit this sidebar