Displaying similar documents to “Extensional subobjects in categories of Ω -fuzzy sets”

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.

Information systems in categories of valued relations.

Vladimir B. Gisin (1994)

Mathware and Soft Computing

Similarity:

The paper presents a categorical version of the notion of information system due to D. Scott. The notion of information system is determined in the framework of ordered categories with involution and division and the category of information systems is constructed. The essential role in all definitions and constructions play correlations between inclusion relations and entailment relations.

On corings and comodules

Hans-Eberhard Porst (2006)

Archivum Mathematicum

Similarity:

It is shown that the categories of R -coalgebras for a commutative unital ring R and the category of A -corings for some R -algebra A as well as their respective categories of comodules are locally presentable.

The logic of categories of partial functions and its applications

Adam Obtułowicz

Similarity:

CONTENTS0. Introduction.......................................................................................................................................................................................51. Preliminaries.....................................................................................................................................................................................92. Relations and functional relations in a category.............................................................................................................................13 2.1....