Type-n Arrow Categories
From MaRDI portal
Publication:5283219
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)
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)