Contents

# Contents

## Idea

What homotopy type theory is for homotopy theory/(∞,1)-category theory, directed homotopy type theory is (or should be) for directed homotopy theory/(∞,n)-category theory.

One candidate for full omega-categories i.e. (∞,∞)-categories is opetopic type theory.

## References

Last revised on August 15, 2018 at 03:35:55. See the history of this page for a list of all contributions to it.