Engineering safe and secure cyberphysical systems requires system engineers to develop and maintain a number of model views, both dynamic and static. Verifying the composition of requirement, behavioral, and architectural models using category theory gives rise to a strictly compositional interpretation of cyberphysical systems theory.