檜山正幸のキマイラ飼育記 (はてなBlog)
2023-10-25 圏スタンピング・モナドの代数は前層／余前層 雑記／備忘 「左加群は前層、右加群は余前層、双加群はプロ関手」の続きです。余前層としての右加群（または前層としての左加群）が、ファミリー〈集合族〉の圏上のモナドのアイレンベルク／ムーア代数になってるよ、という話です。$`\newcommand{\mrm}[1]{\mathrm{#1}}… 2023-10-24 続・有向コンテナと多項式コモナド： 錯綜整理 雑記／備忘 「有向コンテナと多項式コモナド」にて： モノイド類似構造である有向コンテナ〈圏〉構造が、多項式自己関手を台とするコモノイド構造として反映されるわけです。面白いですね。 面白そうなので、アーマン／ウウスタル〈Danel Ahman, Tarmo Uustalu〉以外の… 2023-10-23 Diag構成の変種とその書き方 雑記／備忘 ある文脈では、図式と関手は同
404 Blog Not Found
2017年07月20日09:00 カテゴリVALU If you can't beat them, join them. 君子は豹変す ⇔ 豹変しなけりゃ君子じゃない。続きを読む dankogai コメント( 1 ) 2017年03月19日16:30 カテゴリevalparkOpen Source evalpark - Swift入園しました というわけでおしらせです。続きを読む dankogai コメント( 0 )トラックバック( 0 ) 2017年03月17日10:30 カテゴリevalparkOpen Source ようこそevalparkへ え?もう本番ですか…? Welcome to Evalpark! 続きを読む dankogai コメント( 0 )トラックバック( 0 ) 2015年12月03日19:30 カテゴリMath 「「0÷0＝」を実行すると「エラー」になる理由」を見
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
