範疇論

「一對伴隨函子可以生出單子 (monad)」對一些人來說是「民眾知識」等級的。因為最近的一些研究，我得把相關知識整理一下，順便註記於此。