This article puts forward the notion of “evolving diagram” as an important case of mathematical diagram. An evolving diagram combines, through a dynamic graphical enrichment, the representation of an object and the representation of a piece of reasoning based on the representation of that object. Evolving diagrams can be illustrated in particular with category-theoretic diagrams (hereafter “diagrams*”) in the context of “sketch theory,” a branch of modern category theory. It is argued that sketch theory provides a diagrammatic* theory of diagrams*, that it helps to overcome the rivalry between set theory and category theory as a general semantical framework, and that it suggests a more flexible understanding of the opposition between formal proofs and diagrammatic reasoning. Thus, the aim of the paper is twofold. First, it claims that diagrams* provide a clear example of evolving diagrams, and shed light on them as a general phenomenon. Second, in return, it uses sketches, understood as evolving diagrams, to show how diagrams* in general should be re-evaluated positively.
KeywordsMathematical diagrams Pictorialism Categorical diagrams Sketch theory Formal proof Semantics
Unable to display preview. Download preview PDF.
- Coppey L. (1992) Esquisses et types. Diagrammes 27: LC1–LC33Google Scholar
- Ehresmann C. (1968) Esquisses et types de structures algébriques. Bulletin of the Polytechnic Institute of Iasi XIV: 1–14Google Scholar
- Foltz F. (1969) Sur la catégorie des foncteurs dominés. Cahiers de topologie et géométrie différentielle catégoriques XI(2): 101–130Google Scholar
- Kennison J. F. (1968) On limit-preserving functors. Illinois Journal of Mathematics 12: 616–619Google Scholar
- Lambek J., Scott P. (1999) Introduction to higher order categorical logic, volume 7 of Cambridge studies in advanced mathematics. Cambridge University Press, CambridgeGoogle Scholar
- Lawvere, F. W. (1963). Functorial semantics of algebraic theories and some algebraic problems in the context of functorial semantics of algebraic theories. PhD thesis, Columbia University.Google Scholar