Higher-order arrow categories

DOI10.1007/978-3-319-06251-8_17MaRDI QIDQ5410490zbMATH OpenOpenAlexFDO

Authors Michael Winter

Publication date 16 April 2014

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-06251-8_17

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)

Recommendations

• Type-n Arrow Categories
• Arrow categories
• Membership values in arrow categories
• T-norm based operations in arrow categories
• Categories of relations for variable-basis fuzziness

Cited in

(8)

• Arrow categories
• T-norm based operations in arrow categories
• Categories of relations for variable-basis fuzziness
• Arrows of Times, Non Integer Operators, Self-Similar Structures, Zeta Functions and Riemann Hypothesis: a Synthetic Categorical Approach
• Sharpness in the Fuzzy World
• Type-n Arrow Categories
• Type-2 fuzzy controllers in arrow categories
• Membership values in arrow categories

This page was built for publication: Higher-order arrow categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5410490)