冪集合B^Aの一般化

圏\mathscr{A}の対象A,Bについて、コンマ圏(A\times())\downarrow Bの終対象をAからBへの冪という

全然わかってない

()ってなに #??

終対象は\tilde{x}:X\to P で、上図を可換にするもの

上図のPのことを「冪」と呼び、B^Aと書く

これは p.193の図

Xは任意の対象、xは任意の射

射xは「コンマ圏(A\times())\downarrow B」の対象

射pは「コンマ圏(A\times())\downarrow B」の終対象

pのことを\mathrm{eval}とも書き、これのことを評価射と呼ぶ