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