Displaying similar documents to “Information systems in categories of valued relations.”

Complete subobjects of fuzzy sets over M V -algebras

Jiří Močkoř (2004)

Czechoslovak Mathematical Journal

Similarity:

A subobjects structure of the category Ω - of Ω -fuzzy sets over a complete M V -algebra Ω = ( L , , , , ) is investigated, where an Ω -fuzzy set is a pair 𝐀 = ( A , δ ) such that A is a set and δ A × A Ω is a special map. Special subobjects (called complete) of an Ω -fuzzy set 𝐀 which can be identified with some characteristic morphisms 𝐀 Ω * = ( L × L , μ ) are then investigated. It is proved that some truth-valued morphisms ¬ Ω Ω * Ω * , Ω , Ω Ω * × Ω * Ω * are characteristic morphisms of complete subobjects.