# Homotopy Type Theory algebraic formulation of dependent type theory (Rev #1)

## Idea

The goal of this line of work is to find algebraic formulations of dependent type theory. The syntax will then be the initial model.

## References

• Egbert Rijke, An algebraic formulation of dependent type theory, PDF