MATH.16:7 - Conformance Checklist

• The working question identifies what must be formed, recovered or compared.
• Each map has a domain, codomain and meaning; its direction matches the required operation.
• The permitted maps and their preservation conditions are stated.
• Fixed objects are separated from the allowed varying instances of use.
• The universal property identifies the supplied data, the comparison map for every allowed instance, its equations and why uniqueness is wanted.
• A construction or applicable existence result supplies the object; a claimed construction has its existence and uniqueness arguments.
• A changed requirement is reflected in the construction or its admissible maps.
• Any computational or subject use obtains the additional operations and premises it needs.