Homotopy Type Theory
higher inductive type (Rev #9, changes)

Showing changes from revision #8 to #9: Added | Removed | Changed

See higher inductive type

This page is under construction. - Ali

Idea

A way to specify elements with constructors like an inductive type? but also specify paths and higher paths.

Definition

Examples

Properties

References

HoTT book

category: type theory

Revision on September 6, 2018 at 18:06:00 by Ali Caglayan. See the history of this page for a list of all contributions to it.