一种奇怪的正确的废话
因为没有tikz包加上懒得配latex故手绘渣画
Magnus选择了一种龙蛇观测建立起同一切龙蛇之间的唯一联系，根据这种联系的指向性分为左手之道和右手之道.
左手之道，唯一的I(initial object，老马找到的kan extension) AM \mapsto ARE ALL WE(任意函子组合)
右手之道，把上面的箭头转向
问题来了，为啥老马不直接寻找一个龙蛇等价关系呢?答案是可能真不存在这关系...毕竟有无心脏这事情就没法isomorphic.
这自然可以诱导函子(龙蛇转换也就是kalpa)之间的伴随对，伴随对具有monad这种幺半结构.现在来看为啥anu的自我表示是时间? 时间在黎明之前天然是严格幺半群(注意到时间显然不是交换的，不然龙破everywhere，对于结合律太trivial。创世前显然也是含幺的，光界的状态就足以证明)
换句话说anu的自我表示是一种自同态，这自同态突天然幺半，也就构成自函子范畴上的幺半群