A Category-Theoretic Approach to Social Network Analysis
Anthony H. Dekker · Electronic Notes in Theoretical Computer Science · 2002
In this paper we introduce a category-theoretic formalisation of social network analysis. This generalises traditional graph-theoretic formalisations and facilitates a formal approach to statements and beliefs about social networks. We describe a formal semantics for belief in social networks, and we illustrate our formalisation by a case study drawn from organisational structure in the Gulf War.