M-SET kategoride Poincare çatışkısının bir çözümü

Abstract

öz M - (L,*,g) integral komutatif cl-monoid olsun. M-SET kategori monoidal kapalı kategoridir. Her ekstremal monik için bir karakteristik morfizm var ancak karakteristik morfizmin tek olması gerekmez. M GL-monoid ise M-SET sonlu tam kategoridir. M güçlü integral komutatif cl-monoid ise (X,E) M-SET objesi üzerinde verilen denklik bağıntısına karşılık gelen bölüm kümesi izomorfî hariç tektir. E (X,E) objesi üzerinde denklik bağıntısıdır. EE={(x,y)?XxX:0<E(x,y)} reklesif, simetrik bir bağıntıdır. Ancak transitif olması gerekmez.Bu çalışmada, Poincare paradoksunun bir çözümü yorumlanmış ve M-SET'in kategorik özellikleri derlenmiştir. Anahtar Kelimeler: Integral komutatif cl-monoidler, M-değerli eşitlikler, Monoidal kapah kategoriler ve topoi

ABSTRACT Let M = (L,*,£) be an integral commutative cl-monoid. M-SET is a monoidai closed category. For each extremal monic there is a characteristic morphism but the characterictic morphism doesn't have to be unique. If M is a GL-monoid, M-SET is finitely complete. If M is a strongly integral commutative cl-monoid, (X,E)/R the quotient of (X,E) with respect to the equivalence relation R is unique up to an isomorphism. E is a equivalence relation on (X,E). EE = {(x,y)?XxX:0<E(x,y)} is a relation with reflexive and symmetric, but non-transitive relation on X. In this study, a solution of Poincare has been construed and properties categorical of M- SET have been compiled. Keywords: Integral commutative cl-monoid, M-valued equality, Monoidai closed category and topoi u