Exercise 2 AはXのretractである、つまりAとXの間にとなるmapが存在する。 XがTからのmapに対して不動点propertyを持っている（不動点を持つ性質がある）、つまりXのすべてのendomapに対して、 となるmap xが存在する。 このときAもまたTからの不動点propert…