Search
❯
Dec 08, 20251 min read
An arrow into an Initial Algebra is called a catamorphism.
Anamorphism