Showing changes from revision #1 to #2: Added | Removed | Changed

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

directed type

sequence

filter

Cauchy structure

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