Hom
semagrams.acsets.Hom
A trait marking morphisms in a Schema
Unlike in typical categories, morphisms can have multiple domains and multiple codomains. This is shorthand for a morphism for each pair of domain and codomain.
Additionally, domains/codomains for morphisms are sequences of objects, representing paths through the schema, so a morphism goes between multiple levels of the schema.
Attributes
- Graph
- Supertypes
- Known subtypes