Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"Arrow categories"”.
-
L-Fuzzy Relations in Coq
Heyting categories, a variant of Dedekind categories, and Arrow categories provide a convenient framework for expressing and reasoning about fuzzy relations and programs based on those methods. In this thesis we present an implementation of Heyting and arrow categories suitable for reasoning and …
-
A Relation-Algebraic Approach to L - Fuzzy Topology
… fuzzy topologies. We use the abstract theory of arrow categories with additional t − norm based connectives to define L - fuzzy topologies abstractly. In particular, this thesis will provide an abstract relational definition of an L - fuzzy topology, consider bases of topological spaces, …
-
An Abstract Algebraic Theory of L-Fuzzy Relations for Relational Databases
… In our study, we show that the theory of arrow categories forms a suitable framework for that. Therefore, we define the semantics of LFSQL in the abstract notion of an arrow category. In addition, we implement the operations of L-fuzzy relations in Haskell and develop a parser that …
-
TORSION THEORIES BESIDE THE POINT -- HOMOTOPICAL AND TWO-DIMENSIONAL APPROACHES
… the classical pointed setting, that is, in categories which need not have a zero object. Introduced in the context of abelian categories, with torsion and torsion-free abelian groups being a motivating example, torsion theories are by now well established in various more general pointed …