License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.4.4.49
URN: urn:nbn:de:0030-drops-46189
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2014/4618/
Go back to Dagstuhl Reports

Abramsky, Samson ; Baez, John C. ; Gadducci, Fabio ; Winschel, Viktor
Weitere Beteiligte (Hrsg. etc.): Samson Abramsky and John C. Baez and Fabio Gadducci and Viktor Winschel

Categorical Methods at the Crossroads (Dagstuhl Perspectives Workshop 14182)

pdf-format:
dagrep_v004_i004_p049_s14182.pdf (1.0 MB)

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.

BibTeX - Entry

@Article{abramsky_et_al:DR:2014:4618,
  author =	{Samson Abramsky and John C. Baez and Fabio Gadducci and Viktor Winschel},
  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 =	{Samson Abramsky and John C. Baez and Fabio Gadducci and Viktor Winschel},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2014/4618},
  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}
}

Keywords: Category theory, concurrency, economics, game theory, logics, quantum computing, semantics
Collection: Dagstuhl Reports, Volume 4, Issue 4
Issue Date: 2014
Date of publication: 06.11.2014

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI