Skip to main content
5 of 5
added 114 characters in body

$(n,1)$-dagger categories

In category theory, a dagger category is a precategory $\mathcal{C}$ such that for every pair of objects $A:\mathcal{C}$ and $B:\mathcal{C}$ there is a function $(-)^{\dagger_{A,B}}:\mathrm{Mor}(A,B) \to \mathrm{Mor}(B,A)$ such that

  • for all objects $A:\mathcal{C}$, $\mathrm{id}_A^{\dagger_{A,A}} = \mathrm{id}_A$,
  • for all objects $A:\mathcal{C}$, $B:\mathcal{C}$, and $C:\mathcal{C}$, and morphisms $f:\mathrm{Mor}(A,B)$ and $g:\mathrm{Mor}(B,C)$, $(g \circ f)^{\dagger_{A,C}} = f^{\dagger_{A,B}} \circ g^{\dagger_{B,C}}$
  • ${(f^{\dagger_{A,B}})}^{\dagger_{B,A}} = f$

and which satisfies an equivalent Segal condition using unitary isomorphisms as categories do using isomorphisms.

In the context of higher category theory, does the concept of $(n,1)$-dagger categories make sense, and if so, how does one go about defining them?