<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">ICA</journal-id><journal-title-group><journal-title>Intelligent Control and Automation</journal-title></journal-title-group><issn pub-type="epub">2153-0653</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/ica.2019.101003</article-id><article-id pub-id-type="publisher-id">ICA-90841</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Computer Science&amp;Communications</subject></subj-group></article-categories><title-group><article-title>
 
 
  Tensor-Centric Warfare VI: A Global Warfare Model
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Vladimir</surname><given-names>Ivancevic</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Darryn</surname><given-names>Reid</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Peyam</surname><given-names>Pourbeik</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Michael</surname><given-names>Pilling</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>Joint and Operations Analysis Division, Defence Science &amp;amp; Technology Group, Canberra, Australia</addr-line></aff><aff id="aff2"><addr-line>Cyber and Electronic Warfare Division, Defence Science &amp;amp; Technology Group, Canberra, Australia</addr-line></aff><pub-date pub-type="epub"><day>14</day><month>01</month><year>2019</year></pub-date><volume>10</volume><issue>01</issue><fpage>46</fpage><lpage>61</lpage><history><date date-type="received"><day>22,</day>	<month>January</month>	<year>2019</year></date><date date-type="rev-recd"><day>25,</day>	<month>February</month>	<year>2019</year>	</date><date date-type="accepted"><day>28,</day>	<month>February</month>	<year>2019</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  We propose a global warfare model that integrates the models of the whole tensor-centric warfare series, represented as a high-dimensional entangled warfare category. Its underpinning metaphysics is “entangled fusion”: this is the macroscopic entanglement concept inspired by high-dimensional (HD) quantum computation (the “quantum brain”), in which any number of entangled wave-functions can be highly correlated, with neuron-like signaling among them. From this entangled perspective, war and battle is seen essentially as a holistic phenomenon: if any one of a set of mutually entangled warring parties is removed from the equation, then the war as it is instantly stops, possibly to be replaced by a new conflict between the remaining parties but distinct from that which it supplants. The formal global warfare framework developed in this paper expresses this fundamental idea of arbitrary many interrelated/entangled conflicts, each of them defined by its own battle-manifold (with warfighting tensor fields acting on it) and occurring (more-or-less) simultaneously on the planet; we call this entangled category
  <inline-formula><inline-graphic xlink:href="dit_5bd41bfb-16b2-4eb4-aae7-0699a918a39a.png" xlink:type="simple"/></inline-formula>
 
