2017-10-15から1日間の記事一覧

再帰的余代数について

最近、再帰的余代数という概念について少し勉強したので、証明をまとめてPDFにした。 github.com 動機など細かいところには触れられていないが、以下のことが証明されている。 終再帰的余代数 = 始代数 Setでは、再帰的ならば整礎