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.
Author and article information
Liverpool John Moores University
Byrom St, Liverpool, L3 3AF, UK