about
hyuki
不射の射
tikz-cd
圏論ツイートを読み飛ばさなくなった
20180923034007
Ab-圏
hom集合で関手を表す
加法的アーベル群
群の共役が自然変換になる
群を圏として見る（圏を群として見る？）
写像全体の集合の表記法の一貫性
a→bなる射は一つとは限らない
圏を学んでどうするかのイメージ
逆圏と関手
逆圏と反変関手
反変関手の例として冪集合関手
自筆メモを作るためのツール
反変関手の例
双対写像を反変関手として表す（補足）