>>278
>束論が圏論の一種というのは違いと思うけど？

束というのは有限完備な（小さい）痩せた圏と同じこと。
完備束は完備な（小さい）痩せた圏と同じこと。