Personal study in fp and category theory