Inserter category
Type of category in mathematics
In category theory, a branch of mathematics, the inserter category is a variation of the comma category where the two functors are required to have the same domain category.
01Definition
If C and D are two categories and F and G are two functors from C to D, the inserter category Ins(F, G) is the category whose objects are pairs (X, f) where X is an object of C and f is a morphism in D from F(X) to G(X) and whose morphisms from (X, f) to (Y, g) are morphisms h in C from X to Y such that 
02Properties
If C and D are locally presentable, F and G are functors from C to D, and either F is cocontinuous or G is continuous; then the inserter category Ins(F, G) is also locally presentable.
Sources and credits
This article is adapted from the Wikipedia article “Inserter category”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.
Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.