category-theory Collection of ideas derived from Category theory, including detailed solutions to Bartosz Milewski's book Category theory for programmers.