はてなアンテナ
りんごの味見
id:Taku

DVD

グループ一覧
1/3ページ

檜山正幸のキマイラ飼育記
●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 かわちょ
かわちょ日記読者になる

6.次5>

0.はてなアンテナトップ
8.このページを友達に紹介
9.このページの先頭へ
ヘルプ/お知らせ

ログイン
無料ユーザー登録
はてなトップ

(c) Hatena