Type-n Arrow Categories

DOI10.1007/978-3-319-57418-9_19MaRDI QIDQ5283219zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Higher-order arrow categories
• scientific article; zbMATH DE number 1500670
• Arrow categories of monoidal model categories
• scientific article; zbMATH DE number 3893381
• Categories of lattice-valued sets as categories of arrows
• scientific article; zbMATH DE number 1279412
• scientific article; zbMATH DE number 1163640
• scientific article; zbMATH DE number 3893383
• Categorical semantics for arrows
• Path categories and propositional identity types

Cites work

• scientific article; zbMATH DE number 3683841 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 1086628 (Why is no real title available?)
• scientific article; zbMATH DE number 1377708 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• A new algebraic approach to L-fuzzy relations convenient to study crispness
• An algebraic formalization of fuzzy relations
• Arrow categories
• Boolean Algebras with Operators. Part I
• Categories of relations for variable-basis fuzziness
• Dedekind categories with cutoff operators
• Higher-order arrow categories
• Membership values in arrow categories
• Relational mathematics
• Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary
• Type-2 fuzzy controllers in arrow categories

Cited in

(6)

• Sharpness in the Fuzzy World
• scientific article; zbMATH DE number 3933292 (Why is no real title available?)
• \(L\)-fuzzy concept analysis using fuzzy categories
• Higher-order arrow categories
• Type-2 fuzzy controllers in arrow categories
• Change of base using arrow categories

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

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