objects $d \in C$ such that $C(d,-)$ commutes with certain colimits

coproduct-preserving representable

connected object

compact object

compact object in a (0,1)-category, compact object in an (∞,1)-category

finite object

small object

tiny object

atomic object

accessible category

compact topos

compact topological space

proper geometric morphism

proper map

Edit this sidebar