Initial commit with category theory module