再帰的余代数について

最近、再帰的余代数という概念について少し勉強したので、証明をまとめてPDFにした。

github.com

動機など細かいところには触れられていないが、以下のことが証明されている。

• 終再帰的余代数 = 始代数
• Setでは、再帰的ならば整礎