Search
❯
13 May 20261 min read
In a Coalgebra (Category Theory), An arrow into an terminal coalgebra is called a anamorphism.