Dual pair in a monoidal category
ID: dual-pair-in-a-monoidal-category
Objects with an evaluation morphism and a coevaluation morphism satisfying both snake identities. These are categorical duality data, distinct from the locally convex dual pair.
New to topics? Read the docs here!