초록 close

Topos is a set-like category. In topos, the axiom ofchoice can be expressed as (AC1), (AC2) and (AC3). Category{Cal Fuz} of fuzzy sets has a similar function to the topos Set and it forms weak topos. But {Cal Fuz} does notsatisfy (AC1), (AC2) and (AC3). So we define (WAC1), (WAC2) and(WAC3)in weak topos {Cal Fuz}. And we show that they are equivalent in{Cal Fuz}.