半圏とプロセスとカロウビ展開圏

「はじめての圏論 第6歩：有限変換キューと半圏」 -- ここに書いてある半圏、擬似恒等、フルバッファー付き射とかの議論は、半圏のカロウビ展開圏の話につながる気がする。