幂等元,Retact和不动点

用范畴论方法讨论了幂等元、ｒｅｔａｃｔ与不动点子空间的性质及其联系。