In mathematics, more specifically in category theory, internal categories are a generalization of the notion of a small category, and are defined with respect to a fixed ambient category. If the ambient category is taken to be the category of sets then one recovers the theory of small categories.
In mathematics, more specifically in category theory, internal categories are a generalization of the notion of a small category, and are defined with respect to a fixed ambient category. If the ambient category is taken to be the category of sets then one recovers the theory of small categories.
Source: Wikipedia "Internal category" · CC BY-SA 4.0
Share this article: X · Bluesky