Dagger -categories
This paper establishes a coherent definition of dagger -categories using equivariance data and applies this framework to the bordism category to define fully-local reflection-positive topological quantum field theories as higher dagger functors.