しかし驚いたな、preorderを拡張したものが圏だという見方は自然だと思ってる俺は
少数派らしいな。少なくとも、今ここにカキコしてる中では。