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!