nLab Category — Initiality Project

Overview

The nLab has 13 pages in this category.

Pages

• Initiality Project
• Initiality Project - BibTeX database
• Initiality Project - Overview
• Initiality Project - Partial Interpretation
• Initiality Project - Participants
• Initiality Project - Pi-types
• Initiality Project - Raw Syntax
• Initiality Project - References
• Initiality Project - Semantics
• Initiality Project - Term Model
• Initiality Project - Totality
• Initiality Project - Type Theory
• Initiality Project - Uniqueness