A net is a function a:I→Aa: 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.
directed type
sequence
filter
Revision on March 11, 2022 at 05:15:54 by Anonymous?. See the history of this page for a list of all contributions to it.