EuDML | Browse

A subobjects structure of the category $Ω$ - of $Ω$ -fuzzy sets over a complete $M V$ -algebra $Ω = (L, \land, \lor, \otimes, \to)$ is investigated, where an $Ω$ -fuzzy set is a pair $𝐀 = (A, δ)$ such that $A$ is a set and $δ A \times A \to Ω$ is a special map. Special subobjects (called complete) of an $Ω$ -fuzzy set $𝐀$ which can be identified with some characteristic morphisms $𝐀 \to Ω^{*} = (L \times L, μ)$ are then investigated. It is proved that some truth-valued morphisms $\neg_{Ω} Ω^{*} \to Ω^{*}, \cap_{Ω}$ , $\cup_{Ω} Ω^{*} \times Ω^{*} \to Ω^{*}$ are characteristic morphisms of complete subobjects.

Displaying 1 – 8 of 8

Cat as a closed model category

Catégorie et $α$ -catégorie des ensembles ordonnés

Categories of models of infinitary Horn theories

Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman

Complete subobjects of fuzzy sets over $M V$ -algebras

Completions of small subcategories

Continuous families : categorical aspects

Contravariant functors on finite sets and Stirling numbers.

Currently displaying 1 – 8 of 8