This is a sequence of blog posts I started in 2023 to help first-year CS undergrads understand what’s going on with folds and unfolds (morphisms!).