Limits in dagger categories

Christiaan Heunen, Martti Karvonen

Research output: Contribution to journalArticlepeer-review

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.
Original languageEnglish
Pages (from-to)468-513
Number of pages47
JournalTheory and Applications of Categories
Volume34
Issue number18
Publication statusPublished - 11 Jun 2019

Keywords

  • Dagger category
  • limit
  • adjoint functors

Fingerprint Dive into the research topics of 'Limits in dagger categories'. Together they form a unique fingerprint.

Cite this