Category Theory
(Up) | See also: Mathematics
Web resources
Category Theory \| Logic Matters ★
computational trinitarianism in nLab ★
Is every category a localization of a poset? ★ 💭
(in Programming Languages) CHARITY - Home Page ★
(in Type Theory) Recursive Types for Free! (Philip Wadler) ★
Papers
Physics, Topology, Logic and Computation: A Rosetta Stone (online @ arxiv.org)
Books
Categories, types, and structures (online @ www.di.ens.fr) (borrow @ archive.org)
Category Theory for Programmers (online @ bartoszmilewski.com) ★