Related papers: Type theory and homotopy
This is an expository article about operads in homotopy theory written as a chapter for an upcoming book. It concentrates on what the author views as the basic topics in the homotopy theory of operadic algebras: the definition of operads,…
By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices…
In this review we give a detailed introduction to the theory of (curved) $L_\infty$-algebras and $L_\infty$-morphisms. In particular, we recall the notion of (curved) Maurer-Cartan elements, their equivalence classes and the twisting…
Making a survey of recent constructions of universal cohomologies we suggest a new framework for a theory of motives in algebraic geometry.
We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra \pi_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology…
The purpose of this paper is to discuss how topology and geometry provide, in many instances, the connective tissue that enables logical comprehension. We illustrate this theme with many examples including Venn diagrams, knot diagrams,…
The primary goal of this paper is to present a unified way to transform the syntax of a logic system into certain initial algebraic structure so that it can be studied algebraically. The algebraic structures which one may choose for this…
The Hodge theory of complex algebraic varieties is at heart a transcendental comparison of two algebraic structures. We survey the recent advances bounding this transcendence, mainly due to the introduction of o- minimal geometry as a…
In this paper we sketch how some fundamental concepts of modern topology (as well as logic and category theory) can be understood philosophically in the light of Hegel's Science Logic as well how modern topological concepts can provide…
This book is an account of certain topics in general and algebraic topology. Instead of laying out a synopsis of each chapter, here is a sample of some of what is taken up: 1) Nilpotency and its role in homotopy theory. 2) Bousfield's…
A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…
We present an introductory survey to first order logic for metric structures and its applications to C*-algebras.
We study extensively the homotopy theory of coalgebras. By coalgebras, we mean the full theory of coalgebras: with counits and not necessarily locally conilpotent. For example $\mathcal E_\infty$-coalgebras, $\mathcal A_\infty$-coalgebras,…
We give a detailed exposition of the homotopy theory of equivalence relations, perhaps the simplest nontrivial example of a model structure.
Homotopy type theory is a new branch of mathematics which merges insights from abstract homotopy theory and higher category theory with those of logic and type theory. It allows us to represent a variety of mathematical objects as basic…
Recent breakthroughs in large language models (LLM) have stirred up global attention, and the research has been accelerating non-stop since then. Philosophers and psychologists have also been researching the structure of language for…
Many formal languages of contemporary mathematical music theory -- particularly those employing category theory -- are powerful but cumbersome: ideas that are conceptually simple frequently require expression through elaborate categorical…
The goal of this paper is to experiment new math concepts and theories, especially if they run counter to the classical ones. To prove that contradiction is not a catastrophe, and to learn to handle it in an (un)usual way. To transform the…
2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a…
In condensed matter physics and related areas, topological defects play important roles in phase transitions and critical phenomena. Homotopy theory facilitates the classification of such topological defects. After a pedagogic introduction…