title: Categorial compositionality: a category theory explanation for the systematicity of human cognition.
abstract: Classical and Connectionist theories of cognitive architecture seek to explain systematicity (i.e., the property of human cognition whereby cognitive capacity comes in groups of related behaviours) as a consequence of syntactically and functionally compositional representations, respectively. However, both theories depend on ad hoc assumptions to exclude specific instances of these forms of compositionality (e.g. grammars, networks) that do not account for systematicity. By analogy with the Ptolemaic (i.e. geocentric) theory of planetary motion, although either theory can be made to be consistent with the data, both nonetheless fail to fully explain it. Category theory, a branch of mathematics, provides an alternative explanation based on the formal concept of adjunction, which relates a pair of structure-preserving maps, called functors. A functor generalizes the notion of a map between representational states to include a map between state transformations (or processes). In a formal sense, systematicity is a necessary consequence of a higher-order theory of cognitive architecture, in contrast to the first-order theories derived from Classicism or Connectionism. Category theory offers a re-conceptualization for cognitive science, analogous to the one that Copernicus provided for astronomy, where representational states are no longer the center of the cognitive universe--replaced by the relationships between the maps that transform them.
authors.affiliation: Mathematical Neuroinformatics Group, Human Technology Research Institute, National Institute of Advanced Industrial Science and Technology, Tsukuba, Ibaraki, Japan. steve@ni.aist.go.jp
authors.forename: Steven
authors.initials: S
authors.lastname: Phillips
authors.forename: William H
authors.initials: WH
authors.lastname: Wilson
mesh_terms: D000465:Algorithms; D003071:Cognition; D019336:Cognitive Science / Q000379:methods*; D006801:Humans; D008960:Models, Psychological; D011582:Psychological Theory