Limits in dagger categories
Category Theory
2025-09-08 v3
Abstract
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.
Cite
@article{arxiv.1803.06651,
title = {Limits in dagger categories},
author = {Chris Heunen and Martti Karvonen},
journal= {arXiv preprint arXiv:1803.06651},
year = {2025}
}