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

回复一下楼中楼的北龙
物理学对纠缠有没有更详细的解释？
量子力学里面纠缠就是积非交换性, 即向量空间张量积中的元素无法表示为元素的张量积.
具体可以表示为
画交换图是
张量积是一个满足双线性的"强行扩容", 熟悉自由群定义就很容易理解这种"把一堆东西摆在一起"是在干什么.
另外张量积满足双线性的等价关系, 也就是说我们在自由构造之余要商去所有双线性运算(加法和来自域K的纯量乘法)
现在构造张量积空间是个清晰的事: Cartesian积上的自由构造, 商去双线性关系得到一系列双线性等价运算, 对此我们有
自由构造具有泛性质, 也就是集合基给出一一对应, 0对象, 这里不多说了, Commutative Diagram下很明白
quotient space的泛性质对应另一个三角形交换图
现在我们把三角形交换图拼合起来
合成态射得到张量积的泛性质
张量积就是一种"泛双线性型", 是最基础的双线性结构.

补充:
双线性性还应该附加:
另外说起operad, 我发现了operad解释熵的一篇文章, https://arxiv.org/abs/2107.09581, 熵即诸simplices上的operad的非线性微分. 也就是non-linear Leibnitz law
而微分...又是实多项式环的张量积构造, 并且是monad中的两头
想法有些泥沙俱下, 先写到这

图表大小写有些问题, 关于pointedset上的左右伴随, 涉及目前我尚不太了解的Adjoint monads, 可能需要些时间攻克