Special Issue "Diagrams, Topology, Categories and Logic"
A special issue of Symmetry (ISSN 2073-8994).
Deadline for manuscript submissions: closed (30 April 2015)
Prof. Louis H. Kauffman
Department of Mathematics, Statistics, and Computer Science University of Illinois at Chicago, Chicago, IL 60607-7045, USA
Website | E-Mail
Phone: (312) 996-3066
Interests: geometric topology; classical knot theory; virtual knot theory; higher dimensional knot theory; quantum knots; topological quantum field theory; quantum computing; topological quantum computing; diagrammatic and categorical approaches to mathematical structure
The theme of this Special Issue is well-expressed by the following lines from the famous address made by David Hilbert to the International Congress of Mathematicians at Paris in 1900:
“To new concepts correspond, necessarily, new signs. These we choose in such a way that they remind us of the phenomena which were the occasion for the formation of the new concepts. So the geometrical figures are signs or mnemonic symbols of space intuition and are used as such by all mathematicians. Who does not always use along with the double inequality a > b > c the picture of three points following one another on a straight line as the geometrical picture of the idea "between"? Who does not make use of drawings of segments and rectangles enclosed in one another, when it is required to prove with perfect rigor a difficult theorem on the continuity of functions or the existence of points of condensation? Who could dispense with the figure of the triangle, the circle with its center, or with the cross of three perpendicular axes? Or who would give up the representation of the vector field, or the picture of a family of curves or surfaces with its envelope which plays so important a part in differential geometry, in the theory of differential equations, in the foundation of the calculus of variations and in other purely mathematical sciences?
The arithmetical symbols are written diagrams and the geometrical figures are graphic formulas; and no mathematician could spare these graphic formulas, any more than in calculation the insertion and removal of parentheses or the use of other analytical signs.”
In the intervening years since the turn of the 20th century, we have seen, particularly in logic, topology and category theory, the rise of many diagrammatic languages that are on the borderlines between different mathematical fields. Examples of such work are the Venn Diagrams of Boolean algebra, the diagrammatic logical calculi of Charles Sanders Peirce and George Spencer-Brown, the many reaches of the Theory of Graphs, the use of knot and link diagrams in knot theory and virtual knot theory, the Kirby Calculus using link diagrams to represent three and four dimensional manifolds, the wider range of drawings and languages of drawings that represent (formally) many problems in topology and differential geometry, the interrelationship of braided monoidal categories with many fields, the uses of circuit diagrams, categories, and quantum knot diagrams in quantum information theory, the new developments such as graphical lambda calculus that relate topological and graphical languages to distributed computation, the use of tangle theory in low dimensional topology in studying the behavior of DNA replication, the use of formalisms in topology for wider mathematical, logical and computational issues.
This Special Issue invites papers on the use, creation and understanding of such diagrammatic geometric/topological/logical developments in mathematics and its applications to natural science and philosophy.
Prof. Louis H. Kauffman
Manuscript Submission Information
Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All papers will be peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.
Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Symmetry is an international peer-reviewed open access monthly journal published by MDPI.
Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 1200 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.
- knot diagram
- category theory
- diagrammatic logical and topological calculi
- lambda calculus
- Feynman diagrams