  The notion of abelian category is an elegant distillation of the fundamental
properties of the category of abelian groups, comprising a few simple axioms
about products and kernels. Whilst the categories of real, complex, and
quaternionic Hilbert spaces and bounded linear maps are not abelian, they
satisfy almost all of the axioms. Heunen's notion of Hilbert category is an
attempt at adapting the abelian-category axioms to capture instead the essence
of these categories of Hilbert spaces. The key idea is to encode adjoints with
a dagger: an identity-on-objects involutive contravariant endofunctor. One
limitation is the symmetric monoidal structure, which is used to construct
additive inverses of morphisms; such additional structure is not needed for the
analagous result about abelian categories, and it excludes non-commutative
examples like the dagger category of quaternionic Hilbert spaces.
  This article introduces the notion of rational dagger category, a successor
to the notion of Hilbert category whose theory is closer to that of abelian
categories. In particular, a monoidal product is not required. They are named
for their enrichment in the category of rational vector spaces. Whilst the
dagger categories of real, complex, and quaternionic Hilbert spaces are the
motivating examples, others include the dagger categories of finite-dimensional
inner-product modules over a partially semiordered involutive division ring and
of self-dual Hilbert modules over a W*-algebra. Also introduced are the notion
of orthogonally complemented dagger category, whose axioms capture the
connection between orthogonal complements and coproducts, and generalisations
of the notions of dagger monomorphism and dagger product, called dagger section
and orthogonal product, which play an important role in the theory of both
orthogonally complemented and rational dagger categories.
