September 2013
27th International BCS Human Computer Interaction Conference (HCI 2013) (HCI)
Human Computer Interaction Conference (HCI 2013)
9 - 13 September 2013
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.
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/