My personal category theory library