Hints at higher dimensional category theory

2021 ◽  
pp. 274-320
Keyword(s):  
Category Theory ◽  
Higher Dimensional

Elements of ∞-Category Theory

2022 ◽  
Author(s):  
Emily Riehl ◽  
Dominic Verity
Keyword(s):  
First Principles ◽  
Category Theory ◽  
Higher Dimensional ◽  
Background Material ◽  
Model Independent ◽  
The Universe ◽  
Formal Category

The language of ∞-categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. To explain what exactly an ∞-category is requires various technical models, raising the question of how they might be compared. To overcome this, a model-independent approach is desired, so that theorems proven with any model would apply to them all. This text develops the theory of ∞-categories from first principles in a model-independent fashion using the axiomatic framework of an ∞-cosmos, the universe in which ∞-categories live as objects. An ∞-cosmos is a fertile setting for the formal category theory of ∞-categories, and in this way the foundational proofs in ∞-category theory closely resemble the classical foundations of ordinary category theory. Equipped with exercises and appendices with background material, this first introduction is meant for students and researchers who have a strong foundation in classical 1-category theory.

TOWARDS NONCOMMUTATIVE COMPUTING

2000 ◽  
Vol 14 (22n23) ◽  
pp. 2451-2454
Author(s):  
G. F. MASCARI
Keyword(s):  
Information Processing ◽  
Quantum Information ◽  
Category Theory ◽  
Quantum Information Processing ◽  
Mathematical Structures ◽  
Structure And Dynamics ◽  
Physical Experiments ◽  
Higher Dimensional ◽  
Higher Category Theory ◽  
Categorical Constructions

This paper presents first steps of an approach to quantum information processing in the framework of higher category theory from a noncommutative mathematics perspective. The aim is to provide a unifying theory for the structure and dynamics of composite quantum information processing systems, such that states, evolution, entanglement, decoherence are modeled by abstract categorical constructions and vice versa new mathematical structures arising from higher dimensional algebra could be "tested" as computational schemes and possibly realized by physical experiments.

不定自然変換理論に基づく比喩理解モデルの計算論的実装の試み

2020 ◽  
Author(s):  
Shunsuke Ikeda ◽  
Miho Fuyama ◽  
Hayato Saigo ◽  
Tatsuji Takahashi
Keyword(s):  
Category Theory ◽  
Analogical Reasoning ◽  
Machine Learning Techniques ◽  
Huge Amount ◽  
Metaphor Comprehension ◽  
Weighted Directed Graph ◽  
Learning Techniques ◽  
Descriptive Validity ◽  
Association Data ◽  
Human Participants

Machine learning techniques have realized some principal cognitive functionalities such as nonlinear generalization and causal model construction, as far as huge amount of data are available. A next frontier for cognitive modelling would be the ability of humans to transfer past knowledge to novel, ongoing experience, making analogies from the known to the unknown. Novel metaphor comprehension may be considered as an example of such transfer learning and analogical reasoning that can be empirically tested in a relatively straightforward way. Based on some concepts inherent in category theory, we implement a model of metaphor comprehension called the theory of indeterminate natural transformation (TINT), and test its descriptive validity of humans' metaphor comprehension. We simulate metaphor comprehension with two models: one being structure-ignoring, and the other being structure-respecting. The former is a sub-TINT model, while the latter is the minimal-TINT model. As the required input to the TINT models, we gathered the association data from human participants to construct the ``latent category'' for TINT, which is a complete weighted directed graph. To test the validity of metaphor comprehension by the TINT models, we conducted an experiment that examines how humans comprehend a metaphor. While the sub-TINT does not show any significant correlation, the minimal-TINT shows significant correlations with the human data. It suggests that we can capture metaphor comprehension processes in a quite bottom-up manner realized by TINT.

Spectroscopy-Based Mapping with Scanning Microwave Impedance Microscopy

