# Techniques: Limits in dagger categories

## What the paper contributes (one paragraph)
This is a pure category theory paper that develops a notion of limit appropriate to dagger categories (categories with a functorial reversal of morphisms, the abstract setting in which Hilbert spaces and their adjoints, and categorical quantum mechanics, are formulated). The authors define dagger limits so that they subsume known special cases, are unique up to unitary isomorphism rather than mere isomorphism, can be built from a small generating selection (dagger equalizers, dagger products, dagger intersections), can be phrased as a dagger adjoint to a diagonal functor, can be obtained from ordinary limits when polar decomposition is available, and commute with dagger colimits in many situations. The results are foundational mathematics about an abstract structure. The paper supplies definitions, characterisations, and theorems about dagger categories; it does not supply a runnable capability that could be applied to an external vendor or application result.

## Techniques offered
- **dagger-limit categorical framework (categorical quantum foundations)** - an abstract definition of limits in dagger categories, unique up to unitary isomorphism, that formalises universal constructions in the categorical setting used for quantum mechanics.
  - guarantee: mathematical theorems (uniqueness up to unitary isomorphism; generation from dagger equalizers, products, and intersections; commutativity with dagger colimits), not an operational assurance about a computation
  - quote: "We develop a notion of limit for dagger categories, that we show is suitable in the following ways: it subsumes special cases known from the literature; dagger limits are unique up to unitary isomorphism; a wide class of dagger limits can be built from a small selection of them; dagger limits of a fixed shape can be phrased as dagger adjoints to a diagonal functor; dagger limits can be built from ordinary limits in the presence of polar decomposition; dagger limits commute with dagger colimits in many cases."

## Where it could apply
- Target primitive(s): none
- Target application group(s): platforms_tooling (categorical quantum mechanics foundations only)

## Caveats
This is a pure category theory paper (AMS subject classification 18A40, 18C15, 18C20, 18D10, 18D15, 18D35; keywords: dagger category, limit, adjoint functors). It supplies abstract definitions and theorems about dagger categories, the foundational setting for categorical quantum mechanics, but nothing operational that can be supplied to an external vendor result or quantum computation: no accreditation, decoding, error mitigation, compilation, benchmarking, characterisation, resource estimation, simulation, or concrete algorithm. The single bullet above is the best-fit framing of its foundational contribution; the harvester should treat it as a non-supply for matrix 3a.