Weak \(n\)-ary relational products in allegories
From MaRDI portal
Publication:2345058
DOI10.3390/axioms3040342zbMath1327.18008OpenAlexW2093036286MaRDI QIDQ2345058
Pawel Maslanka, Bartosz Zielinski
Publication date: 19 May 2015
Published in: Axioms (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3390/axioms3040342
Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Cylindric and polyadic algebras; relation algebras (03G15) Discrete mathematics in relation to computer science (68R99) Enriched categories (over closed or monoidal categories) (18D20) Categories of spans/cospans, relations, or partial maps (18B10)
Cites Work
- The calculus of relations as a foundation for mathematics
- Products in categories of relations
- Relational algebraic semantics of deterministic and nondeterministic programs
- Relation algebraic domain constructions
- Monomorphic characterization of \(n\)-ary direct products
- Modalities for an allegorical conceptual data model
- Relational Semantics for Higher-Order Programs
- A relational model of data for large shared data banks
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Weak \(n\)-ary relational products in allegories