2016-01-16 Strong endofunctors in string diagrams rev.2 圏論 定義 String diagram Strength Open box の記法を使って Strong endofunctors in String diagrams - PS を更新。 Strength Naturality Coherence condition 参考文献 Comonadic Notions of Computation