English
Related papers

Related papers: Consciousness in a Higher Categorical Context

200 papers

A model of consciousness is proposed which, having a logical basis, lends itself to simulation using a simple mathematical model called Consciousness as Entropy Reduction (CER). The approach has been inspired by previous models such as GWT,…

Neurons and Cognition · Quantitative Biology 2025-10-09 Yifeng Chen , J. W. Sanders

Downward causation is self-causation, the causel effect from the whole to its parts, and is considered a promising theory for the problem of mental causation. However, it remains to be clarified how an irreducible but supervenient downward…

Neurons and Cognition · Quantitative Biology 2024-10-28 Yoshiyuki Ohmura , Yasuo Kuniyoshi

The categorical compositional approach to meaning has been successfully applied in natural language processing, outperforming other models in mainstream empirical language processing tasks. We show how this approach can be generalized to…

Logic in Computer Science · Computer Science 2017-10-02 Joe Bolt , Bob Coecke , Fabrizio Genovese , Martha Lewis , Dan Marsden , Robin Piedeleu

Automated decision support systems that are able to infer second opinions from experts can potentially facilitate a more efficient allocation of resources; they can help decide when and from whom to seek a second opinion. In this paper, we…

Machine Learning · Computer Science 2022-07-01 Nina L. Corvelo Benz , Manuel Gomez Rodriguez

This thesis is divided into two parts. In the first part, we study models of $(\infty,\omega)$-categories. The main result is to establish a Quillen equivalence between Rezk's complete Segal $\Theta$-spaces and Verity's complicial sets. In…

Category Theory · Mathematics 2023-10-13 Félix Loubaton

We give a new proof of the equivalence between two of the main models for $(\infty,n)$-categories, namely the $n$-fold Segal spaces of Barwick and the $\Theta_{n}$-spaces of Rezk, by proving that these are algebras for the same monad on the…

Algebraic Topology · Mathematics 2020-11-03 Rune Haugseng

If $G$ is a group acting on a tree $X$, and ${\mathcal S}$ is a $G$-equivariant sheaf of vector spaces on $X$, then its compactly-supported cohomology is a representation of $G$. Under a finiteness hypothesis, we prove that if $H_c^0(X,…

Representation Theory · Mathematics 2018-10-04 Martin H. Weissman

We extend the framework of combinatorial model categories, so that the category of small presheaves over large indexing categories and ind-categories would be embraced by the new machinery called class-combinatorial model categories. The…

Algebraic Topology · Mathematics 2019-12-06 Boris Chorny , Jiří Rosický

A number of concepts are included in the term 'consciousness'. We choose to concentrate here on phenomenal consciousness, the process through which we are able to experience aspects of our environment or of our physical state. We probably…

Neurons and Cognition · Quantitative Biology 2011-08-23 Jean-Louis Dessalles , Tiziana Zalla

Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also…

Category Theory · Mathematics 2024-07-26 Niels van der Weide , Nima Rasekh , Benedikt Ahrens , Paige Randall North

Let $(\mathcal{A}, \mathcal{B}, \mathcal{C}, i^{*}, i_{\ast}, i^{!},j_!, j^\ast, j_\ast)$ be a recollement of extriangulated categories. We show that there is a bijection between thick subcategories in $\mathcal{C}$ and thick subcategories…

Representation Theory · Mathematics 2024-10-29 Yuxia Mei , Li Wang , Jiaqun Wei

We prove the (2,1)-categorical analogue of the small object argument and give a (2,1)-model structure on the category of small coherent categories, coherent functors and natural isomorphisms. It is induced by a higher dimensional example of…

Category Theory · Mathematics 2022-02-17 Kristóf Kanalas

We develop and investigate a general theory of representations of second-order functionals, based on a notion of a right comodule for a monad on the category of containers. We show how the notion of comodule representability naturally…

Logic in Computer Science · Computer Science 2025-06-12 Danel Ahman , Andrej Bauer

We construct two categorifications of the Lusztig--Vogan module associated to a real reductive algebraic group. The first categorification is given by semisimple complexes in an equivariant derived category, and the second is constructed as…

Representation Theory · Mathematics 2022-07-15 Scott Larson , Anna Romanov

Understanding the context of complex and cluttered scenes is a challenging problem for semantic segmentation. However, it is difficult to model the context without prior and additional supervision because the scene's factors, such as the…

Computer Vision and Pattern Recognition · Computer Science 2021-04-06 Hiroaki Aizawa , Yukihiro Domae , Kunihito Kato

The seemingly infinite diversity of the natural world arises from a relatively small set of coherent rules, such as the laws of physics or chemistry. We conjecture that these rules give rise to regularities that can be discovered through…

Following a suggestion of Warren Weaver, we extend the Shannon model of communication piecemeal into a complex systems model in which communication is differentiated both vertically and horizontally. This model enables us to bridge the…

Information Theory · Computer Science 2016-03-23 Loet Leydesdorff , Alexander Petersen , Inga Ivanova

In this paper, we address the construction of homotopy bicategories of $(\infty,2)$-categories, which we take as being modeled by 2-fold Segal spaces. Our main result is the concrete construction of a functor $h_2$ from the category of…

Category Theory · Mathematics 2025-02-14 Jack Romö

We extend two kinds of causal models, structural equation models and simulation models, to infinite variable spaces. This enables a semantics for conditionals founded on a calculus of intervention, and axiomatization of causal reasoning for…

Artificial Intelligence · Computer Science 2021-06-03 Duligur Ibeling , Thomas Icard

The representation theory for categorical groups is constructed. Each categorical group determines a monoidal bicategory of representations. Typically, these categories contain representations which are indecomposable but not irreducible. A…

Category Theory · Mathematics 2007-05-23 John W. Barrett , Marco Mackaay