Content atlas · skill

Enumerate global truth values in finite presheaf models

The learner can enumerate compatible subpresheaves of the terminal presheaf, order them by stagewise inclusion, and interpret them as global truth values.

1 published problem

1. The Truth Inside One — Build a complete two-stage presheaf, study the subobjects of its terminal object, and discover how its compatible global truth values behave.