▽檜山正幸のｷﾏｲﾗ飼育記
●06/04 14:31 檜山正幸
2025-06-04色々な包含的圏雑記／備忘包含的圏〈inclusive category〉の定義は人により色々です｡型理論やｲﾝｽﾃｨﾁｭｰｼｮﾝ理論に使うことを目的にして､包含的圏に関して整理しておきます｡$`\newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\mbf}[1]…2025-06-03関係とﾌｧﾐﾘｰのあいだの関係雑記／備忘｢導出系： 反省と課題 // ｿｰﾄ付き集合の圏は変わる｣において､ｿｰﾄ付き集合達の圏 $`\mathbf{SortedSet}`$ を導入したのですが､その定義は関係をﾍﾞｰｽにしています｡関係をﾍﾞｰｽにした定義は､どうも分かりにくいし扱いにくいので､ﾌｧﾐﾘｰ〈集…色々な包含的圏関係とﾌｧﾐﾘｰのあいだの関係2025 /

▽isologue
●01/02 07:37 磯崎哲也
Copyright 〓 2003-2025 TETSUYA ISOZAKI & ASSOCIATES All Rights Reserved.

▽きっこのﾌﾞﾛｸﾞ
●01/02 00:50 きっこ
Copyright 2005〜2018 Kikko. All rights reserved. Never reproduce or replicate without written permission. ja-JP 2025-01-01T00:00:00+09:00 http://kikko.cocolog-nifty.com/kikko/2024/12/post-29db83.html 謹賀新年歳旦三つ物多摩川の蛇行してゆく淑気かな年賀は満足補足は蛇足... 日記･ｺﾗﾑ･つぶやき きっこ 2025-01-01T00:00:00+09:00

▽NO!と言えるようになりたい
●03/28 00:55 Yuuki Takano
NO!と言えるようになりたい読者になる

▽かわちょ日記＠はてな
●03/26 20:43 かわちょ
かわちょ日記読者になる