@Article{Kahl-2004b,
  author = 	 {Wolfram Kahl},
  title = 	 {Refactoring Heterogeneous Relation Algebras around Ordered Categories and Converse},
  journal = 	 JoRMiCS,
  year = 	 2004,
  volume = 	 1,
  pages =	 {277--313},
  URL = {http://www.cas.mcmaster.ca/~kahl/Publications/Journals/Kahl-2004b.html},
  abstract = {We present a reorganisation of popular theories of
      ``reasoning with relational flavour'',
      including allegories, Kleene algebras, and Dedekind categories,
      into a relatively symmetric picture using ordered categories
      as common base and defining converse independently from joins and meets.
      
      As an example application, we use this
      to regroup results about formalisation of
      algebraic graph rewriting and thus exhibit opportunities for
      applying these approaches in new settings.
      
      Finally we discuss how this approach influences
      the design of compatible approaches to
      formalisation and mechanisation of relation-algebraic theories.}
}