This module organizes category theory by category type.