Most diagrams, even if they can be interpreted as embeddings in infinite objects , are nevertheless fini t e in extent if they are to be presented conventionally. In many applications where diagrams are used to explain, instruct, communicate, cogitate or conjecture, this finiteness implies local extent. By this we mean that even if they are used to reason about potentially unbounded domains or ...
