A Category Theory Approach to HCI

In this paper we revisit Category Theory as a modelling tool for Human Computer Interaction. We first review past approaches and limitations to formal methods in HCI. We then introduce a category theory with a tutorial example, before moving onto a more complex example. We end by discussing the further implications for theories of HCI.

Content

Author and article information

Contributors

David England

Conference

Publication date: September 2013

Publication date (Print): September 2013

Pages: 1-5

Affiliations

[0001]Liverpool John Moores University

Byrom St, Liverpool, L3 3AF, UK

Article

DOI: 10.14236/ewic/HCI2013.2

SO-VID: ca1fe6bf-b57b-45a2-b05a-3d42f969d2a7

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: 27th International BCS Human Computer Interaction Conference (HCI 2013)

Conference acronym: HCI

Conference number: 27

Conference location: Brunel University, London, UK

Conference date: 9 - 13 September 2013

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Human Computer Interaction Conference (HCI 2013)

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/HCI2013.2

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

A Category Theory Approach to HCI

Abstract