@article{heller_homunculus_2019,
title = {Homunculus' {Brain} and {Categorical} {Logic}},
volume = {abs/1903.03424},
abstract = {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.},
journal = {ArXiv},
author = {Heller, Michael},
year = {2019},
note = {ZSCC: 0000000
arXiv: 1903.03424},
keywords = {Emergence, Sketchy}
}
@inproceedings{ehresmann_applications_2018,
title = {Applications of {Categories} to {Biology} and {Cognition}},
doi = {10/ggdf93},
author = {Ehresmann, Andrée C.},
year = {2018},
note = {ZSCC: NoCitationData[s0]},
keywords = {Biology, Emergence, Neuroscience}
}
@article{ehresmann_conciliating_2015,
series = {Integral {Biomathics}: {Life} {Sciences}, {Mathematics}, and {Phenomenological} {Philosophy}},
title = {Conciliating neuroscience and phenomenology via category theory},
volume = {119},
issn = {0079-6107},
url = {http://www.sciencedirect.com/science/article/pii/S0079610715001005},
doi = {10/f75jzr},
abstract = {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.},
language = {en},
number = {3},
urldate = {2019-11-28},
journal = {Progress in Biophysics and Molecular Biology},
author = {Ehresmann, Andrée C. and Gomez-Ramirez, Jaime},
month = dec,
year = {2015},
note = {ZSCC: 0000018},
keywords = {Biology, Emergence, Neuroscience, Psychology, Sketchy},
pages = {347--359}
}
@inproceedings{andreatta_towards_2013,
address = {Berlin, Heidelberg},
series = {Lecture {Notes} in {Computer} {Science}},
title = {Towards a {Categorical} {Theory} of {Creativity} for {Music}, {Discourse}, and {Cognition}},
isbn = {978-3-642-39357-0},
doi = {10/ggdndz},
abstract = {This article presents a first attempt at establishing a category-theoretical model of creative processes. The model, which is applied to musical creativity, discourse theory, and cognition, suggests the relevance of the notion of “colimit” as a unifying construction in the three domains as well as the central role played by the Yoneda Lemma in the categorical formalization of creative processes.},
language = {en},
booktitle = {Mathematics and {Computation} in {Music}},
publisher = {Springer},
author = {Andreatta, Moreno and Ehresmann, Andrée and Guitart, René and Mazzola, Guerino},
editor = {Yust, Jason and Wild, Jonathan and Burgoyne, John Ashley},
year = {2013},
note = {ZSCC: NoCitationData[s1]},
keywords = {Emergence, Neuroscience, Psychology, Sketchy},
pages = {19--37}
}
@article{ehresmann_mens_2012,
title = {{MENS}, an {Info}-{Computational} {Model} for ({Neuro}-)cognitive {Systems} {Capable} of {Creativity}},
volume = {14},
doi = {10/ggdf9t},
abstract = {MENS is a bio-inspired model for higher level cognitive systems; it is an application of the Memory Evolutive Systems developed with Vanbremeersch to model complex multi-scale, multi-agent self-organized systems, such as biological or social systems. Its development resorts to an info-computationalism: first we characterize the properties of the human brain/mind at the origin of higher order cognitive processes up to consciousness and creativity, then we ‘abstract’ them in a MENS mathematical model for natural or artificial cognitive systems. The model, based on a ‘dynamic’ Category Theory incorporating Time, emphasizes the computability problems which are raised.},
journal = {Entropy},
author = {Ehresmann, Andrée C.},
year = {2012},
note = {ZSCC: 0000017},
keywords = {Emergence, Neuroscience},
pages = {1703--1716}
}
@article{brown_category_2008,
title = {Category {Theory} and {Higher} {Dimensional} {Algebra}: potential descriptive tools in neuroscience},
shorttitle = {Category {Theory} and {Higher} {Dimensional} {Algebra}},
url = {http://arxiv.org/abs/math/0306223},
abstract = {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.},
language = {en},
urldate = {2019-11-22},
journal = {arXiv:math/0306223},
author = {Brown, R. and Porter, T.},
month = feb,
year = {2008},
note = {ZSCC: NoCitationData[s0]
arXiv: math/0306223},
keywords = {Emergence, Neuroscience, Rewriting theory, Sketchy}
}
@incollection{horimoto_neural_2008,
address = {Berlin, Heidelberg},
title = {Neural {Algebra} and {Consciousness}: {A} {Theory} of {Structural} {Functionality} in {Neural} {Nets}},
volume = {5147},
isbn = {978-3-540-85100-4 978-3-540-85101-1},
shorttitle = {Neural {Algebra} and {Consciousness}},
url = {http://link.springer.com/10.1007/978-3-540-85101-1_8},
abstract = {Thoughts are spatio-temporal patterns of coalitions of ﬁring neurons and their interconnections. Neural algebras represent these patterns as formal algebraic objects, and a suitable composition operation reﬂects their interaction. Thus, a neural algebra is associated with any neural net. The present paper presents this formalization and develops the basic algebraic tools for formulating and solving the problem of ﬁnding the neural correlates of concepts such as reﬂection, association, coordination, etc. The main application is to the notion of consciousness, whose structural and functional basis is made explicit as the emergence of a set of solutions to a ﬁxpoint equation.},
language = {en},
urldate = {2019-11-22},
booktitle = {Algebraic {Biology}},
publisher = {Springer Berlin Heidelberg},
author = {Engeler, Erwin},
editor = {Horimoto, Katsuhisa and Regensburger, Georg and Rosenkranz, Markus and Yoshida, Hiroshi},
year = {2008},
doi = {10.1007/978-3-540-85101-1_8},
note = {ZSCC: NoCitationData[s0] },
keywords = {Emergence, Neuroscience, Sketchy},
pages = {96--109}
}
@book{mazzola_topos_2002,
title = {The {Topos} of {Music}: {Geometric} {Logic} of {Concepts}, {Theory}, and {Performance}},
isbn = {978-3-7643-5731-3},
shorttitle = {The {Topos} of {Music}},
url = {https://www.springer.com/gp/book/9783764357313},
abstract = {Topos of Music is an extensive and elaborate body of mathematical investigations into music and involves several and ontologically different levels of musical description. Albeit the author Guerino Mazzola lists 17 contributors and 2 collaborators, the book should be characterized as a monograph. Large portions of the content represent original research of Mazzola himself, and the material from other work is exposed from Mazzola's point of view and is well referenced. The preface preintimates an intended double meaning of the term topos in the title. On the one hand, it provides a mathematical anchor, which is programmatic for the entire approach: the concept of a cartesian closed category with a subobject classifier. (...)Zentralblatt MATH},
language = {en},
urldate = {2019-11-28},
publisher = {Birkhäuser Basel},
author = {Mazzola, Guerino},
year = {2002},
doi = {10.1007/978-3-0348-8141-8},
note = {ZSCC: NoCitationData[s1] },
keywords = {Emergence, Psychology, Sketchy}
}
@inproceedings{kato_category_2002,
title = {Category {Theory} and {Consciousness}},
doi = {10/ggdf92},
abstract = {We propose a new research program which provides an approach to consciousness and the t problem ofdeep reality. Our model is based on category theory. The need to t relate l t local l behavior to global behavior has convinced us early on that a good model l for conscious entities had to be found in the notion of sheaf. With t this t i formulation, f l ti , every presheaf represents a brain (orr conscious entity). An important rtant aspect t of the theory we will develop is the notion of sheafification of a presheaf which i will ill allow us to include complementarity as part of the description of the t universe. i . OUf model is intended to describe a notion of consciousness which is i pervasive throughout the universe and not localized in individual conscious entities. i i . At the same time, we will provide a way of describing how consciousness can arise i from fr non-consciousness; it has always been a major problem to understand how it it is i possible i that the fundamental components of a brain are in fact non-conscious, i ,},
author = {Kato, Goro C. and Struppa, Daniele C.},
year = {2002},
note = {ZSCC: 0000016},
keywords = {Emergence, Sketchy}
}
@inproceedings{healy_category_2000,
address = {Como, Italy},
title = {Category theory applied to neural modeling and graphical representations},
isbn = {978-0-7695-0619-7},
url = {http://ieeexplore.ieee.org/document/861277/},
doi = {10/dr29pc},
abstract = {Category theory can be applied to mathematically model the semantics of cognitive neural systems. Here, we employ colimits, functors and natural transformations to model the implementation of concept hierarchies in neural networks equipped with multiple sensors.},
language = {en},
urldate = {2019-11-22},
booktitle = {Proceedings of the {IEEE}-{INNS}-{ENNS} {International} {Joint} {Conference} on {Neural} {Networks}. {IJCNN} 2000. {Neural} {Computing}: {New} {Challenges} and {Perspectives} for the {New} {Millennium}},
publisher = {IEEE},
author = {Healy, M.J.},
year = {2000},
note = {ZSCC: 0000032},
keywords = {Emergence, Neuroscience, Sketchy},
pages = {35--40 vol.3}
}
@article{baas_emergence_1997,
title = {On {Emergence} and {Explanation}},
volume = {25},
issn = {0769-4113},
url = {https://www.persee.fr/doc/intel_0769-4113_1997_num_25_2_1558},
doi = {10/ggdf9z},
abstract = {Emergence is a universal phenomenon that can be defined mathematically in a very general way. This is useful for the study of scientifically legitimate explanations of complex systems, here defined as hyperstructures. A requirement is that observation mechanisms are considered within the general framework. Two notions of emergence are defined, and specific examples of these are discussed.},
language = {en},
number = {2},
urldate = {2019-11-22},
journal = {Intellectica. Revue de l'Association pour la Recherche Cognitive},
author = {Baas, Nils Andreas and Emmeche, Claus},
year = {1997},
note = {ZSCC: 0000201},
keywords = {Biology, Emergence},
pages = {67--83}
}
@incollection{lawvere_tools_1994,
title = {Tools for the {Advancement} of {Objective} {Logic}: {Closed} {Categories} and {Toposes}},
shorttitle = {Tools for the {Advancement} of {Objective} {Logic}},
booktitle = {The {Logical} {Foundations} of {Cognition}},
publisher = {Oxford University Press USA},
author = {Lawvere, F. William},
editor = {Macnamara, John and Reyes, Gonzalo E.},
year = {1994},
note = {ZSCC: NoCitationData[s0]},
keywords = {Compendium, Emergence, Psychology, Sketchy},
pages = {43--56}
}
@article{gromov_structures_nodate,
title = {Structures, {Learning} and {Ergosystems}: {Chapters}},
abstract = {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.},
language = {en},
author = {Gromov, Misha},
note = {ZSCC: 0000010},
keywords = {Biology, Compendium, Emergence, Neuroscience, Sketchy},
pages = {159}
}