What is a categorical model of arrows?

Research output: Contribution to journalConference Contribution

7 Citations (Scopus)
100 Downloads (Pure)

Abstract

We investigate what the correct categorical formulation of Hughes’ Arrows should be. It has long been folklore that Arrows, a functional programming construct, and Freyd categories, a categorical notion due to Power, Robinson and Thielecke, are somehow equivalent. In this paper, we show that the situation is more subtle. By considering Arrows wholly within the base category we derive two alternative formulations of Freyd category that are equivalent to Arrows—enriched Freyd categories and indexed Freyd categories. By imposing a further condition, we characterise those indexed Freyd categories that are isomorphic to Freyd categories. The key differentiating point is the number of inputs available to a computation and the structure available on them, where structured input is modelled using comonads.
Original languageEnglish
Pages (from-to)19-37
Number of pages19
JournalElectronic Notes in Theoretical Computer Science
Volume229
Issue number5
DOIs
Publication statusPublished - 8 Mar 2011

Keywords

  • arrows
  • categorical model
  • functional programming
  • Hughes arrows
  • Freyd categories

Fingerprint Dive into the research topics of 'What is a categorical model of arrows?'. Together they form a unique fingerprint.

Cite this