FP量子化方法是非常重要的消去规范冗余的手段，这只是一个非常trivial的备忘录

这是一个非常trivial的范畴论笔记，目的是让我忘得尽量慢一些。我主要就直接抄李教主的书了。

由于本人主要兴趣还是在场论这边，所以学广相的时候有意跳过了一些细节。这几天参加北师大珠海校区的暑期学校，又发现这部分还是比较有意思的，我打算写两篇文章，一篇是经典黑洞解的笔记。一篇是关于数值相对论的（或者说我更关心时空的3+1分解的形式）。

本文主要参考doi:10.1103/PhysRevD.59.016007对有质量粒子散射的旋量螺旋度形式做个简介