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