http://www.dagstuhl.de/14182

April 27 – May 2 , 2014, Dagstuhl Perspectives Workshop 14182

Categorical Methods at the Crossroads

Organizers

Samson Abramsky (University of Oxford, GB)
John C. Baez (University of California – Riverside, US)
Fabio Gadducci (University of Pisa, IT)
Viktor Winschel (Universität Mannheim, DE)

For support, please contact

Dagstuhl Service Team

Documents

Dagstuhl Report, Volume 4, Issue 4 Dagstuhl Report
Aims & Scope
List of Participants
Shared Documents
Dagstuhl Perspectives Workshop Schedule [pdf]

Summary

Since the 1960s, category theory has been recognised as a powerful conceptual framework and a flexible specification language. The range of research areas where categorical methods found application is quite wide: from physics, economics, and linguistics to many branches of mathematics, especially algebraic geometry, algebraic topology, and logic. And, of course, computer science: possibly the discipline, apart from mathematics, where these methods have been most wholeheartedly adopted. Indeed, they have become part of the standard ``tool-box'' in many areas of theoretical informatics, from programming languages to automata, from process calculi to type theory.

Despite their flexibility and expressiveness, a more general acceptance of categorical methods has been hindered by the perceived difficulties of the formalism. As a consequence, many researchers in different communities share the feeling of under-exploitation of the potentialities of category theory to their areas of interest. This Dagstuhl Perspectives Workshop seminar brought together people from various disciplines that are interested in the application of categorical tools in their research area, from computer science towards venues such as economics, mathematics, and physics.

Besides the benefits to the understanding of each topic that came from a plurality of voices in a discussion, the meeting tried to address more general concerns. As far as some disciplines are concerned, the workshop helped the reconciliation of different research strands that uses categorical tools. Most importantly though, the workshop aimed at building bridges between disciplines, by reviewing the variety of uses of categorical methods in different fields and trying to find common abstractions that allow the same structures and concepts to be recognized as they arise in different settings, and to be transferred from one area to another.

In order to put on firm grounds the foundations of a common language, each working day included two survey lectures during the morning, which presented a variety of topics where categorical methods play a major role. These were followed by three shorter talks in the early afternoon, which presented active areas and innovative application for these methods. The day was closed by a working group session: during these sessions the attendants split into several groups according to the main thematic areas that had been identified on the first day. The variety of topics dealt with in the workshop was large, and the suggested application areas included (quantum) computation, physics, biology, complex systems, economic, social and cognitive science, and linguistics. Indeed, some of the items span more than one discipline, e.g. game theory, and the list is definitively not exhaustive.

Although the scope of the workshop was broad, the over-arching research theme was to develop categorical methods as a unified approach to the modeling of complex systems, and category theory as a paradigm for mathematical modeling and applied science. To this end, the overall purpose of the workshop was to start developing a coherent research community applying categorical methods to a wide range of disciplines. Under these terms, the workshop has been indeed successful. Laying out a common mathematical language and finding analogies among apparently distant concepts from unrelated disciplines provided a basis for fruitful cross-disciplinary interactions also by facilitating a "technology transfer". Concretely, this led to the fostering of new collaborations among the participants, and the preliminary exploration of new directions and research themes.

License
  Creative Commons BY 3.0 Unported license
  Samson Abramsky, John C. Baez, Fabio Gadducci, and Viktor Winschel

Classification

  • Security / Cryptology
  • Semantics / Formal Methods
  • Verification / Logic

Keywords

  • Quantum computing
  • Mathematical physics
  • Concurrent systems
  • Programming languages
  • Semantics
  • Graph rewriting
  • Logics
  • (co)algebraic specifications
  • Economics
  • Epistemic game theory
  • Automata theory

Book exhibition

Books from the participants of the current Seminar 

Book exhibition in the library, ground floor, during the seminar week.

Documentation

In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.

 

Download overview leaflet (PDF).

Publications

Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.

NSF young researcher support