#
Homotopy Type Theory

higher inductive type (Rev #9)

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

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.