Homotopy Type Theory net > history (Rev #3)

Redirected from "free loop ∞-stacks".

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 07:50:39 by Anonymous?. See the history of this page for a list of all contributions to it.