Related papers: Combinatorial Cobordism Theory
This thesis proposes a framework based on a notion of combinatorial cell complex (cc) whose cells are defined simply as finite sets of vertices. The cells of a cc are subject to four axioms involving a rank function that assigns a rank (or…
We define and study a class of finite topological spaces, which model the cell structure of a space obtained by gluing finitely many Euclidean convex polyhedral cells along congruent faces. We call these finite topological spaces,…
This article aims to provide a novel formalization of the concept of computational irreducibility in terms of the exactness of functorial correspondence between a category of data structures and elementary computations and a corresponding…
Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of…
The relative cell complexes with respect to a generating set of cofibrations are an important class of morphisms in any model structure. In the particular case of the standard (algebraic) model structure on $\textbf{Top}$, we give a new…
(Co)bordisms of manifolds and maps are fundamental and important objects in algebraic and differential topology of manifolds and related studies were started by Thom etc.. Cobordisms of Morse functions were introduced and have been studied…
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…
In this extended note we give a precise definition of fully extended topological field theories \`a la Lurie. Using complete $n$-fold Segal spaces as a model, we construct an $(\infty,n)$-category of $n$-dimensional cobordisms, possibly…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
A notion of vector field cobordism for oriented manifolds was defined by B\"okstedt and Svane. We extend this notion to define complex section cobordism for almost complex manifolds. We then determine the complex section cobordism groups…
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…
In terms of category theory, the Gromov homotopy principle for a set valued functor $F$ asserts that the functor $F$ can be induced from a homotopy functor. Similarly, we say that the bordism principle for an abelian group valued functor…
An alternative foundation for 2-categories is explored by studying graph-theoretically a partial operation on 2-cells named juncture, which can replace vertical and horizontal composition. Juncture is a generalized vertical composition of…
Cobordism categories are known to be compact closed. They can therefore be used to define non-degenerate models of multiplicative linear logic by combining the Int construction with double glueing. In this work we detail such construction…
In this paper we study cobordism categories consisting of manifolds which are endowed with geometric structure. Examples of such geometric structures include symplectic structures, flat connections on principal bundles, and complex…
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…
This paper presents a commutative complex oriented cohomology theory with coefficients the quotient ring of complex cobordism MU$^*[1/2]$ modulo the ideal generated by any subsequence of any polynomial generators in special unitary…
Recently the author has introduced cobordism-like modules induced from generic maps whose codimensions are negative. They are generalizations of cobordism modules of manifolds. They have been introduced in generalizing the following theorem…
We present a construction of cellular BF theory (in both abelian and non-abelian variants) on cobordisms equipped with cellular decompositions. Partition functions of this theory are invariant under subdivisions, satisfy a version of the…
In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on…