</p></abstract><kwd-group><kwd>Tensor-Centric Warfare</kwd><kwd> Global Warfare Model</kwd><kwd> Entangled Warfare Category</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>As a natural integration of the tensor-centric warfare series (TCW, see [<xref ref-type="bibr" rid="scirp.90841-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.90841-ref2">2</xref>] [<xref ref-type="bibr" rid="scirp.90841-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.90841-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.90841-ref5">5</xref>] ), in this paper we propose a global warfare model.</p><p>The basic concept of Global Warfare introduced in this paper concerns an attempt to realize a holistic approach to modeling war and battle. Until recently, the vast majority of works in this topic have focused on representing dynamics of individual battles or missions. Yet, this approach fails to address the complexity of modern warfare, and particularly the nonlinear and non-local nature of interactions and consequences, thus compelling us to examining wars not just as series of battles, and battles as not just as series of missions, in temporal sequence. Rather, we seek here to model war as arbitrary collections of overlapping battles and battles as collections of missions, which can unfold simultaneously and can interact with one another.</p><p>This increasing complexity and interdependence means that to better design appropriate future force capability and operating methods, strategies and tactics, a more holistic approach to modeling is required. As a consequence of this need for more holistic methods, we need to be able to capture all the interdependencies between various overlapping battles and simultaneous operations in different theaters, and among events during any given war, battle or mission. The intent in this paper is to create a formal mathematical framework through the utility of Tensors and the concept of entanglement to capture this global view of war and battle, which constitutes then a national or multi-national perspective.</p><p>It has been long recognized that warfare is a highly complex phenomenon that contains both elements of order and of chaos, usually with both co-occurring. It can be said that, all other things being equal, the victor will be the side that makes the least errors; or, to put it another way, the side that is able to cope with the chaos the most effectively. We recognize that complex systems lead to emergent patterns and behaviors which can only be understood through modeling and simulations if the model or simulation has captured adequately the large-scale interrelationships that connect all the activities and events that collectively comprise a global picture of war and battle from a national perspective.</p><p>The central idea of the present paper, the underlying thought-current reflecting our holistic view of warfare, is the concept of a large-scale warfighting fusion, or complex, consisting of many interrelated battlefields, that is, an entangled fusion<sup>1</sup> of warfighting. In other words, we see a modern warfare as a compound whole, an inseparable fusion, almost having a mind-like character, comprising a number of non-local yet interacting battlefields-rather than a reducible, disjoint sum of passive mechanistic components.</p><p>The entangled fusion is a macroscopic concept inspired by high-dimensional (HD) quantum computation, called the “quantum brain”, in which any number of entangled wave-functions can be highly-correlated, inseparable and with neuron-like signaling among them. The entanglement is visible in any macroscopic system or process which cannot be completely reduced to its components, but that manifests behavior only as a whole compound/fused system. Biological systems like various swarming behaviors of bees, birds and bats show this characteristic. By analogy, in this paper we claim that the concept of a global warfare is essentially an entangled fusion of two (or possibly more) parties at least some of whom are in a state of conflict; the war cannot exist without conflicting parties though not all parties need to simultaneously be in conflict at any one time. Any attempt to reduce such a phenomenon into independent passive components is necessarily limited at best and generally unrealistic and hence misleading. Furthermore, if any one of mutually entangled parties is removed from the equation then the state of warfare as it has existed until that point instantly stops, possibly to be replaced with another. In other words, war is essentially a holistic phenomenon, both in terms of human populations involved and in terms of (futuristic) autonomous cyber-physical-cognitive systems (CPC-systems, introduced in [<xref ref-type="bibr" rid="scirp.90841-ref6">6</xref>] ).</p><p>Seen in this way, major historical conflicts such as World War I and II comprise not distinct events but more like pronounced clusters of overlapping component conflicts that evolved over time, as parties shifted alliances and entered and exited different levels of states of hostility and cooperation with each other. The change in stance in World War 2 of the USA from supporting Britain with materiel to entering fully into the conflict, the Japanese attack on Pearl Harbor, the breakdown of the German-Soviet non-aggression pact with Germany’s attack on the Soviet Union, the Winter War between Russia and the USSR, and the capitulation of Italy all represent shifting elements of the overall conflict with changing allegiances and levels of conflict. Furthermore, the Second World War did not occur in isolation of other conflicts, but rather was preceded and influenced by a host of disparate conflicts, including the Spanish Civil War, Italy’s invasion of Ethiopia, the Japanese invasion of China, and the ongoing sociopolitical consequences of the First World War, and was then immediately supplanted by the Cold War.</p><p>A formal framework developed in this paper to represent national and international viewpoint of war and battles and to express this fundamental observation that conflicts are not isolated but, at least from a national perspective, comprise many interrelated/entangled conflicts at various degrees of involvement, occurring (more-or-less) simultaneously on the planet, is called the entangled warfare category.</p></sec><sec id="s2"><title>2. Entangled Tensor Categories</title><p>The basic algebraic operator which we use to represent entangled fusion is the ordinary tensor product and its categorical abstraction. Specifically, the Kronecker tensor product, usually denoted by “ ⊗ ” and based on the Cartesian product<sup>2</sup>, is ubiquitous in mathematical sciences. For example, we have used it in Riemannian and K&#228;hler geometries in [<xref ref-type="bibr" rid="scirp.90841-ref4">4</xref>] to define their respective metrics (using summation convention) written by:</p><p>g R i e m = g i k d x i ⊗ d x k   and   g K a &#168; h l e r = g i k &#175; d z i ⊗ d z k &#175; ,</p><p>as the tensor products ⊗ : M R i e m &#215; M R i e m → M R i e m of the differentials of local real coordinates { x i , i = 1 , ⋯ , n } in the Riemannian case, and ⊗ : M K a &#168; h l e r &#215; M K a &#168; h l e r → M K a &#168; h l e r of the differentials of local holomorphic coordinates { z i , z i &#175; } in the K&#228;hler case. In both cases, M &#215; M represents the Cartesian product of the manifold M with itself.</p><p>In the same way, both linear and quadratic Lanchester-type TCW-terms (see [<xref ref-type="bibr" rid="scirp.90841-ref1">1</xref>] ):</p><p>Red: ∂ t R a ︷ R e d . v e c f i e l d = k A b a B b ︷ l i n . L a n c h a s t e r + k b F c d a b R c B d ︷ q u a d . L a n c h a s t e r ∈ M Red ,</p><p>Blue: ∂ t B a ︷ B l u e . v e c f i e l d = κ C b a R b ︷ l i n . L a n c h a s t e r + κ b G c d a b R c B d ︷ q u a d . L a n c h a s t e r ∈ M Blue ,</p><p>implicitly use tensor products between all included tensor fields (of 0th, 1st, 2nd and 4th order). Explicitly, these TCW-equations read:</p><p>Red: ∂ t R a ︷ R e d . v e c f i e l d = k ⊗ A b a ⊗ B b ︷ l i n . L a n c h a s t e r + k b ⊗ F c d a b ⊗ R c ⊗ B d ︷ q u a d . L a n c h a s t e r ∈ M Red ,</p><p>Blue: ∂ t B a ︷ B l u e . v e c f i e l d = κ ⊗ C b a ⊗ R b ︷ l i n . L a n c h a s t e r + κ b ⊗ G c d a b ⊗ R c ⊗ B d ︷ q u a d . L a n c h a s t e r ∈ M Blue .</p><p>In addition, the Red + Blue battle Hamiltonian, H = − J a b R a B b , with its Ising-type connection tensor, J a b = A b a C a b η a b (proposed in [<xref ref-type="bibr" rid="scirp.90841-ref3">3</xref>] ), is explicitly written as: H = − J a b ⊗ R a ⊗ B b , with J a b = A b a ⊗ C a b ⊗ η a b .In all these TCW examples, the tensor product ⊗ is used as a “glue” to stick together various tensor fields into coherent/inseparable terms, representing coherent/inseparable warfighting actions.</p><p>Similarly, in quantum computation, a compound system | ψ 〉 1 ⊗ | ψ 〉 2 consists of two entangled wave-functions, | ψ 〉 1 and | ψ 〉 2 , which can be physically far-apart but still have their maximally-entangled Bell-states<sup>3</sup>: | ψ 〉 12 = | ψ 〉 1 ⊗ | ψ 〉 2 -lives in the tensor product H 1 ⊗ H 2 of their respective Hilbert spaces of states, H 1 and H 2 <sup>4</sup>. Therefore, in quantum computation, the tensor product ⊗ acts both locally, on the wave-functions, as ⊗ : | ψ 〉 1 &#215; | ψ 〉 2 → | ψ 〉 1 ⊗ | ψ 〉 2 (where | ψ 〉 1 &#215; | ψ 〉 2 is the Cartesian product of the wave-functions), and globally, on their respective Hilbert spaces, as ⊗ : H 1 &#215; H 2 → H 1 ⊗ H 2 (where H 1 &#215; H 2 is the Cartesian product of the Hilbert spaces). Generalization to any number of wave-functions (and their respective Hilbert spaces of states) is straightforward.</p><p>Now, inspired by quantum computation, suppose that we have a pair of generic CPC-systems: A (called Alice) and B (called Bob)<sup>5</sup>, and we want to fuse them into one system, a single entangled [ Alice ⊗ Bob ] -compound, denoted by A ⊗ B .The most natural framework for such a combination is a tensor category, a rigorous-yet-flexible functional architecture, defined as follows. Firstly, recall (from Appendix 6) that classical category theory includes objects (CPC-systems: A , B , C , ⋯ ) and morphisms (processes of any nature between the CPC-systems: A → f B ,   B → g C , ⋯ ). This two-fold collection of objects/systems and morphisms/processes between them is governed by the functional composition, denoted by “ ∘ ”, a temporal/sequential composition in which the output of the first process f : A → B becomes the input to the second process g : B → C etc., formally defined as: A → f B → g C = A g ∘ f C .The extension to a chain of many sequential processes is straightforward.</p><p>Secondly, to be able to include compound/fused CPC-systems of arbitrary nature, where two subsystems act as an entangled/coherent whole, we need to extend the standard definition of a category, which is based on the serial/temporal composition “ ∘ ”, with a new notion of parallel/spatial composition (i.e., entangled fusion)<sup>6</sup>. Such an enriching of a standard category theory can be done using the special functor ⊗ , called the symmetric monoidal tensor product<sup>7</sup> (or, tensoring functor ⊗ , for short)―a categorical generalization of the Kronecker tensor product (used above to glue together tensorial expressions), which acts both on objects and on morphisms of a category, along with its compound operations: A ⊗ B f ⊗ g C ⊗ D , inherited from the operations on the individual subsystems.</p><p>Briefly, we define a symmetric monoidal tensor (SMT) category C <sup>8</sup>, using the tensoring functor ⊗ : C &#215; C → C that acts on a pair ( Ob ( C ) , Mor ( C ) ) of generic objects of C : A , B , ⋯ ∈ Ob ( C ) and generic morphisms (arrows) between objects of C : f : A → B ,   g : B → C , ⋯ ∈ Mor ( C ) , where C &#215; C represents the Cartesian product of the category C with itself. The action of the tensoring functor ⊗ : C &#215; C → C is given on objects and morphisms of C by:</p><p>Ob ( C ) : { A , B } ↦ A ⊗ B ≡ B ⊗ A ,</p><p>Mor ( C ) : { A → f B , C → g D } ↦ A ⊗ C f ⊗ g B ⊗ D .</p><p>The main characteristic of the tensoring functor ⊗ : C &#215; C → C is the so-called commutative bifunctoriality<sup>9</sup>: the order in which two operations, f (applied to one subsystem) and g (applied to another subsystem), does not matter (for the proof of the commutative bifunctoriality see [<xref ref-type="bibr" rid="scirp.90841-ref12">12</xref>] as well as [<xref ref-type="bibr" rid="scirp.90841-ref13">13</xref>] , [<xref ref-type="bibr" rid="scirp.90841-ref14">14</xref>] ). Briefly, for any quadruple ( A 1 , A 2 , B 1 , B 2 ) of CPC-systems with the corresponding quadruple of processes ( f 1 , f 2 , g 1 , g 2 ) between them, we have the following bi-compositional rule:</p><p>( g 1 ⊗ g 2 ) ∘ ( f 1 ⊗ f 2 ) = ( g 1 ∘ f 1 ) ⊗ ( g 2 ∘ f 2 ) .</p><p>This rule is the “signature” of any SMT category C .It states that any combinations of serial and parallel compositions of CPC-systems are commutative―their order doesn’t matter, due to the symmetry of the tensoring functor ⊗ (in spite of the time-asymmetry of the serial composition“ ∘ ”).</p><p>In this way defined SMT category C represents a collection of objects/systems and morphisms/processes, combined in two ways: using both sequential composing and parallel tensoring operations-in order to formulate a rigorous compositional theory (see [<xref ref-type="bibr" rid="scirp.90841-ref15">15</xref>] ). This powerful architecture is capable of assembling large and open<sup>10</sup> input-output CPC-systems, by composing and tensoring of many component transfer functions (examples include linear/nonlinear control systems, electric/mechatronics circuits, signal/bond flow graphs, chemical/social networks and deterministic/stochastic Petri nets).</p><p>In the next section, we will use a large-scale SMT category C , called the warfare category W a r f a r e , which is inspired by HD quantum-computation in order to represent a global warfare model. To start the quantum-computation formalism with a simple 2D example, we say that two Hilbert spaces, H A and H B , are objects of the SMT category ℌ i l b 2 with the quantum tensoring functor, ⊗ : ℌ i l b 2 &#215; ℌ i l b 2 → ℌ i l b 2 , given by:</p><p>Ob ( ℌ i l b 2 ) : { H A , H B } ↦ H A ⊗ H B ≡ H B ⊗ H A ,</p><p>Mor ( ℌ i l b 2 ) : { H A → f H B , H C → g H D } ↦ H A ⊗ H C f ⊗ g H B ⊗ H D ,</p><p>where the tensor product of Hilbert spaces:</p><p>H A ⊗ H B = { ∑ k , j     ω k j ⋅ | k 〉 A ⊗ | j 〉 B , weighted   by   ( ω k j ∈ ℂ   for   all   k , j ) }</p><p>includes the entangled [ Alice ⊗ Bob ] Bell-state<sup>11</sup>:</p><p>| ψ 〉 A B ≡ | ψ 〉 A ⊗ | ψ 〉 B = ∑ k , j     ω k j ⋅ | k 〉 A ⊗ | j 〉 B ∈ H A ⊗ H B .</p><p>Generalization of the 2D quantum-computational SMT category ℌ i l b 2 to a large-scale SMT category ℌ i l b N , in which the quantum-computational fusion is called the quantum neural network (QNN, which can be promoted into a “quantum brain” if its dimension N is very large; see [<xref ref-type="bibr" rid="scirp.90841-ref23">23</xref>] ), is defined by the HD tensoring functor, ⊗ : ℌ i l b N &#215; ℌ i l b N → ℌ i l b N , given by:</p><p>Ob ( ℌ i l b N ) : { H i j , H k m } ↦ H i j ⊗ H k m ≡ H k m ⊗ H i j ,   ( allindices = 1, ⋯ , N ) ,</p><p>Mor ( ℌ i l b N ) : { H i j → f H k m , H p q → g H r s } ↦ H i j ⊗ H k m f ⊗ g H p q ⊗ H r s   ,</p><p>with objects given by the following ( N &#215; N )-matrix of Hilbert spaces:</p><p>( H ) N N = [ H 11 ⊗ H 12 ⊗ H 13 ⊗ ⋯ ⊗ ⋯ H 1 N ⊗ ⋯ ⊗ ⋯ ⊗ ⋯ ⋯ ⋯ ⋯ ⊗ H 21 ⊗ H 22 ⊗ H 23 ⊗ ⋯ ⊗ ⋯ H 2 N ⊗ ⋯ ⊗ ⋯ ⊗ ⋯ ⋯ ⋯ ⋯ ⊗ H 31 ⊗ H 32 ⊗ H 33 ⊗ ⋯ ⊗ ⋯ H 3 N ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ H N 1 ⊗ H N 2 ⊗ H N 3 ⊗ ⋯ ⊗ ⋯ H N N ] ∈ ℌ i l b N . (1)</p><p>Every element in the matrix (1) represents the Hilbert state-space of a single multiqubit circuit with its own quantum state: | ψ 〉 k k ∈ H k k (for k = 1 , ⋯ , N ) so that all quantum states form the corresponding complex-valued ( N &#215; N )-matrix, in which every tensor product ⊗ k j ∈ ( | ψ 〉 ) N N has its associated weight matrix ( ω ) k j ∈ ℂ (see [<xref ref-type="bibr" rid="scirp.90841-ref6">6</xref>] ):</p><p>( | ψ 〉 ) N N = [ | ψ 〉 11 ⊗ | ψ 〉 12 ⊗ | ψ 〉 13 ⊗ ⋯ ⊗ ⋯ | ψ 〉 1 N ⊗ ⋯ ⊗ ⋯ ⊗ ⋯ ⋯ ⋯ ⋯ ⊗ | ψ 〉 21 ⊗ | ψ 〉 22 ⊗ | ψ 〉 23 ⊗ ⋯ ⊗ ⋯ | ψ 〉 2 N ⊗ ⋯ ⊗ ⋯ ⊗ ⋯ ⋯ ⋯ ⋯ ⊗ | ψ 〉 31 ⊗ | ψ 〉 32 ⊗ | ψ 〉 33 ⊗ ⋯ ⊗ ⋯ | ψ 〉 3 N ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ | ψ 〉 N 1 ⊗ | ψ 〉 N 2 ⊗ | ψ 〉 N 3 ⊗ ⋯ ⊗ ⋯ | ψ 〉 N N ] ∈ ( H ) N N . (2)</p></sec><sec id="s3"><title>3. The Entangled Warfare Category</title><p>Now, inspired by the QNN model (1)-(2), we can introduce our main result, the HD warfare-category W a r f a r e ―as a tensor entanglement of all existing Red and Blue battle-manifolds<sup>12</sup>:</p><p>W a r f a r e = M Red N N ⊗ M Blue N N   .</p><p>Specifically, the objects and morphisms of the W a r f a r e -category are defined by the action of the HD warfare tensoring functor, ⊗ : W a r f a r e &#215; W a r f a r e → W a r f a r e , given by:</p><p>Ob ( W a r f a r e ) : { [ M Red i j ⊗ M Blue i j ] , [ M Red k m ⊗ M Blue k m ] }                                           ↦ [ M Red i j ⊗ M Blue i j ] ⊗ [ M Red k m ⊗ M Blue k m ] ,</p><p>Mor ( W a r f a r e ) : { [ M Red i j ⊗ M Blue i j ] → f [ M Red k m ⊗ M Blue k m ] ,                                               [ M Red p q ⊗ M Blue p q ] → g [ M Red r s ⊗ M Blue r s ] }                                               ↦ [ M Red i j ⊗ M Blue i j ] ⊗ [ M Red k m ⊗ M Blue k m ] f                                                       ⊗ g [ M Red p q ⊗ M Blue p q ] ⊗ [ M Red r s ⊗ M Blue r s ]</p><p>(with all indices going from 1, ⋯ , N ).</p><p>In the warfare-category: W a r f a r e = M Red N N ⊗ M Blue N N , the sub-objects M Red N N and M Blue N N are represented by the following (N, N)-matrices of Red and Blue battle-manifolds, respectively:</p><p>M Red N N = [ M Red 11 ⊗ M Red 12 ⊗ M Red 13 ⊗ ⋯ ⊗ ⋯ M Red 1 N ⊗ ⋯ ⊗ ⋯ ⊗ ⋯ ⋯ ⋯ ⋯ ⊗ M Red 21 ⊗ M Red 22 ⊗ M Red 23 ⊗ ⋯ ⊗ ⋯ M Red 2 N ⊗ ⋯ ⊗ ⋯ ⊗ ⋯ ⋯ ⋯ ⋯ ⊗ M Red 31 ⊗ M Red 32 ⊗ M Red 33 ⊗ ⋯ ⊗ ⋯ M Red 3 N ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ M Red N 1 ⊗ M Red N 2 ⊗ M Red N 3 ⊗ ⋯ ⊗ ⋯ M Red N N ] ∈ W a r f a r e (3)</p><p>and</p><p>M Blue N N = [ M Blue 11 ⊗ M Blue 12 ⊗ M Blue 13 ⊗ ⋯ ⊗ ⋯ M Blue 1 N ⊗ ⋯ ⊗ ⋯ ⊗ ⋯ ⋯ ⋯ ⋯ ⊗ M Blue 21 ⊗ M Blue 22 ⊗ M Blue 23 ⊗ ⋯ ⊗ ⋯ M Blue 2 N ⊗ ⋯ ⊗ ⋯ ⊗ ⋯ ⋯ ⋯ ⋯ ⊗ M Blue 31 ⊗ M Blue 32 ⊗ M Blue 33 ⊗ ⋯ ⊗ ⋯ M Blue 3 N ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ M Blue N 1 ⊗ M Blue N 2 ⊗ M Blue N 3 ⊗ ⋯ ⊗ ⋯ M Blue N N ] ∈ W a r f a r e   . (4)</p><p>In the matrices of battle-manifolds (3)-(4) the corresponding Red and Blue vectorfields, R i k a and B i k a ( i , k = 1 , ⋯ , N ) , are acting in their respective battle-manifolds:</p><p>R N N a = R N N a ( x , t ) = [ R 11 a ⊗ R 12 a ⊗ R 13 a ⊗ ⋯ ⊗ ⋯ R 1 N a ⊗ ⋯ ⊗ ⋯ ⊗ ⋯ ⋯ ⋯ ⋯ ⊗ R 21 a ⊗ R 22 a ⊗ R 23 a ⊗ ⋯ ⊗ ⋯ R 2 N a ⊗ ⋯ ⊗ ⋯ ⊗ ⋯ ⋯ ⋯ ⋯ ⊗ R 31 a ⊗ R 32 a ⊗ R 33 a ⊗ ⋯ ⊗ ⋯ R 3 N a ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ R N 1 a ⊗ R N 2 a ⊗ R N 3 a ⊗ ⋯ ⊗ ⋯ R N N a ] ∈ M Red N N , (5)</p><p>and</p><p>B N N a = B N N a ( x , t ) = [ B 11 a ⊗ B 12 a ⊗ B 13 a ⊗ ⋯ ⊗ ⋯ B 1 N a ⊗ ⋯ ⊗ ⋯ ⊗ ⋯ ⋯ ⋯ ⋯ ⊗ B 21 a ⊗ B 22 a ⊗ B 23 a ⊗ ⋯ ⊗ ⋯ B 2 N a ⊗ ⋯ ⊗ ⋯ ⊗ ⋯ ⋯ ⋯ ⋯ ⊗ B 31 a ⊗ B 32 a ⊗ B 33 a ⊗ ⋯ ⊗ ⋯ B 3 N a ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ ⋯ B N 1 a ⊗ B N 2 a ⊗ B N 3 a ⊗ ⋯ ⊗ ⋯ B N N a ] ∈ M Blue N N . (6)</p><p>In the matrices (5)-(6), the Red and Blue vectorfields, R i k a and B i k a (for and a = 1 , ⋯ , n ), are governed by the HD generalization of the standard TCW-combat equations:</p><p>∂ t R i k a = k A b a B i k b + k b F c d a b R i k c B i k d + R i k b L R N b a + [ R i k a , B i k a ] + δ R i k a ( H − L ) , (7)</p><p>∂ t B i k a = κ C b a R i k b + κ b G c d a b R i k c B i k d + B i k b L B N b a + [ B i k a , R i k a ] + δ B i k a ( H − L ) ,</p><p>where i , k = 1 , ⋯ , N ( N = dim of the W a r f a r e -category, i.e. the number of entangled battle-manifolds M Red N N ⊗ M Blue N N , for simplicity equal to N for both Red and Blue warfighting parties); a = 1, ⋯ , n ( n = dim of each individual battle-manifold, for simplicity equal to n for both M Red and M Blue ); k A b a B b ∈ M Red and κ C b a R b ∈ M Blue are linear Lanchester-type terms with combat tensors A b a and C b a ; k b F c d a b B c R d ∈ M Red and κ b G c d a b B c R d ∈ M Blue are quadratic Lanchester-type terms with the (strategic, tactical and operational) 4th-order tensors F c d a b and G c d a b ; R b L R N b a ∈ M Red and B b L B N b a ∈ M Blue are entropic Lie-dragging terms; [ R a , B a ] ∈ M Red and [ B a , R a ] ∈ M Blue are entropic Red-Blue commutators; and δ R a ( H − L ) and δ B a ( H − L ) are Hamilton-Langevin delta strikes (for technical details on included tensor terms, see [<xref ref-type="bibr" rid="scirp.90841-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.90841-ref4">4</xref>] ).</p></sec><sec id="s4"><title>4. Discussion</title><p>In summary, by specializing the generic tensoring (bi)functor ⊗ : C &#215; C → C into the warfare tensoring functor, ⊗ : W a r f a r e &#215; W a r f a r e → W a r f a r e , we have developed the global warfare model as the HD entangled warfare category:</p><p>W a r f a r e ≡ [ Ob ( W a r f a r e ) , Mor ( W a r f a r e ) ] = M Red N N ⊗ M Blue N N   ,</p><p>in which the two warfighting parties, Red and Blue<sup>13</sup>, include all involved Red-Blue battle-manifolds (3)-(4), in which the action of the corresponding Red-Blue vectorfields (5)-(6) is happening according to the HD combat Equations (7).</p><p>Our global warfare model, the W a r f a r e -category, has the following main characteristics:</p><p> W a r f a r e includes all interrelated battlefields occurring in an abstract warfare scenario, represented by the entangled fusion, M Red N N ⊗ M Blue N N of the Red and Blue matrices of the battle-manifolds (3)-(4);</p><p> Each individual battlefield is represented by the entangled fusion, M Red ⊗ M Blue , of the individual Red and Blue battle-manifolds, M Red and M Blue ;</p><p> Each individual battlefield, M Red ⊗ M Blue , involves the action of the corresponding Red-Blue vectorfields (5)-(6);</p><p> The action of all included Red-Blue vectorfields is governed by the HD combat Equations (7).</p><p>The (bi) functoriality of the warfare tensoring functor, ⊗ : W a r f a r e &#215; W a r f a r e → W a r f a r e , can be extended to the case of two major warfighting conflicts, W a r f a r e 1 and W a r f a r e 2 , simultaneously occupying two different parts of the globe and producing the combined output   W a r f a r e 12 , as: ⊗ : W a r f a r e 1 &#215; W a r f a r e 2 → W a r f a r e 12 .The objects and morphisms of the combined category W a r f a r e 12 are given by the combined battle manifolds for the Red and Blue warfighting parties, M R 12 N N ⊗ M B 12 N N , as:</p><p>Ob ( W a r f a r e 12 ) : { [ M R 12 i j ⊗ M B 12 i j ] , [ M R 12 k m ⊗ M B 12 k m ] }                                                 ↦ [ M R 12 i j ⊗ M B 12 i j ] ⊗ [ M R 12 k m ⊗ M B 12 k m ] ,</p><p>Mor ( W a r f a r e 12 ) : { [ M R 12 i j ⊗ M B 12 i j ] → f [ M R 12 k m ⊗ M B 12 k m ] ,                                                     [ M R 12 p q ⊗ M B 12 p q ] → g [ M R 12 r s ⊗ M B 12 r s ] }                                                     ↦ [ M R 12 i j ⊗ M B 12 i j ] ⊗ [ M R 12 k m ⊗ M B 12 k m ] f                                                             ⊗ g [ M R 12 p q ⊗ M B 12 p q ] ⊗ [ M R 12 r s ⊗ M B 12 r s ]</p><p>with the subsequent extension of the manifold matrices (3)-(4), vectorfields (5)-(6) and combat Equations (7).</p><p>The extended warfare (bi)category W a r f a r e 12 shows that whenever there are two apparently unrelated warfighting conflicts in different parts of the world (e.g., on different continents)-ultimately they would be entangled into the same global warfare. In other words, even though we have two geographically-separated conflicts, the proposed framework suggests that they can be linked through entanglement fusion.</p><p>The concept of Global Warfare was illustrated in this section and we have shown a practical approach to the holistic modeling of warfare. The framework illustrated here has clearly allowed for the capture of the complexity of the Global Warfare through the use of the concept of entanglement.</p><p>We are confident that this framework is appropriate for the evaluation of future force structures, capability, strategies and tactics. As a result our approach may be thought of as a tool to aid the future planning and design process, being incorporated in such work-flow by the military. We have been successful in creating a formal mathematical framework through the utility of Tensors and the concept of entanglement to capture this global view of warfare.</p></sec><sec id="s5"><title>5. Conclusions</title><p>In this paper we have proposed a global warfare model, represented by the high-dimensional entangled category W a r f a r e .The metaphysics of this global warfare model is “entangled fusion”, the macroscopic entanglement concept, inspired by high-dimensional (HD) quantum computation (the “quantum brain”) in which any number of entangled wave-functions can be highly-correlated, with neuron-like signaling among them. In this “entangled view”, the warfare is essentially a holistic phenomenon, thus if any one of mutually entangled warfighting parties is removed from the equation, the conflict, in its present form, instantly stops, though possibly being instantly replaced by another.</p><p>This delineation of conflicts within our global entangled model thus ascribes a different identity to distinct phases or threads within a larger surrounding web of conflict, as parties enter or exit different states of conflict or cooperation with other parties. We believe this more accurately reflects the way in which past and present geopolitical conflict manifests; in particular, our model here is intended to represent war and battle more from a national perspective, rather than from the point of view of isolated individual battles or missions temporally linearly arranged.</p><p>As an integration of the whole tensor centric warfare series, the formal global warfare framework developed in this paper expresses this fundamental idea of many simultaneously interrelated/entangled battlefields, each of them defined by its own battle-manifold (with warfighting tensor fields actin on it) and occurring (more-or-less) simultaneously on the planet which is called the entangled category W a r f a r e .The action of the W a r f a r e -category is formally defined using the warfare tensoring (bi) functor ⊗ : W a r f a r e &#215; W a r f a r e → W a r f a r e .</p><p>We are confident that the framework presented here is appropriate for the evaluation of future force structures, capability, strategies and tactics, and can be used as a tool to aid the future planning and design process, incorporating a holistic work-flow for the military. We have been successful in creating a formal mathematical framework through the utility of Tensors and the concept of entanglement to capture this global view of warfare.</p></sec><sec id="s6"><title>Acknowledgements</title><p>The authors are grateful to Dr. Tim McKay, Joint and Operations Analysis Division, Defence Science &amp; Technology Group, Australia-for his support of the research work presented in this paper.</p></sec><sec id="s7"><title>Conflicts of Interest</title><p>The authors declare no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s8"><title>Cite this paper</title><p>Ivancevic, V., Reid, D., Pourbeik, P. and Pilling, M. (2019) Tensor-Centric Warfare VI: A Global Warfare Model. Intelligent Control and Automation, 10, 46-61. https://doi.org/10.4236/ica.2019.101003</p></sec><sec id="s9"><title>Appendix: Basic Categories and Functors</title><p>Here we give a very brief introduction to standard category theory (the principal reference is [<xref ref-type="bibr" rid="scirp.90841-ref12">12</xref>]; for a simplified exposition, see e.g. [<xref ref-type="bibr" rid="scirp.90841-ref18">18</xref>]).</p><p>A category is a generic mathematical structure consisting of two collections: 1) a collection of objects (sets with some additional structure), and 2) the corresponding collection of morphisms (or, arrows) between objects (agreeing with this additional structure). A category C is defined as a pair ( Ob ( C ) , Mor ( C ) ) of generic objects A , B , ⋯ in Ob ( C ) and generic morphisms f : A → B ,   g : B → C , ⋯ in Mor ( C ) between objects, with associative composition:</p><p>A → B → C = A → C ,</p><p>and identity (loop) morphism<sup>14</sup>.</p><p>A category C is usually visualized as a commutative diagram:</p><disp-formula id="scirp.90841-formula3"><graphic  xlink:href="//html.scirp.org/file/3-7900543x200.png"  xlink:type="simple"/></disp-formula><p>To make this more precise, we say that a category C is defined if we have:</p><p>1) A class of objects { A , B , C , ⋯ } of C , denoted by Ob ( C ) ;</p><p>2) A class of arrows, or morphisms Mor C ( A , B ) , with elements f : A → B , defined for any ordered pair of objects ( A , B ) ∈ Ob ( C ) , such that for two different pairs ( A , B ) ≠ ( C , D ) in C , we have Mor C ( A , B ) ∩ Mor C ( C , D ) = ∅ ;</p><p>3) For any triplet ( A , B , C ) ∈ Ob ( C ) with f : A → B and g : B → C , there is a composition of morphisms</p><p>Mor C ( B , C ) &#215; Mor C ( A , B ) ∍ ( g , f ) → g ∘ f ∈ Mor C ( A , C ) ,</p><p>written schematically in the standard logic form:</p><p>f : A → B ,     g : B → C g ∘ f : A → C .</p><p>Recall from above that if we have a morphism f ∈ Mor C ( A , B ) , then A = dom ( f ) is a domain of f, and B = cod ( f ) is a codomain of f (of which range of f is a subset, B = ran ( f ) ).</p><p>To make C a category, it must also fulfill the following two properties:</p><p>1) Associativity of morphisms: for all f ∈ Mor C ( A , B ) , g ∈ Mor C ( B , C ) , and h ∈ Mor C ( C , D ) , we have h ∘ ( g ∘ f ) = ( h ∘ g ) ∘ f ; in other words, the following diagram is commutative</p><disp-formula id="scirp.90841-formula4"><graphic  xlink:href="//html.scirp.org/file/3-7900543x229.png"  xlink:type="simple"/></disp-formula><p>2) Existence of identity morphism: for every object A ∈ Ob ( C ) there exists a unique identity morphism 1 A ∈ Mor C ( A , A ) ; for any two morphisms f ∈ Mor C ( A , B ) , and g ∈ Mor C ( B , C ) , compositions with identity morphism 1 B ∈ Mor C ( B , B ) give 1 B ∘ f = f and g ∘ 1 B = g , i.e., the following diagram is commutative:</p><disp-formula id="scirp.90841-formula5"><graphic  xlink:href="//html.scirp.org/file/3-7900543x237.png"  xlink:type="simple"/></disp-formula><p>A functor is a generic picture, projecting (all objects and morphisms of) a source category into (corresponding objects and morphisms of) a target category. Let C = ( Ob ( C ) , Mor ( C ) ) be a source (or, domain) category and D = ( Ob ( D ) , Mor ( D ) ) be a target (or, codomain) category. A functor F = ( F O , F M ) is defined as a pair of maps, F O : Ob ( C ) → Ob ( D ) and F M : Mor ( C ) → Mor ( D ) , preserving categorical symmetry (i.e., commutativity of all diagrams) of C in D .</p><p>Slightly more precisely, a covariant functor, or simply a functor F ∗ : C → D is a picture in the target category D of (all objects and morphisms of) the source category C :</p><disp-formula id="scirp.90841-formula6"><graphic  xlink:href="//html.scirp.org/file/3-7900543x248.png"  xlink:type="simple"/></disp-formula><p>Similarly, a contravariant functor, or a cofunctor F ∗ : C → D is a dual picture with reversed arrows in the target category</p><disp-formula id="scirp.90841-formula7"><graphic  xlink:href="//html.scirp.org/file/3-7900543x250.png"  xlink:type="simple"/></disp-formula><p>In other words, a functor F : C → D from a source category C to a target category D is a pair F = ( F O , F M ) of maps, F O : Ob ( C ) → Ob ( D ) , F M : Mor ( C ) → Mor ( D ) , such that the following holds:</p><p>1) If f ∈ Mor C ( A , B ) then F M ( f ) ∈ Mor D ( F O ( A ) , F O ( B ) ) in case of the covariant functor F ∗ , and F M ( f ) ∈ Mor D ( F O ( B ) , F O ( A ) ) in case of the contravariant functor F ∗ ;</p><p>2) For all A ∈ Ob ( C ) : F M ( 1 A ) = 1 F O ( A ) ;</p><p>3) For all f , g ∈ Mor ( C ) : if cod ( f ) = dom ( g ) , then F M ( g ∘ f ) = F M ( g ) ∘ F M ( f ) in case of the covariant functor F ∗ , and F M ( g ∘ f ) = F M ( f ) ∘ F M ( g ) in case of the contravariant functor F ∗ .</p><p>For further details, see [<xref ref-type="bibr" rid="scirp.90841-ref12">12</xref>] [<xref ref-type="bibr" rid="scirp.90841-ref18">18</xref>].</p></sec><sec id="s10"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.90841-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Ivancevic, V., Pourbeik, P. and Reid, D. (2018) Tensor-Centric Warfare I: Tensor Lanchester Equations. Intelligent Control and Automation, 9, 11-29. https://doi.org/10.4236/ica.2018.92002</mixed-citation></ref><ref id="scirp.90841-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Ivancevic, V., Reid, D. and Pourbeik, P. (2018) Tensor-Centric Warfare II: Entropic Uncertainty Modeling. Intelligent Control and Automation, 9, 30-51.</mixed-citation></ref><ref id="scirp.90841-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Ivancevic, V., Pourbeik, P. and Reid, D. (2018) Tensor-Centric Warfare III: Combat Dynamics with Delta-Strikes. Intelligent Control and Automation, 9, 107-122.https://doi.org/10.4236/ica.2018.94009</mixed-citation></ref><ref id="scirp.90841-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Ivancevic, V., Reid, D. and Pourbeik, P. (2018) Tensor-Centric Warfare IV: K&amp;auml;hler Dynamics of Battlefields. Intelligent Control and Automation, 9, 123-146.</mixed-citation></ref><ref id="scirp.90841-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Ivancevic, V., Pourbeik, P. and Reid, D. (2019) Tensor-Centric Warfare V: Topology of Systems Confrontation. Intelligent Control and Automation, 10, 13-45.</mixed-citation></ref><ref id="scirp.90841-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Ivancevic, V., Reid, D. and Pilling, M. (2017) Mathematics of Autonomy: Mathematical Methods for Cyber-Physical-Cognitive Systems. World Scientific, New Jersey/Singapore. https://doi.org/10.1142/10716</mixed-citation></ref><ref id="scirp.90841-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Einstein, A. and Rosen, N. (1935) The Particle Problem in the General Theory of Relativity. Physical Review, 48, 73-77. https://doi.org/10.1103/PhysRev.48.73</mixed-citation></ref><ref id="scirp.90841-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Einstein, A., Podolsky, B. and Rosen, N. (1935) Can Quantum-Mechanical Description of Physical Reality Be Considered Complete? Physical Review, 47, 777-780.https://doi.org/10.1103/PhysRev.47.777</mixed-citation></ref><ref id="scirp.90841-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Cowen, R. (2015) The Quantum Source of Space-Time. Nature, 527, 7578.https://doi.org/10.1038/527290a</mixed-citation></ref><ref id="scirp.90841-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Nielsen, M.A. and Chuang, I.L. (2002) Quantum Computation and Quantum Information. Cambridge University Press, Cambridge.</mixed-citation></ref><ref id="scirp.90841-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Abramsky, S. and Coecke, B. (2004) A Categorical Semantics of Quantum Protocols. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, Turku, 17-17 July 2004, 415-425. https://doi.org/10.1109/LICS.2004.1319636</mixed-citation></ref><ref id="scirp.90841-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">MacLane, S. (1971) Categories for the Working Mathematician. Springer, New York.</mixed-citation></ref><ref id="scirp.90841-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Coecke, B. and Oliver, E. (2009) Categories for the Practising Physicist.</mixed-citation></ref><ref id="scirp.90841-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Baez, J. and Stay, M. (2009) Quantum Physics, Topology, Logic and Computation: A Rosetta Stone.</mixed-citation></ref><ref id="scirp.90841-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Coecke, B. (2009) Quantum Picturalism. Contemporary Physics, 51, 59-83.https://doi.org/10.1080/00107510903257624</mixed-citation></ref><ref id="scirp.90841-ref16"><label>16</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Bénabou</surname><given-names> J. </given-names></name>,<etal>et al</etal>. (<year>1963</year>)<article-title>Categories Avec Multiplication</article-title><source> Comptes Rendus des Séances de l’Académie des Sciences</source><volume> 256</volume>,<fpage> 1887</fpage>-<lpage>1890</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.90841-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Bénabou, J. (1967) Introduction to Bicategories. In: Reports of the Midwest Category Seminar, Lecture Notes in Math 47, Springer-Verlag, Berlin, 1-77.</mixed-citation></ref><ref id="scirp.90841-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Ivancevic, V. and Ivancevic, T. (2006) Geometrical Dynamics of Complex Systems. Springer, Dordrecht. https://doi.org/10.1007/1-4020-4545-X</mixed-citation></ref><ref id="scirp.90841-ref19"><label>19</label><mixed-citation publication-type="other" xlink:type="simple">Giles, B. and Selinger, P. (2013) Exact Synthesis of Multiqubit Clifford + T Circuits. Physical Review A, 87, Article ID: 032332. https://doi.org/10.1103/PhysRevA.87.032332</mixed-citation></ref><ref id="scirp.90841-ref20"><label>20</label><mixed-citation publication-type="other" xlink:type="simple">Selinger, P. (2013) Quantum Circuits of T-Depth One. Physical Review A, 87, Article ID: 042302. https://doi.org/10.1103/PhysRevA.87.042302</mixed-citation></ref><ref id="scirp.90841-ref21"><label>21</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Selinger</surname><given-names> P. </given-names></name>,<etal>et al</etal>. (<year>2015</year>)<article-title>Generators and Relations for N-Qubit Clifford Operators</article-title><source> Logical Methods in Computer Science</source><volume> 11</volume>,<fpage> 1</fpage>-<lpage>17</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.90841-ref22"><label>22</label><mixed-citation publication-type="other" xlink:type="simple">Aaronson, S. and Gottesman, D. (2004) Improved Simulation of Stabilizer Circuits. Physical Review A, 70, Article ID: 052328. https://doi.org/10.1103/PhysRevA.70.052328</mixed-citation></ref><ref id="scirp.90841-ref23"><label>23</label><mixed-citation publication-type="other" xlink:type="simple">Ivancevic, V. and Ivancevic, T. (2009) Quantum Neural Computation. Springer, Berlin.</mixed-citation></ref><ref id="scirp.90841-ref24"><label>24</label><mixed-citation publication-type="other" xlink:type="simple">Switzer, R.K. (1975) Algebraic Topology—Homology and Homotopy (in Classics in Mathematics). Springer, New York. https://doi.org/10.1007/978-3-642-61923-6</mixed-citation></ref></ref-list></back></article>