A Brauerian Representation of Split Preorders

Simple item page
dc.creatorDosen, K.
dc.creatorPetric, Z.
dc.date2002-11-18
dc.date2009-01-30
dc.date.accessioned2026-07-07T12:35:44Z
dc.date.available2026-07-07T12:35:44Z
dc.descriptionSplit preorders are preordering relations on a domain whose composition is defined in a particular way by splitting the domain into two disjoint subsets. These relations and the associated composition arise in categorial proof theory in connection with coherence theorems. Here split preorders are represented isomorphically in the category whose arrows are binary relations, where composition is defined in the usual way. This representation is related to a classical result of representation theory due to Richard Brauer.
dc.description12 pages, corrected version
dc.identifierhttps://arxiv.org/abs/math/0211277
dc.identifierhttp://arxiv.org/abs/math/0211277
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/217861
dc.subjectLogic
dc.subject03F07, 18A15, 16G99, 05C20
dc.titleA Brauerian Representation of Split Preorders
dc.typetext

Files

Collections

arXiv