Category Theory
(Up) | See also: Mathematics
Web resources
Category Theory \| Logic Matters ★
computational trinitarianism in nLab ★
ct.category theory - Is every category a localization of a poset? - MathOverflow ★ 💭
(in Type Theory) Recursive Types for Free! (Philip Wadler) ★
Books
Categories, types, and structures (online @ www.di.ens.fr) (borrow @ archive.org)
Category Theory for Programmers (online @ bartoszmilewski.com) ★