A Brauerian representation of split preorders
Copyright policy )A Brauerian representation of split preorders
AbstractSplit 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 and whose composition is defined in the usual way. This representation is related to a classical result of representation theory due to Richard Brauer. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
03F07, 18A15, 16G99, 05C20, Identity criteria for proofs, Graphs, diagram schemes, precategories, representation, categories of proofs, Directed graphs (digraphs), tournaments, Structure of proofs, Mathematics - Logic, Representation theory of associative rings and algebras, FOS: Mathematics, Foundations, relations to logic and deductive systems, Brauer algebras, Logic (math.LO), Categorical logic, topoi, digraphs
03F07, 18A15, 16G99, 05C20, Identity criteria for proofs, Graphs, diagram schemes, precategories, representation, categories of proofs, Directed graphs (digraphs), tournaments, Structure of proofs, Mathematics - Logic, Representation theory of associative rings and algebras, FOS: Mathematics, Foundations, relations to logic and deductive systems, Brauer algebras, Logic (math.LO), Categorical logic, topoi, digraphs
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).10 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!