2018 ◽  
Author(s):  
Peter De Wolf ◽  
Zhuangqun Huang ◽  
Bede Pittenger
Keyword(s):  
Single Point ◽  
Electrical Characterization ◽  
Principal Component ◽  
High Sensitivity ◽  
Data Cube ◽  
Nanometer Scale ◽  
Learning Approaches ◽  
Data Set ◽  
3D Data ◽  
Higher Dimensional

Abstract Methods are available to measure conductivity, charge, surface potential, carrier density, piezo-electric and other electrical properties with nanometer scale resolution. One of these methods, scanning microwave impedance microscopy (sMIM), has gained interest due to its capability to measure the full impedance (capacitance and resistive part) with high sensitivity and high spatial resolution. This paper introduces a novel data-cube approach that combines sMIM imaging and sMIM point spectroscopy, producing an integrated and complete 3D data set. This approach replaces the subjective approach of guessing locations of interest (for single point spectroscopy) with a big data approach resulting in higher dimensional data that can be sliced along any axis or plane and is conducive to principal component analysis or other machine learning approaches to data reduction. The data-cube approach is also applicable to other AFM-based electrical characterization modes.

HIGHER DIMENSIONAL ROBERTSON WALKER UNIVERSES INTERACTING WITH BRANS-DICKE FIELD

2020 ◽  
Vol 9 (10) ◽  
pp. 8545-8557
Author(s):  
K. P. Singh ◽  
T. A. Singh ◽  
M. Daimary
Keyword(s):  
Higher Dimensional

Category Theory and Foundations

2018 ◽  
Author(s):  
Michael Ernst
Keyword(s):  
Category Theory ◽  
Mathematical Thinking ◽  
Mathematical Practice ◽  
Foundations Of Mathematics ◽  
Ongoing Debate ◽  
Technical Adequacy ◽  
Theoretical Foundations

In the foundations of mathematics there has been an ongoing debate about whether categorical foundations can replace set-theoretical foundations. The primary goal of this chapter is to provide a condensed summary of that debate. It addresses the two primary points of contention: technical adequacy and autonomy. Finally, it calls attention to a neglected feature of the debate, the claim that categorical foundations are more natural and readily useable, and how deeper investigation of that claim could prove fruitful for our understanding of mathematical thinking and mathematical practice.

Enriched Meanings

2020 ◽  
Author(s):  
Ash Asudeh ◽  
Gianluca Giorgolo
Keyword(s):  
Cognitive Science ◽  
Programming Languages ◽  
Category Theory ◽  
Worst Case ◽  
Disciplinary Boundaries ◽  
Semantics Of Programming Languages ◽  
Basic Meaning ◽  
Language Interpretation ◽  
Major Branch ◽  
Compositional Properties

This book presents a theory of enriched meanings for natural language interpretation. Certain expressions that exhibit complex effects at the semantics/pragmatics boundary live in an enriched meaning space while others live in a more basic meaning space. These basic meanings are mapped to enriched meanings just when required compositionally, which avoids generalizing meanings to the worst case. The theory is captured formally using monads, a concept from category theory. Monads are also prominent in functional programming and have been successfully used in the semantics of programming languages to characterize certain classes of computation. They are used here to model certain challenging linguistic computations at the semantics/pragmatics boundary. Part I presents some background on the semantics/pragmatics boundary, informally presents the theory of enriched meanings, reviews the linguistic phenomena of interest, and provides the necessary background on category theory and monads. Part II provides novel compositional analyses of the following phenomena: conventional implicature, substitution puzzles, and conjunction fallacies. Part III explores the prospects of combining monads, with particular reference to these three cases. The authors show that the compositional properties of monads model linguistic intuitions about these cases particularly well. The book is an interdisciplinary contribution to Cognitive Science: These phenomena cross not just the boundary between semantics and pragmatics, but also disciplinary boundaries between Linguistics, Philosophy and Psychology, three of the major branches of Cognitive Science, and are here analyzed with techniques that are prominent in Computer Science, a fourth major branch. A number of exercises are provided to aid understanding, as well as a set of computational tools (available at the book's website), which also allow readers to develop their own analyses of enriched meanings.

Sign in / Sign up

Export Citation Format

Share Document