A Brauerian Representation of Split Preorders

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Split 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.
12 pages, corrected version

Keywords

Logic, 03F07, 18A15, 16G99, 05C20

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/217861

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0211277
 http://arxiv.org/abs/math/0211277

Collections

arXiv