e/Glossary of category theory

Information
has gloss	eng: Categories A category A is said to be: * small provided that the class of all morphisms is a set (i.e., not a proper class); otherwise large. * locally small provided that the morphisms between every pair of objects A and B form a set. * Some authors assume a foundation in which the collection of all classes forms a "conglomerate", in which case a quasicategory is a category whose objects and morphisms merely form a conglomerate . (NB other authors use the term "quasicategory" with a different meaning. ) * isomorphic to a category B provided that there is an isomorphism between them. * equivalent to a category B provided that there is an equivalence between them. * concrete provided that there is a faithful functor from A to ; e.g., Vec, Grp and Top. * discrete provided that each morphism is an identity morphism (of some object).
lexicalization	eng: Glossary of category theory
instance of	c/Glossaries on mathematics