is the category whose objects are Hilbert carriers with a distinguished fixed vector and specified Dirichlet semigroup, and whose morphisms are bounded maps preserving that vector and intertwining the semigroups.
Why it appears
Once the certified arrows are typed in this category, raw refinement composition becomes ordinary categorical composition. The generator is determined by the semigroup and need not be carried as separate categorical notation.