Related papers: Linear Realisability and Cobordisms
We introduce a notion of Poincar\'e duality for pairs of $\infty$-categories, extending Poincar\'e-Lefschetz duality for pairs of spaces. This categorical extension yields an efficient book-keeping device that affords, among other things, a…
Many Properties of a category X, as for instance the existence of an adjoint or a factorization system, are a consequence of the cowellpoweredness of X. In the absence of cowellpoweredness, for general results, fairly strong assumption on…
We present an expository overview of the monoidal structures in the category of linearly compact vector spaces. Bimonoids in this category are the natural duals of infinite-dimensional bialgebras. We classify the relations on words whose…
What are called secondary characteristic classes in Chern-Weil theory are a refinement of ordinary characteristic classes of principal bundles from cohomology to differential cohomology. We consider the problem of refining the construction…
The paper explores the relation between noncommutative power series and topological theories of one-dimensional cobordisms decorated by labelled zero-dimensional submanifolds. These topological theories give rise to several types of tensor…
We introduce an equivalence relation, called cobordism, for words and study cobordism invariants of words inspired by methods of low-dimensional topology.
We investigate topological T-duality in the framework of non-abelian gerbes and higher gauge groups. We show that this framework admits the gluing of locally defined T-duals, in situations where no globally defined ("geometric") T-duals…
The complement of a complex hyperplane arrangement is known to be homotopic to a minimal CW complex. There are several approaches to the minimality. In this paper, we restrict our attention to real two dimensional cases, and introduce the…
The goal of this paper is to study the Pontrjagin dual of (reduced) 4-dimensional Spin bordism. That is to say, we consider the functor from the category of topological spaces to the category of compact abelian groups that associates to…
We construct a rational homotopy-theoretic model for a classifying space of locally conformally symplectic structures on four-manifolds, and use it to definition a cobordism category of three-manifolds `anchored' by principal $\Omega^2 S^2$…
The inclusion of the unit in a braided tensor category $\mathcal{V}$ induces a 1-morphism in the Morita 4-category of braided tensor categories $BrTens$. We give criteria for the dualizability of this morphism. When $\mathcal{V}$ is a…
A generalized-homology bordism-theory is constructed, such that for certain manifold homotopy stratified sets (MHSS; Quinn-spaces) homeomorphism-invariant geometric fundamental-classes exist. The construction combines three ideas: Firstly,…
We provide an explicit procedure to glue (not necessarily compact) silting objects along recollements of triangulated categories with coproducts having a 'nice' set of generators, namely, well generated triangulated categories. This…
Internal preneighbourhood spaces inside any finitely complete category with finite coproducts and proper factorisation structure were first introduced in my earlier paper. This paper proposes a closure operation on internal preneighbourhood…
We form tricategories and the homomorphisms between them into a bicategory, whose 2-cells are certain degenerate tritransformations. We then enrich this bicategory into an example of a three-dimensional structure called a locally cubical…
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…
Cobordism categories have played an important role in classical geometry and more recently in mathematical treatments of quantum field theory. Here we will compute localisations of two-dimensional discrete cobordism categories. This allows…
Let S be a compact oriented surface. A homology cobordism of S is a cobordism C between two copies of S, such that both the "top" inclusion and the "bottom" inclusion of S in C induce isomorphisms in homology. Homology cobordisms of S form…
We study non-compact surfaces obtained by gluing strips $\mathbb{R}\times(-1,1)$ with at most countably many boundary intervals along some these intervals. Every such strip possesses a foliation by parallel lines, which gives a foliation on…
Trellises are crucial graphical representations of codes. While conventional trellises are well understood, the general theory of (tail-biting) trellises is still under development. Iterative decoding concretely motivates such theory. In…