標記のタイトルの論文を読んだので、内容まとめ。この論文は、順序集合にまつわる諸々の概念の圏論的定式化を与えています。また、MacNeille completion の抽象的な定義と、その一意性の証明を与えており、この部分を理解することが今回の目標でした。 Secti…

前から pure soda だったんですが、ネストしたリストがネストしてるように見えないのが前から気になっていたので変えてみました。