A theory that deals with the concept of → category andgeneralizes the → set theory.
See also: → category; → theory.