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

Last revised on April 27, 2012 at 15:45:43. See the history of this page for a list of all contributions to it.