Abstract: Covariant functors are
investigated, whereis a complete category of W-fuzzy
sets over a complete MV-algebra W, where an W-fuzzy
set is a pair such that A
is a set and is a similarity relation. These
functors then represent some generalizations of extension principle and enable
to extend any morphism in into a map These sets are, e.g., a set of all extensional
subsets a set of all subobjects of where and a set of all morphisms where is an analogy of a subobject
classifier in
Keywords and phrases: covariant functors, MV-algebras.
