相关论文: On Generalization of Homotopy of Words and Its App…

In this short note we give a glimpse of homotopy type theory, a new field of mathematics at the intersection of algebraic topology and mathematical logic, and we explain Vladimir Voevodsky's univalent interpretation of it. This…

We introduce an equivalence relation, called cobordism, for words and study cobordism invariants of words inspired by methods of low-dimensional topology.

Several recent papers in digital topology have sought to obtain fixed point results by mimicking the use of tools from classical topology, such as complete metric spaces and homotopy invariant fixed point theory. We show that in many cases,…

Equivalence relations can be defined on Gauss phrases using combinatorial moves. In this paper we consider two closely related equivalence relations on Gauss phrases, homotopy and open homotopy. In particular, in each case, we define a new…

We construct the infinite sequence of invariants for curves in surfaces by using word theory that V. Turaev introduced. For plane closed curves, we add some extra terms, e.g. the rotation number. From these modified invariants, we get the…

Both topos theory and automata theory are known for their multi-faceted nature and relationship with topology, algebra, logic, and category theory. This paper aims to clarify the topos-theoretic aspects of automata theory, particularly…

Lecture notes in Russian. Topics: the Haar measure (abstract theorems and explicit descriptions for different groups), measures on infinite-dimensional spaces with large natural groups of symmetries (Gaussian measures, Poisson measures,…

Knots and links are interpreted as homotopy classes of nanowords and nanophrases in an alphabet consisting of 4 letters. Similar results hold for curves on surfaces. We also discuss versions of the Jones link polynomial and the link…

Homotopy Type Theory may be seen as an internal language for the $\infty$-category of weak $\infty$-groupoids which in particular models the univalence axiom. Voevodsky proposes this language for weak $\infty$-groupoids as a new foundation…

Given a small category C, we show that there is a universal way of expanding C into a model category, essentially by formally adjoining homotopy colimits. The technique of localization becomes a method for imposing `relations' into these…

The aim of homotopy theory in topology is to simplify, after continuous deformation, continuous maps between topological spaces. What prevents this from happening are homotopy invariants. This raises quantitative questions: $\bullet$ Is the…

I am going to compare well-known properties of infinite words with those of infinite permutations, a new object studied since middle 2000s. Basically, it was Sergey Avgustinovich who invented this notion, although in an early study by Davis…

Topos theory occupies a singular place in contemporary mathematics: born from Grothendieck's algebraic geometry, it has emerged as a unifying language for geometry, topology, algebra, and logic. This book offers a progressive introduction…

This is an expository paper discussing various versions of Khovanov homology theories, interrelations between them, their properties, and their applications to other areas of knot theory and low-dimensional topology.

It is the goal of this article to extend the notion of quantization from the standard interpretation focused on non-commuting observables defined starting from classical analogues, to the topological equivalents defined in terms of…

This paper is an exposition of the new subject of String Topology. We present an introduction to this exciting new area, as well as a survey of some of the latest developments, and our views about future directions of research. We begin…

We define and develop a homotopy invariant notion for the topological complexity of a map $f:X \to Y$, denoted TC($f$), that interacts with TC($X$) and TC($Y$) in the same way cat($f$) interacts with cat($X$) and cat($Y$). Furthermore,…

This book introduces a new context for global homotopy theory, i.e., equivariant homotopy theory with universal symmetries. Many important equivariant theories naturally exist not just for a particular group, but in a uniform way for all…

We describe a homotopical version of the relational and gluing models of type theory, and generalize it to inverse diagrams and oplax limits. Our method uses the Reedy homotopy theory on inverse diagrams, and relies on the fact that Reedy…

Word-representable graphs, which are the same as semi-transitively orientable graphs, generalize several fundamental classes of graphs. In this paper we propose a novel approach to study word-representability of graphs using a technique of…