Additive relation categories or algebras: MacLane, Hutchinson axioms and bi-modularity (Q1917385): Difference between revisions

\textit{S. MacLane} [``An algebra of additive relations'', Proc. Natl. Acad. Sci. USA 47, 1043-1051 (1961; Zbl 0123.01102)] gave the first formal approach to categories of additive relations. It has been shown that these are essentially equivalent to bi-allegories [see the book of \textit{P. J. Freyd} and \textit{A. Scedrov} ``Categories, Allegories'' (1990; Zbl 0698.18002)]. \textit{G. Hutchinson} [``Representations of additive relation algebras by modules'', J. Pure Appl. Algebra 42, 63-83 (1986; Zbl 0596.06009)] introduced other axioms together with a significant representation theorem. Part of this axiomatic is also equivalent to bi-allegories. In this paper certain clarifying results on rectangles and the reflexive in allegories are shown to give the expected bijection between the coreflexive and the reflexive in bi-allegories. New categories are used as targets of image functors. The results of these image functors for bi-allegories can be deduced from those of image functors for normal allegories.