TY - JOUR
TI - Homunculus' Brain and Categorical Logic
AU - Heller, Michael
T2 - ArXiv
AB - The interaction between syntax (formal language) and its semantics (meanings of language) is well studied in categorical logic. Results of this study are employed to understand how the brain could create meanings. To emphasize the toy character of the proposed model, we prefer to speak on homunculus' brain rather than just on the brain. Homunculus' brain consists of neurons, each of which is modeled by a category, and axons between neurons, which are modeled by functors between the corresponding neuron-categories. Each neuron (category) has its own program enabling its working, i.e. a "theory" of this neuron. In analogy with what is known from categorical logic, we postulate the existence of the pair of adjoint functors, called Lang and Syn, from a category, now called BRAIN, of categories, to a category, now called MIND, of theories. Our homunculus is a kind of "mathematical robot", the neuronal architecture of which is not important. Its only aim is to provide us with the opportunity to study how such a simple brain-like structure could "create meanings" out of its purely syntactic program. The pair of adjoint functors Lang and Syn models mutual dependencies between the syntactical structure of a given theory of MIND and the internal logic of its semantics given by a category of BRAIN. In this way, a formal language (syntax) and its meanings (semantics) are interwoven with each other in a manner corresponding to the adjointness of the functors Lang and Syn. Categories BRAIN and MIND interact with each other with their entire structures and, at the same time, these very structures are shaped by this interaction.
DA - 2019///
PY - 2019
DP - Semantic Scholar
VL - abs/1903.03424
KW - Emergence
KW - Sketchy
ER -
TY - JOUR
TI - Using category theory to assess the relationship between consciousness and integrated information theory
AU - Tsuchiya, Naotsugu
AU - Taguchi, Shigeru
AU - Saigo, Hayato
T2 - Neuroscience Research
AB - One of the most mysterious phenomena in science is the nature of conscious experience. Due to its subjective nature, a reductionist approach is having a hard time in addressing some fundamental questions about consciousness. These questions are squarely and quantitatively tackled by a recently developed theoretical framework, called integrated information theory (IIT) of consciousness. In particular, IIT proposes that a maximally irreducible conceptual structure (MICS) is identical to conscious experience. However, there has been no principled way to assess the claimed identity. Here, we propose to apply a mathematical formalism, category theory, to assess the proposed identity and suggest that it is important to consider if there exists a proper translation between the domain of conscious experience and that of the MICS. If such translation exists, we postulate that questions in one domain can be answered in the other domain; very difficult questions in the domain of consciousness can be resolved in the domain of mathematics. We claim that it is possible to empirically test if such a functor exists, by using a combination of neuroscientific and computational approaches. Our general, principled and empirical framework allows us to assess the relationship between the domain of consciousness and the domain of mathematical structures, including those suggested by IIT.
DA - 2016/06/01/
PY - 2016
DO - 10/ggdf95
DP - ScienceDirect
VL - 107
SP - 1
EP - 7
J2 - Neuroscience Research
LA - en
SN - 0168-0102
UR - http://www.sciencedirect.com/science/article/pii/S0168010215002989
Y2 - 2019/11/22/20:54:32
KW - Psychology
KW - Sketchy
ER -
TY - JOUR
TI - Conciliating neuroscience and phenomenology via category theory
AU - Ehresmann, Andrée C.
AU - Gomez-Ramirez, Jaime
T2 - Progress in Biophysics and Molecular Biology
T3 - Integral Biomathics: Life Sciences, Mathematics, and Phenomenological Philosophy
AB - The paper discusses how neural and mental processes correlate for developing cognitive abilities like memory or spatial representation and allowing the emergence of higher cognitive processes up to embodied cognition, consciousness and creativity. It is done via the presentation of MENS (for Memory Evolutive Neural System), a mathematical methodology, based on category theory, which encompasses the neural and mental systems and analyzes their dynamics in the process of ‘becoming’. Using the categorical notion of a colimit, it describes the generation of mental objects through the iterative binding of distributed synchronous assemblies of neurons, and presents a new rationale of spatial representation in the hippocampus (Gómez-Ramirez and Sanz, 2011). An important result is that the degeneracy of the neural code (Edelman, 1989) is the property allowing for the formation of mental objects and cognitive processes of increasing complexity order, with multiple neuronal realizabilities; it is essential “to explain certain empirical phenomena like productivity and systematicity of thought and thinking (Aydede 2010)”. Rather than restricting the discourse to linguistics or philosophy of mind, the formal methods used in MENS lead to precise notions of Compositionality, Productivity and Systematicity, which overcome the dichotomic debate of classicism vs. connectionism and their multiple facets. It also allows developing the naturalized phenomenology approach asked for by Varela (1996) which “seeks articulations by mutual constraints between phenomena present in experience and the correlative field of phenomena established by the cognitive sciences”, while avoiding their pitfalls.
DA - 2015/12/01/
PY - 2015
DO - 10/f75jzr
DP - ScienceDirect
VL - 119
IS - 3
SP - 347
EP - 359
J2 - Progress in Biophysics and Molecular Biology
LA - en
SN - 0079-6107
UR - http://www.sciencedirect.com/science/article/pii/S0079610715001005
Y2 - 2019/11/28/23:48:27
KW - Biology
KW - Emergence
KW - Neuroscience
KW - Psychology
KW - Sketchy
ER -
TY - JOUR
TI - Category Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience
AU - Brown, R.
AU - Porter, T.
T2 - arXiv:math/0306223
AB - We explain the notion of colimit in category theory as a potential tool for describing structures and their communication, and the notion of higher dimensional algebra as potential yoga for dealing with processes and processes of processes.
DA - 2008/02/10/
PY - 2008
DP - arXiv.org
LA - en
ST - Category Theory and Higher Dimensional Algebra
UR - http://arxiv.org/abs/math/0306223
Y2 - 2019/11/22/17:35:38
KW - Emergence
KW - Neuroscience
KW - Rewriting theory
KW - Sketchy
ER -
TY - JOUR
TI - The representation of biological systems from the standpoint of the theory of categories
AU - Rosen, Robert
T2 - The Bulletin of Mathematical Biophysics
DA - 1958/12//
PY - 1958
DO - 10/fdgzxz
DP - Crossref
VL - 20
IS - 4
SP - 317
EP - 341
LA - en
SN - 0007-4985, 1522-9602
UR - http://link.springer.com/10.1007/BF02477890
Y2 - 2019/11/22/18:55:09
KW - Biology
KW - Sketchy
ER -
TY - JOUR
TI - Structures, Learning and Ergosystems: Chapters
AU - Gromov, Misha
AB - We introduce a concept of an ergosystem which functions by building its ”internal structure“ out of the ”raw structures“ in the incoming ﬂows of signals.
DP - Zotero
SP - 159
LA - en
KW - Biology
KW - Compendium
KW - Emergence
KW - Neuroscience
KW - Sketchy
ER -