Type-n Arrow Categories

DOI10.1007/978-3-319-57418-9_19zbMath1486.18006OpenAlexW2608433552MaRDI QIDQ5283219

Michael Winter

Publication date: 21 July 2017

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-57418-9_19

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Categories of spans/cospans, relations, or partial maps (18B10) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (2)

Sharpness in the Fuzzy World ⋮ Change of base using arrow categories

Cites Work

• Dedekind categories with cutoff operators
• Membership values in arrow categories
• Arrow categories
• An algebraic formalization of fuzzy relations
• A new algebraic approach to L-fuzzy relations convenient to study crispness
• Categories of relations for variable-basis fuzziness
• Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary
• Higher-Order Arrow Categories
• Type-2 Fuzzy Controllers in Arrow Categories
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Type-n Arrow Categories