Entries from 2019-02-01 to 1 month

vim設定メモ

vim初心者の設定です。 以下を行うための.vimrc #で→方向に幅を大きくする "で←方向に幅を小さくする +で↓方向に高さを大きくする -で上方向に高さを小さくする eでファイルツリーを出す gph.is set nowritebackup set nobackup " vim の矩形選択で文字が無…

グラフの圏における冪対象

グラフの圏の対象はグラフである。をエッジ1つの対象、をノード1つの対象とする。 この圏における冪対象, , , はそれぞれどんなグラフだろうか? の形 グラフがどんな形をしているかを調べるためには、まず、射, 射がそれぞれ何個あるかを調べる。 また、グラ…