$F; i \mapsto \{n \mid n \leq i\}: \mathbb{N} \to \mathrm{Poset}$ みたいな directed diagram を考えた時，こいつの colimit は何に …

某勉強会がコーヒーブレイクタイムに入って，ブレイクタイムから抜けたら何もかも忘れてそうだったので，数式レ …