Applications of category theory to programming and program specificationby D. E. RydeheardCategories (Mathematics)Computer programmingWriting a summary for young readers…For young readersBook data: Open Library