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.