Category "Types for Foundations" in Table