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.

Characterizing consciousness in and of itself is notoriously difficult. Here, we propose an alternative approach to characterize, and eventually define, consciousness through exhaustive descriptions of consciousness’ relationships to all other consciousness. This approach is founded in category theory. Indeed, category theory can prove that two objects A and B in a category can be equivalent if and only if all the relationships that A holds with others in the category are the same as those of B; this proof is called the Yoneda lemma. To introduce the Yoneda lemma, we gradually introduce key concepts of category theory to consciousness researchers. Along the way, we propose several possible definitions of categories of consciousness, both in terms of level and contents, through the usage of simple examples. We propose to use the categorical structure of consciousness as a gold standard to formalize empirical research (e.g. color qualia structure at fovea and periphery) and, especially, the empirical testing of theories of consciousness.

Consciousness is a central issue in neuroscience, however, we still lack a formal framework that can address the nature of the relationship between consciousness and its physical substrates. In this review, we provide a novel mathematical framework of category theory (CT), in which we can define and study the sameness between different domains of phenomena such as consciousness and its neural substrates. CT was designed and developed to deal with the relationships between various domains of phenomena. We introduce three concepts of CT which include (i) category; (ii) inclusion functor and expansion functor; and, most importantly, (iii) natural transformation between the functors. Each of these mathematical concepts is related to specific features in the neural correlates of consciousness (NCC). In this novel framework, we will examine two of the major theories of consciousness, integrated information theory (IIT) of consciousness and temporospatial theory of consciousness (TTC). We conclude that CT, especially the application of the notion of natural transformation, highlights that we need to go beyond NCC and unravels questions that need to be addressed by any future neuroscientific theory of consciousness.

Soft robotics is an emerging field of research where the robot body is composed of flexible and soft materials. It allows the body to bend, twist, and deform to move or to adapt its shape to the environment for grasping, all of which are difficult for traditional hard robots with rigid bodies. However, the theoretical basis and design principles for soft robotics are not well‐founded despite their recognized importance. For example, the control of soft robots is outsourced to morphological attributes and natural processes; thus, the coupled relations between a robot and its environment are particularly crucial. In this paper, we propose a mathematical foundation for soft robotics based on category theory, a branch of abstract mathematics where any notions can be described by objects and arrows. It allows for a rigorous description of the inherent characteristics of soft robots and their relation to the environment as well as the differences compared to conventional hard robots. We present a notion called the category of mobility to well describe the subject matter. The theory has been applied to a model system and analysis to highlight the adaptation behavior observed in universal grippers, which are a typical example of soft robotics. The aim of the present study is not to offer concrete engineering solutions to existing robotics but to provide clear mathematical description of soft robots by category theory and to imply its potential abilities by a simple soft gripper demonstration. This paper paves the way to developing a theoretical background and design principles for soft robotics.

Consciousness is a central issue in cognitive neuroscience. To explain the relationship between consciousness and its neural correlates, various theories have been proposed. We still lack a formal framework that can address the nature of the relationship between consciousness and its physical substrates though. Here, we provide a novel mathematical framework of Category Theory (CT), in which we can define and study the “sameness” between “different” domains of phenomena such as consciousness and its neural substrates. CT was designed and developed to deal with the “relationships” between various domains of phenomena. We introduce three concepts of CT including (i) category; (ii) inclusion functor and expansion functor; and (iii) natural transformation between the functors. Each of these mathematical concepts is related to specific features in the neural correlates of consciousness (NCC). In this novel framework, we will examine two of the major theories of consciousness: integrated information theory (IIT) of consciousness and temporo-spatial theory of consciousness (TTC). These theories concern the structural relationships among structures of physical substrates and subjective experiences. The three CT-based concepts, introduced in this paper, unravel some basic issues in our search for the NCC; while addressing the same questions, we show that IIT and TTC provide different albeit complementary answers. Importantly, our account suggests that we need to go beyond a traditional concept of NCC including both content-specific and full NCC. We need to shift our focus from the relationship between “one” neuronal and “one” phenomenal state to the relationship between a structure of neural states and a structure of phenomenal states. We conclude that CT unravels and highlights basic questions about the NCC in general which needs to be met and addressed by any future neuroscientific theory of consciousness. Author summary: Neuroscience has made considerable progress in uncovering the neural correlates of consciousness (NCC). At the same time, recent studies demonstrated the complexity of the neuronal mechanisms underlying consciousness. To make further progress in the neuroscience of consciousness, we need proper mathematical formalization of the neuronal mechanisms potentially underlying consciousness. Providing a first tentative attempt, our paper addresses both by (i) pointing out the specific problems of and proposing a new approach to go beyond the traditional approach of the neural correlates of consciousness, and (ii) by recruiting a recently popular mathematical formalization, category theory (CT). With CT, we provide mathematical formalization of the broader neural correlates of consciousness by its application to two of the major theories, integrated information theory (IIT) and temporo-spatial theory of consciousness (TTC). Together, our CT-based mathematical formalization of the neural correlates of consciousness including its specification in the terms of IIT and TTC allows to go beyond the current concept of NCC in both mathematical and neural terms.