Type-n Arrow Categories
From MaRDI portal
Publication:5283219
DOI10.1007/978-3-319-57418-9_19zbMATH Open1486.18006OpenAlexW2608433552MaRDI QIDQ5283219FDOQ5283219
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
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
Theory of fuzzy sets, etc. (03E72) Categories of spans/cospans, relations, or partial maps (18B10) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Boolean Algebras with Operators. Part I
- Arrow categories
- An algebraic formalization of fuzzy relations
- Relational mathematics
- Title not available (Why is that?)
- A new algebraic approach to L-fuzzy relations convenient to study crispness
- Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dedekind categories with cutoff operators
- Higher-order arrow categories
- Membership values in arrow categories
- Categories of relations for variable-basis fuzziness
- Type-2 fuzzy controllers in arrow categories
Cited In (6)
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)
