課題と参考文献：
- インスティチューションがうまく使えない - 檜山正幸のキマイラ飼育記 (はてなBlog) 2005年7月の疑問・課題
- はじめての圏論 その第5歩：変換キューの圏 - 檜山正幸のキマイラ飼育記 (はてなBlog)
- はじめての圏論 第6歩：有限変換キューと半圏 - 檜山正幸のキマイラ飼育記 (はてなBlog)]
- https://www.kurims.kyoto-u.ac.jp/~hassei/papers/prims04.pdf "The Uniformity Principle on Traced Monoidal Categories" by Masahito Hasegawa
- https://www.mscs.dal.ca/~selinger/papers/catasynch-2up.pdf "Categorical Structure of Asynchrony" by Peter Selinger
