| Information | |
|---|---|
| has gloss | eng: A span, in category theory, is a generalization of the notion of relation between two objects of a category. When the category has all pullbacks (and satisfies a small number of other conditions), spans can be considered as morphisms in a category of fractions. | 
| lexicalization | eng: span | 
| instance of | e/Functor | 
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint