This Element presents the usual material taught in a yearlong course of theoretical computer science using the intuitive language and methodology of category theory. Perfect for students or professionals working in computers or physics, or mathematics.