Foundations

An index of fundamental concepts.