Higher-Order Arrow Categories

DOI10.1007/978-3-319-06251-8_17zbMath1405.18004OpenAlexW201618688MaRDI QIDQ5410490

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)

Related Items (3)

Type-n Arrow Categories ⋮ Categories of relations for variable-basis fuzziness ⋮ Membership values in arrow categories

This page was built for publication: Higher-Order Arrow Categories