MATH.5:7 - Conformance Checklist

• For typed paths, do the object assignments, generator endpoints and identities determine the extension, and do imposed equations compare arrows with the same endpoints?

• Are the generators, constants and source operations specified?

• Does each source operation have a defined target operation with the required inputs?

• Do the evaluation clauses determine every finite expression?

• Does the preservation argument cover the named operations and the identity?

• Is any uniqueness claim restricted to maps with the same assignment and preservation requirements?

• If expressions are identified, do their evaluated values agree for every required equation instance?

• Does the returned value retain the information needed by its consumer?

• Does a changed assignment, equation or operation lead to the affected comparison?