Example Let A be the category (0 → 1) consisting of a single nontrivial map. Then an object of SetobA is a pair (P0, P1) of sets, and an object of SetA is a function X0 f → X1 between a pair of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback