Syntax for split preorders
From MaRDI portal
Publication:1942041
DOI10.1016/j.apal.2012.10.008zbMath1262.18003arXiv0902.0742OpenAlexW2962700388MaRDI QIDQ1942041
Publication date: 15 March 2013
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0902.0742
Cut-elimination and normal-form theorems (03F05) Preorders, orders, domains and lattices (viewed as categories) (18B35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Bialgebras (16T10) Categories of spans/cospans, relations, or partial maps (18B10)
Related Items
Congruence Lattices of Ideals in Categories and (Partial) Semigroups, Ordinals in Frobenius monads, The algebra of partial equivalence relations, REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS, Corelations are the prop for extraspecial commutative Frobenius monoids