檜山正幸のキマイラ飼育記 (はてなBlog)2025-08-02 モノイド圏の「装備〈supply〉」って言葉の使い方 雑記／備忘 サプライ〈supply〉は、フォングとスピヴァックにより定義された、対称モノイド圏に対する付加的構造のことです。 [FS19-20] Title: Supplying bells and whistles in symmetric monoidal categories Authors: Brendan Fong, David I Spivak Submitted: 7 Au… 2025-08-01 単純レンズをグロタンディーク・レンズに埋め込む 雑記／備忘 状態遷移系に関する補足小ネタ その2：「状態遷移系達の二重圏の直接的定義」で定義したグロタンディーク・レンズの圏を $`\mathbf{Lens}`$ 、単純レンズ〈元祖レンズ〉の圏を $`\mathbf{SimpLens}`$ とします。$`\m
ベイエリア情報局: Javascriptアーカイブ
