Higher category theory as a paradigm for network applications

James R. Bonick

doi:10.1117/12.649528

17 May 2006 Higher category theory as a paradigm for network applications

James R. Bonick

Proceedings Volume 6235, Signal Processing, Sensor Fusion, and Target Recognition XV; 623515 (2006) https://doi.org/10.1117/12.649528
Event: Defense and Security Symposium, 2006, Orlando (Kissimmee), Florida, United States

Abstract

The importance of network science to the present and future military is unquestioned. Networks of some type pervade every aspect of military operations-a situation that is shared by civilian society. However, several aspects of militarily oriented network science must be considered unique or given significantly greater emphasis than their civilian counterparts. Military, especially battlespace, networks must be mobile and robust. They must utilize diverse sensors moving in and out of the network. They must be able to survive various modes of attack and the destruction of large segments of their structure. Nodes often must pass on classifications made locally while other nodes must serve as combined sensor/classifiers or information coordinators. They must be capable of forming fluidly and in an ad hoc manner. In this paper, it will be shown how category theory, higher category theory, and topos theory provide just the model required by military network science. Category theory is a well-developed mathematical field that views mathematical structures abstractly, often revealing previously unnoticed correspondences. It has been used in database and software modeling, and in sensor and data fusion. It provides an advantage over other modeling formalisms both in its generality and in its extensive theory. Higher category theory extends the insights of category theory into higher dimensions, enhancing robustness. Topos theory was developed, in part, through the application of category theory to logic, but it also has geometric aspects. The motivation behind including topos theory in network science is the idea that a mathematical theory fundamental to geometry and logic should be applicable to the study of systems of spatially distributed information and analysis flow. The structures presented in this paper will have profound and far-reaching applications to military networks.

Citation Download Citation

James R. Bonick "Higher category theory as a paradigm for network applications", Proc. SPIE 6235, Signal Processing, Sensor Fusion, and Target Recognition XV, 623515 (17 May 2006); https://doi.org/10.1117/12.649528

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available