Search
❯
08 Dec 20251 min read
In a Coalgebra (Category Theory), An arrow into an terminal coalgebra is called a anamorphism.