▽檜山正幸のｷﾏｲﾗ飼育記
●11/22 08:33 檜山正幸
2024-11-21等式の二種類の使用法： 選別条件と同一視宣言雑記／備忘ひとつ前の記事｢圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ｣において､“連立方程式系の解空間”と“関係族の同値閉包による商集合”が双対的だという話をしました｡この双対性はちょっと不思議な感じがします｡最終的には､写像（集合圏の射）の並行ﾍﾟｱ（両端が…2024-11-20圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ雑記／備忘ｴﾝﾄﾞとｺｴﾝﾄﾞは､その名前から双対なんだろうとは誰でも思うでしょう｡しかし､定義の仕方によっては双対性が見えにくいこともあります｡この記事では､ｴﾝﾄﾞとｺｴﾝﾄﾞの双対性が出来るだけ見えやすくなるような定義と記法を提示します｡$`\newcommand…等式の二種類の使用法： 選別条件と同一視宣言圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ

▽The Glasgow Haskell Compiler
●10/21 11:47
20 Oct 2024GHC 9.8.3 Released! [download]

▽seafood
●08/17 17:46 Sean Seefried
UNSW Sydney launches Institute for Industrial DecarbonisationAug 16, 2024Engineering Business School Science Law & Justice Arts, Design & Architecture (ADA) General

▽はてなﾀﾞｲｱﾘｰ - ytsの日記
●03/27 23:54 yts
One of the Eight Stones読者になる

▽YuichiTanakaの日記
●03/27 22:58 YuichiTanaka
YuichiTanakaの日記読者になる