categorical proof theory, fixpoints, Inductive and Coinductive Types, initial and final (co)algebras.
