2020-10-11から1日間の記事一覧

フレイド・アレンジメント

圏一般論

フレイド圏の一般化。複数の異なる（異なってもいい）ドクトリンの圏と、そのあいだの関手からなる構造。