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.

Currently displaying 1 – 20 of 51

Page 1 Next

Displaying 1 – 20 of 51

A categorical characterization of sets among classes

A graph structure over the category of sets and partial functions

A set functor which commutes with all homfunctors is a homfunctor

Algebraic models of intuitionistic theories of sets and classes.

An example concerning set-functors

Analytic functors and weak pullbacks.

Birkhoff's variety theorem with and without free algebras.

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.

Endofunctors of set and cardinalities

Every group is representable by all natural transformations of some set-functor.

Exactness of the set-valued colim

Foncteurs sous-objets et relations continues

Geometric and higher order logic in terms of abstract Stone duality.

Currently displaying 1 – 20 of 51