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