Abstract
Category theory and, more specifically, topos categories provide a more expressive type of mathematical modeling and, thereby, open the door to social models that are both rigorous and expressive. The present analysis draws upon four views of topos categories to construct a rich model of a logic based on recognition theory. The topos initially provides support for: (1) set theory (and classical logic), (2) topological regions dualism. The resulting structures support: (3) a local intuitionist logic that can vary by situated circumstances and actor types, and (4) the specification of regions that are defined by finely-differentiated classifiers. These tools construct an integrated topos category of social recognition that supports diverse forms of local logic. The latter are then explored regarding their contributions to a mathematical model of social conflict. Categorial analysis of historical patterns, as well as a complementary simulation model, is used to illustrate the advantages of such an approach.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Toposes and topoi are both used as a plural of topos. In this discussion, the latter is preferred.
- 2.
To show how mathematically expressive definitions of topoi have become, Johnstone (2002: vii–viii) lists the seven descriptions of topoidal categories first assembled by André Joyal): (1) a category of sheaves on a site, (2) a category with finite limits and power objects, (3) an intuitionistic higher-order theory, (4) a first-order (infinitary) geometric theory, (5) a totally cocomplete object in the meta-2-category of Cartesian categories, (6) a generalized space, and (7) a semantics for intuitionistic formal systems. He then notes that six additional definitions have been formulated since the initial list was formulated: (8) a Morita equivalence class of continuous groupoids, (9) the category of maps of a power allegory, (10) a category whose canonical indexing over itself is complete and well-powered, (11) the spatial manifestation of a Giraud frame, (12) a setting for synthetic differential geometry, and (13) a setting for synthetic domain theory. Formally, these definitions overlap each other to some extent, but they also illustrate how diverse are the contributions that topoi can make.
- 3.
References
Amenta N, Yong JK (2004) The domain of a point set surface. In: Alexis M, Rusinkiewicz S (eds) Eurographics symposium on point-based graphics, pp 139–147. http://graphics.cs.ucdavis.edu/~yjkil/pub/domain.html
Asch A (ed) (2008) The complete lyrics of Oscar Hammerstein II. Alfred A. Knopf, New York
Awodey S (2010) Category theory. Oxford University Press, New York
Bell JL (1988) Toposes and local set theories: an introduction. Oxford University Press, New York
Bell JL (2006) Abstract and variable sets in category theory. In: Sica G (ed) What is category theory? Polimetrica, Monza, pp 9–16
Borceux F (1994) Handbook of categorical algebra 3: categories of sheaves. Cambridge University Press, New York
Buckley W (1967) Sociology and modern systems theory. Prentice Hall, Englewood Cliffs
Burger T (1987) Max Weber’s theory of concept formation: history, laws and ideal types. Duke University Press, Durham
Cancian F (1960) Functional analysis of change. Am Sociol Rev 24(December):818–827
Collins R (1975) Conflict sociology: toward an explanatory science. Academic, New York
Collins R (1986) The future decline of the Russian empire. In: Collins R (ed) Weberian sociological theory. Cambridge University Press, New York, pp 186–201
Collins R (1993) Emotional energy as the common denominator of rational choice. Ration Soc 5(April):203–230
Collins R (1994) Four sociological traditions. Oxford University Press, New York
Coser L (1964) The functions of social conflict. MacMillan, New York
Coser L (1967) Social conflict and the theory of social change. In: Coser LA (ed) Continuities in the study of social conflict. Free Press, New York, pp 17–35
Crane L, Yetter D (1993) A categorical construction of 4D topological quantum field theories. In: Kauffman LH, Baadhio RA (eds) Quantum topology. World Scientific, River Edge, pp 120–130
Dahrendorf R (1958) Out of utopia: toward a reorientation of sociological analysis. Am J Sociol 64(September):115–127
Dahrendorf R (1959) Class and class conflict in industrial society. Stanford University Press, Stanford
Dummett M (1977) Elements of intuitionism. Oxford University Press, New York
Echevarria II, Antulio J (2007) Clausewitz and contemporary war. Oxford University Press, New York
Ehresmann AC, Vanbremeersch J-P (2007) Memory evolutive systems: hierarchy, emergence, cognition. Elsevier, Amsterdam
Emerson RM (1962) Power-dependence relations. Am Sociol Rev 27(February):31–41
Flori C (2013) A first course in topos quantum theory. Springer, New York
Godel K (2004) On intuitionistic arithmetic and number theory. In: Davis M (ed) The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions. Dover, Mineola, pp 75–81
Goldblatt R (1984) Topoi: the categorial analysis of logic. Dover, Mineola
Gupta AK, Smith KG, Shalley CE (2006) The interplay between exploration and exploitation. Acad Manag J 49(August):693–706
Heise DR (1979) Understanding events: affect and the construction of social action. Cambridge University Press, New York
Herberg-Rothe A (2007) Clausewitz’s puzzle: the political theory of war. Oxford University Press, New York
Honneth A (1996) The struggle for recognition: the moral grammar of social conflicts. MIT Press, Cambridge, MA
Horton J (1966) Order and conflict theories of social problems as competing ideologies. Am J Sociol 71(May):701–713
Jacobs B (1999) Categorical logic and type theory. Elsevier, New York
Johnson C (1966) Revolutionary change. Little, Brown, Boston
Johnstone PT (2002) Sketches of an elephant: a topos theory compendium, Two vols. Oxford University Press, New York
Lipovača M (2011) Learn you a Haskell for great good! No Starch Press, San Francisco
Lockwood D (1956) Remarks on the social system. Br J Sociol 7(June):134–146
March JG (1991) Exploration and exploitation in organizational learning. Organ Sci 2(February):71–87
Marquis J-P (2009) From a geometrical point of view: a study of the history and philosophy of category theory. Springer, New York
Martin-Löf P (1984) Intuitionistic type theory. Grafitalia, Naples
McLarty C (1996) Elementary categories, elementary toposes. Oxford University Press, New York
Merton RK (1957) Social theory and social structure. Free Press, New York
O’Sullivan B, Goerzen J, Stewart D (2009) Real world Haskell. O’Reilly Media, Sebastopol
Parsons T (1953) The social system. Free Press, New York
Parsons T, Smelser NJ (1956) Economy and society. Free Press, New York
Perloff RM (2010) The dynamics of persuasion: communication and attitudes in the 21st century. Routledge, New York
Pierce BC (1991) Basic category theory for computer scientists. MIT Press, Cambridge, MA
Rosen R (1991) Life itself. Columbia University Press, New York
Sallach DL (2008) Modeling emotional dynamics: currency versus field. Ration Soc 20:343–365
Sallach DL (2012a) Socio-cultural structures: a categorical synthesis. Paper presented to the Midwest Sociological Society, Minneapolis
Sallach DL (2012b) Categorial social science: theory, methodology and design. In: Proceedings of the World Congress on Social Simulation, Taipei
Sallach DL (2012c) Social coordination: toward a category-theoretical synthesis. In: Proceedings of the World Congress on Social Simulation, Taipei
Sallach DL, North MJ, Tatara E (2011) Multigame dynamics: structures and strategies. In: Bosse T, Geller A, Jonker CM (eds) Multi-agent-based simulation XI. Springer, Berlin, pp 108–120
Sewell WH (2005) Logics of history: social theory and transformation. University of Chicago Press, Chicago
Sharma V (2008) A social theory of war: Clausewitz and war reconsidered. Presented at the comparative politics workshop, Yale University
Strachan H (2007) Clausewitz’s on war. Grove Press, New York
Takahara Y, Takai T (1985) Category theoretical framework of general systems. Int J Gen Syst 11:1–33
Takahashi S, Takahara Y (1995) Logical approach to systems theory. Springer, New York
Univalent Foundations Program (UFP) (2013) Homotopy type theory: univalent foundations of mathematics. Institute for Advanced Study, Princeton
van den Berghe P (1963) Dialectic and functionalism: toward a theoretical synthesis. Am Sociol Rev 28(October):695–705
Weber M (1949) The methodology of the social sciences. Free Press, New York
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer Japan
About this paper
Cite this paper
Sallach, D.L. (2015). Topos Modeling of Social Conflict: Theory and Methods. In: Nakai, Y., Koyama, Y., Terano, T. (eds) Agent-Based Approaches in Economic and Social Complex Systems VIII. Agent-Based Social Systems, vol 13. Springer, Tokyo. https://doi.org/10.1007/978-4-431-55236-9_4
Download citation
DOI: https://doi.org/10.1007/978-4-431-55236-9_4
Publisher Name: Springer, Tokyo
Print ISBN: 978-4-431-55235-2
Online ISBN: 978-4-431-55236-9
eBook Packages: Business and EconomicsEconomics and Finance (R0)