span

in category theory, a generalization of the notion of relation between two objects of a category

หมวดหมู่: