DROPS

Document

Categorical Methods at the Crossroads (Dagstuhl Perspectives Workshop 14182)

Authors: Samson Abramsky, John C. Baez, Fabio Gadducci, and Viktor Winschel

Published in: Dagstuhl Reports, Volume 4, Issue 4 (2014)

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 14182 "Perspectives Workshop: Categorical Methods at the Crossroads". The aim of the meeting was to investigate the potential of category theory as a paradigm for mathematical modeling and applied science. The envisaged application areas included computation, physics, biology, complex systems, social and cognitive science and linguistics. Many of these areas were indeed tackled in the variety of topics dealt with during the workshop. Each working day followed the same structure: two survey lectures during the morning, followed by two/three shorter talks in the afternoon, and 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. Both surveys and talks are reported in the "Overview" section of the report, while a wrap-up of the discussions that occurred inside the working groups is reported in the "Working Groups" section.

Cite as

Samson Abramsky, John C. Baez, Fabio Gadducci, and Viktor Winschel. Categorical Methods at the Crossroads (Dagstuhl Perspectives Workshop 14182). In Dagstuhl Reports, Volume 4, Issue 4, pp. 49-63, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{abramsky_et_al:DagRep.4.4.49,
  author =	{Abramsky, Samson and Baez, John C. and Gadducci, Fabio and Winschel, Viktor},
  title =	{{Categorical Methods at the Crossroads (Dagstuhl Perspectives Workshop 14182)}},
  pages =	{49--63},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{4},
  editor =	{Abramsky, Samson and Baez, John C. and Gadducci, Fabio and Winschel, Viktor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.4.49},
  URN =		{urn:nbn:de:0030-drops-46189},
  doi =		{10.4230/DagRep.4.4.49},
  annote =	{Keywords: Category theory, concurrency, economics, game theory, logics, quantum computing, semantics}
}

Search Results

Documents authored by Baez, John C.

Categorical Methods at the Crossroads (Dagstuhl Perspectives Workshop 14182)

Abstract

Cite as

Thanks for your feedback!

Could not send message