Homotopy Type Theory net > history (Rev #4)



A net is a function a:IAa: I \to A from a directed type II to a type AA. II is called the index type, the terms of II are called indices (singular index), and AA is called the indexed type.


See also

Revision on March 11, 2022 at 08:26:55 by Anonymous?. See the history of this page for a list of all contributions to it.