Homotopy Type Theory net > history (Rev #4)

Contents

Definition

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.

Examples

See also

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