4 views

1 Answers

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.

4 views