Search
❯
Dec 28, 20251 min read
Pair of functors between categories defining a universal correspondence.