Search
❯
22 Mar 20261 min read
An arrow into an algebra on an endofunctor is called a catamorphism.
Anamorphism