A Category-Theoretic Approach to Social Network Analysis

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.

[1]  David A. Schmidt.  Denotational Semantics: A Methodology for Language Development by Phil , 1987 .

[2]  Michael J. Prietula,et al.  Computational organization theory , 1994 .

[3]  A. Gibbons.  Algorithmic Graph Theory , 1985 .

[4]  Anthony H. Dekker.  C3PO: a tool for automatic sound cryptographic protocol analysis , 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.

[5]  J. Lambek,et al.  Introduction to higher order categorical logic , 1986 .

[6]  Anthony H. Dekker.  Social Network Analysis in Military Headquarters using CAVALIER , 2000 .

[7]  Kenneth A. Bowen,et al.  Model theory of modal logic , 2007, Handbook of Modal Logic.

[8]  D. Krackhardt.  Graph theoretical dimensions of informal organizations , 1994 .

[9]  Michael Barr,et al.  Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.

[10]  M. Fitting.  Proof Methods for Modal and Intuitionistic Logics , 1983 .

[11]  Lincoln A. Wallen,et al.  Automated deduction in nonclassical logics , 1990 .

[12]  Mohammed M. Aman,et al.  War: Desert Warrior: A Personal View of the Gulf War; Joint Forces Commander, HRH General Khaled Bin Sultan, with Patrick Seale , 1998 .

[13]  Stanley Wasserman,et al.  Social Network Analysis: Social Network Data , 1994 .

[14]  Eliot A. Cohen,et al.  Desert Warrior: A Personal View of the Gulf War by the Joint Forces Commander , 1995 .

[15]  Anthony H. Dekker,et al.  C4ISR Architectures, Social Network Analysis and the FINC Methodology: An Experiment in Military Organisational Structure , 2002 .