Fully-faithful functors in string diagrams
Function box も open にすればよかった。
Faithful functors
Fully-faithful functors
Faithful 性よりたしかに natural (点線はいらない)。
Laws
Functoriality
(と言ってしまおう)
命題
Functoriality preserves iso ゆえ
参考文献
- The Joy of Cats in nLab (Proposition 3.31)