Related papers: Cobordism of words
We propose a concrete surface representation of abstract categorial grammars in the category of word cobordisms or cowordisms for short, which are certain bipartite graphs decorated with words in a given alphabet, generalizing linear logic…
We introduce a topological approach to words. Words are approximated by Gauss words and then studied up to natural modifications inspired by homotopy transformations of curves on the plane.
We introduce a relation of cobordism for knots in thickened surfaces and study cobordism invariants of such knots.
We discuss a topological approach to words introduced by the author. Words on an arbitrary alphabet are approximated by Gauss words and then studied up to natural modifications inspired by the Reidemeister moves on knot diagrams. This leads…
We obtain an explicit presentation of the equivariant cobordism ring of a complete flag variety. An immediate corollary is a Borel presentation of the ordinary cobordism ring. Another application is an equivariant Schubert calculus in…
In this paper we introduce the notion of exact links, which constitute a broad class of high dimensional links.
We investigate cobordisms of free knots. Free knots and links are also called homotopy classes of Gauss words and phrases. We define a new strong invariant of free knots which allows to detect free knots not cobordant to the trivial one.
We construct an equivariant algebraic cobordism theory for schemes with an action by a linear algebraic group over a field of characteristic zero.
We extend the definition of Lagrangian quantum homology to monotone Lagrangian cobordism and establish its general algebraic properties. In particular we develop a relative version of Lagrangian quantum homology associated to a cobordism…
This paper presents a geometric approach to the problem of modelling the relationship between words and concepts, focusing in particular on analogical phenomena in language and cognition. Grounded in recent theories regarding geometric…
For a reductive connected group or a finite group over a field of characteristic zero, we define an equivariant algebraic cobordism theory by a generalized version of the double point relation of Levine-Pandharipande. We prove basic…
Previously the second author has constructed by cobordism methods, an invariant associated to a finite group $G$. This invariant approximates the number of subgroups of a group, giving in some cases the number of abelian and cyclic…
We define an equivalence relation on propositions and a proof system where equivalent propositions have the same proofs. The system obtained this way resembles several known non-deterministic and algebraic lambda-calculi.
We define a cobordism theory in algebraic geometry based on normal crossing degenerations with double point singularities. The main result is the equivalence of double point cobordism to the theory of algebraic cobordism previously defined…
The double point relation defines a natural theory of algebraic cobordism for bundles on varieties. We construct a simple basis (over the rationals) of the corresponding cobordism groups over Spec(C) for all dimensions of varieties and…
We define four distinct oriented bivariant theories associated with algebraic cobordism in its two versions (the axiomatic $\Omega$ and the geometric $\omega$), when applied to quasi-projective varieties over a field $k$. Specifically, we…
We give complete geometric invariants of cobordisms of fold maps with oriented singular set and cobordisms of even codimensional fold maps. These invariants are given in terms of cobordisms of stably framed manifolds and cobordisms of…
We study the equivariant cobordism theory of schemes for torus actions. We give the explicit relation between the equivariant and the ordinary cobordism of schemes with torus action. We deduce analogous results for action of arbitrary…
We propose a categorial grammar based on classical multiplicative linear logic. This can be seen as an extension of abstract categorial grammars (ACG) and is at least as expressive. However, constituents of {\it linear logic grammars (LLG)}…
Many combinatorial proofs rely on induction. When these proofs are formulated in traditional language, they can be bulky and unmanageable. Coalgebras provide a language which can reduce reduce many inductive proofs in graded poset theory to…