Use objects, morphisms, functors, natural transformations, limits, and adjunctions to express structures shared across mathematical fields.
