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

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