🚀 go-pugleaf

$B7DXfBg3X$N;09%$G$9!%(J
$BG/Kv$GK;$7$$$N$G$D$$=P$F$-$F$7$^$$$^$7$?!%(J

In article <162@john.hamaint.snet.or.jp>
katsura@john.hamaint.snet.or.jp (John Eiji Katsura) writes:
 >topos$B$NDj5A$N:]$K=P$F$/$k(JUnivers$B$N(J$B8xM}$O!"8xM}O@E*$K$O$I$&$$$&(J
 >$B0LCV$E$1$K$"$k$N$G$7$g$&$+!)(J
 >$B$:$C$H5$$K$J$C$F$$$?$N$G$9$1$l$I!"!VL5L7(J$B=b@-!W$H$+$OK\Ev$KJ]>Z$5$l$F(J
 >$B$$$k$N$G$7$g$&$+!)(J

$B$"$l$O(JZFC$B$r1[$($F(Jinaccessible cardinal$B$N(Jproper class$B$NB8:_$r2>Dj$7$F$$(J
$B$^$9!%$7$+$73HD%$H$7$F$O%^%$%k%I$J$b$N$N$h$&$G!$5U$K$=$N$?$a$K(JFrance$B$G(J
$B$O(Jinaccessible cardinal$B$,%]%T%e%i!<$K$J$C$?$H$$$&$3$H$G$9!%$3$l$r4^$`(J
$BM}O@$N!JAjBPE*!KL5L7=b@-$K$D$$$F$N5DO@$O(J$B>\$7$$J}$K$*G$$;$9$k$H$7$F(J
$B!J(JZFC$B$,L5L7=b$G$"$l$P(JCon(ZFC) -> Con(ZFC+inacessible cardinal$B$NB8:_(J)$B$,(J
$BM-8B(J$B$K$O8@$($J$$$3$H$OIT40A4@-DjM}$+$i=P$F$-$^$9!K!$$3$NJU$j$N7wO@$H=8(J
$B9gO@$N4X78$K$D$$$F$O(J

A. Blass
The interaction between category theory and set theroy
In: J. W. Gray ed., Mathematical Applications of Category Theory,
Contemporary Mathematics, Vol 30, p.5--29, 1984

$B$G8+$k$3$H$,$G$-$^$9!%(J

$B;09%GnG7(J
miyoshi@slab.sfc.keio.ac.jp