Coherency

standard that diagrams must satisfy up to isomorphism

Categories: