  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.
