Homotopy Type Theory
transport

Idea

Definition

References

HoTT book

category: type theory