In
mathematics, a
conglomerate is a definable collection of
classes, just as a class is a definable collection of
sets. A quasi-category is like a
category except that its
objects and
morphisms form conglomerates instead of classes. The
subclasses of any class, and in particular, the collection of all classes (every class is a subclass of the class of all sets), form a conglomerate.