about
hyuki
hom集合を使って圏を作る
Scrapboxで箇条書きの冒頭に数式を表示すると黒丸が消える不具合は回避できました
settings
20180922143644
位相空間の基本亜群
20180917144625
自分用にブランドアイコンを付けた
群対象
群対象についてのツイート
圏論ツイートを読み飛ばさなくなった
不射の射
tikz-cd
20180923034007
Ab-圏
hom集合で関手を表す
加法的アーベル群
群の共役が自然変換になる
群を圏として見る（圏を群として見る？）