Aarhus University Seal / Aarhus Universitets segl

Higher-order contexts via games and the Int-construction

Research output: Working paper/Preprint Working paperResearchpeer-review

Documents

  • Lars Birkedal
  • Mikkel Bundgaard, IT University of Copenhagen, Denmark
  • Søren Debois, IT University of Copenhagen, Denmark
  • Davide Grohmann, IT University of Copenhagen, Denmark
  • Thomas Hildebrandt, IT University of Copenhagen, Denmark
Monoidal categories of acyclic graphs capture the notion of multi-hole context, pervasive in syntax and semantics. Milner’s bigraphs isa recent example. We give a method for generalising such categories to monoidal closed categories of acyclic graphs. The method combinens the Int-construction, lifting traced monoidal categories to compact closed ones; the recent formulation of sortings for reactive systems; and games for multiplicative linear logic. The closed categories obtained by our construction captures a notion of higher-order contexts. These encompass extensions to the traditional notion of context found in recent work on Milner’s reactive systems and bigraphs. We demonstrate how technical devices employed in these extensions are in fact intrinsic to higher-order contexts. Finally, we use the method to construct higher-order bigraphs, recovering directed bigraphs as a limited instance.
Original languageEnglish
PublisherIT University of Copenhagen
Pages32
Publication statusPublished - 2009
Externally publishedYes
SeriesI T University. Technical Report Series
VolumeTR-2009-117
ISSN1600-6100

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 82082099