# nLab trigonometric identity

A trigonometric identity is a commutative diagram in the category of cartesian spaces and partial functions whose edges are labelled by rational functions and trigonometric function?s.