Content atlas · skill

Recognize and prove terminal objects

The learner can recognize or prove that an object T is terminal by establishing that every object X has exactly one morphism X→T, with both the arrow direction and uniqueness explicit.

1 published problem

1. Everything Points Here — Begin with functions into a one-point set, then use the definition of terminal object to prove how any two such objects must compare.