• 대한수학회논문집
• /
• 제21권2호
• /
• pp.211-217
• /
• 2006

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

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제13권4호
• /
• pp.249-254
• /
• 2006

Category Fuz of fuzzy sets has a similar function to the topos Set. But Category Fuz forms a weak topos. We show that supports split weakly(SSW) and with some properties, implicity axiom of choice(IAC) holds in weak topos Fuz. So weak axiom of choice(WAC) holds in weak topos Fuz. Also we show that weak extensionality principle for arrow holds in weak topos Fuz.

• Korean Journal of Mathematics
• /
• 제28권1호
• /
• pp.75-87
• /
• 2020

Category F Rel of fuzzy sets and relations does not form a topos. J. Harding, C. Walker and E. Walker [3] showed that FRel has a tensor product and V. Durov [1] introduced basic definitions related to the notion of vectoid endowed with a tensor product. In this paper, we show that FRel forms a quasi topos. Also we show that there are quasi power objects in FRel. And by the use of the concepts of FRel and quasi topos, we get the logic operators of FRel. Moreover, we show that FRel forms a vectoid.

• Korean Journal of Mathematics
• /
• 제22권4호
• /
• pp.693-698
• /
• 2014

Although the category NFHG of normal fuzzy hypergroups is not a topos, it forms a pseudo topos. Also we show that there are pseudo power objects in NFHG.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제17권4호
• /
• pp.341-346
• /
• 2010

Category $E({\Omega},A)$ forms a topos. We study on some properties of the topos $E({\Omega},A)$. In particular, we show that $E({\Omega},A)$ is well-pointed.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제17권2호
• /
• pp.137-143
• /
• 2010

Category Fuz of fuzzy sets has a similar function to the Category Set. But it forms a weak topos. We study a natural number object and a weak natural number object in the weak topos Fuz. Also we study the weak natural number object in $Fuz^C$.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제2권1호
• /
• pp.25-29
• /
• 1995

The topos constructed in [6] is a set-like category that includes among its axioms an axiom of infinity and an axiom of choice. In its final form a topos is free from any such axioms. Set$\^$G/ is a topos whose object are G-set Ψ$\sub$s/:G${\times}$S\longrightarrowS and morphism f:S \longrightarrowT is an equivariants map. We already known that Set$\^$G/ satisfies the weak form of the axiom of choice but it does not satisfies the axiom of the choice.(omitted)

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제3권2호
• /
• pp.131-139
• /
• 1996

Topos is a set-like category. For an axiom of choice in a topos, F. W. Lawvere and A. M. Penk introduced another versions of the axiom of choice. Also it is showed that general axiom of choice and Penk's axiom of choice are weaker than Lawvere's axiom of choice. In this paper we study that weak form of axiom of choice, axiom of choice, Penk's axiom of choice and Lawvere's axiom of choice are all equivalent in a well pointed topos.

• 대한수학회논문집
• /
• 제19권1호
• /
• pp.29-34
• /
• 2004

There are various forms of the axiom of choice and also various weak forms of the axiom of choice in a topos. This paper give equivalent forms of the axiom of choice in a well-pointed topos.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제7권1호
• /
• pp.19-26
• /
• 2000

The purpose of the paper is to show that in the Fraenkel-Mostowski topos, the category of the Boolean algebras has enough injectives.