Unreasonable Effectiveness of Compositional Thinking → examples → category, functor, natural transformation → Category Theory Example: Applied to a Database → Functor = Dataset → A functor $F: \mathcal{C} \to \mathbf{Set}$ assigns: →