このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。
Follow @m_hiyama

ご連絡は上記 X アカウントに DM にてお願いします。

参照用 記事

2022-02-05から1日間の記事一覧

圏論的コンストラクタと圏論的オペレータ〈コンビネータ〉 再論

「圏論的コンストラクタと圏論的オペレータ: 関手性・自然性の呪縛からの脱却」において、必ずしも関手性〈functoriality〉を持たない対応や、必ずしも自然性〈naturality〉を持たない変換を紹介しました。ときに、非関手的対応/非自然変換が多用されるこ…