@Article{         BlassGurevich:2018,
  Author        = "Blass, Andreas and Gurevich, Yuri",
  Abstract      = "In computer science, category theory remains a contentious issue, with enthusiastic fans and a skeptical majority. Categories were introduced by Samuel Eilenberg and Saunders Mac Lane as an auxiliary notion in their general theory of natural equivalences. Here we argue that something like categories is needed on a more basic level. As you work with operations on structures, it may be necessary to coherently manipulate isomorphism (or more generally homomorphism) witnesses for various properties of these operations, e.g.\ associativity, commutativity and distributivity. A working mathematician, to use Mac Lane's term, is well advised to be aware of the coherent witness-manipulation problem and to know that category theory is an appropriate framework to address the problem. Of course, the working mathematician in question may be a computer scientist or physicist.",
  date-added    = "2019-02-08 14:50:54 +0100",
  date-modified = "2019-02-08 14:50:54 +0100",
  EPrint        = "1807.11399",
  Journal       = "The Bulletin of the European Association for Theoretical Computer Science Vol. 124 February 2018",
  Month         = "07",
  Title         = "Who needs category theory?",
  URL           = "https://arxiv.org/pdf/1807.11399",
  Year          = "2018",
  bdsk-url-1    = "https://arxiv.org/pdf/1807.11399",
  bdsk-url-2    = "https://arxiv.org/abs/1807.11399",
  File          = "1807.11399 (0) (0) - a - a - p.pdf"
}

@Article{ BlassGurevich:2018, Author = "Blass, Andreas and Gurevich, Yuri", Abstract = "In computer science, category theory remains a contentious issue, with enthusiastic fans and a skeptical majority. Categories were introduced by Samuel Eilenberg and Saunders Mac Lane as an auxiliary notion in their general theory of natural equivalences. Here we argue that something like categories is needed on a more basic level. As you work with operations on structures, it may be necessary to coherently manipulate isomorphism (or more generally homomorphism) witnesses for various properties of these operations, e.g.\ associativity, commutativity and distributivity. A working mathematician, to use Mac Lane's term, is well advised to be aware of the coherent witness-manipulation problem and to know that category theory is an appropriate framework to address the problem. Of course, the working mathematician in question may be a computer scientist or physicist.", date-added = "2019-02-08 14:50:54 +0100", date-modified = "2019-02-08 14:50:54 +0100", EPrint = "1807.11399", Journal = "The Bulletin of the European Association for Theoretical Computer Science Vol. 124 February 2018", Month = "07", Title = "Who needs category theory?", URL = "https://arxiv.org/pdf/1807.11399", Year = "2018", bdsk-url-1 = "https://arxiv.org/pdf/1807.11399", bdsk-url-2 = "https://arxiv.org/abs/1807.11399", File = "1807.11399 (0) (0) - a - a - p.pdf" }