Related papers: A note on the Wehrheim-Woodward category
Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result of monad theory. Motivated by constructions needed in…
Utilizing simplicial Waldhausen theory, we prove that the geometric realization of the topologized category of bounded chain complexes over complex numbers (resp. real numbers) is an infinite loop space that represents connective complex…
We consider the equivalence between the two main categorical models for the type-theoretical operation of context comprehension, namely P. Dybjer's categories with families and B. Jacobs' comprehension categories, and generalise it to the…
Quantum $L_\infty$ algebras are higher loop generalizations of cyclic $L_\infty$ algebras. Motivated by the problem of defining morphisms between such algebras, we construct a linear category of $(-1)$-shifted symplectic vector spaces and…
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…
Derivations provide a way of transporting ideas from the calculus of manifolds to algebraic settings where there is no sensible notion of limit. In this paper, we consider derivations in certain monoidal categories, called codifferential…
We outline an algorithm to recover the canonical (or, coarsest) stratification of a given finite-dimensional regular CW complex into cohomology manifolds, each of which is a union of cells. The construction proceeds by iteratively…
The question "What is category theory" is approached by focusing on universal mapping properties and adjoint functors. Category theory organizes mathematics using morphisms that transmit structure and determination. Structures of…
We introduce new finite-dimensional cohomologies on symplectic manifolds. Each exhibits Lefschetz decomposition and contains a unique harmonic representative within each class. Associated with each cohomology is a primitive cohomology…
We construct four-dimensional symplectic cobordisms between contact three-manifolds generalizing an example of Eliashberg. One key feature is that any handlebody decomposition of one of these cobordisms must involve three-handles. The other…
We give a sufficient and necessary condition of the fundamental group homomorphism of a map between manifolds to induce homology equivalences. Moreover, a classification of one-sided h-cobordism of manifolds up to diffeomorphisms is…
A relational structure is a core, if all its endomorphisms are embeddings. This notion is important for computational complexity classification of constraint satisfaction problems. It is a fundamental fact that every finite structure has a…
Symplectic Khovanov homology is an invariant of oriented links defined by Seidel and Smith and conjectured to be isomorphic to Khovanov homology. I define morphisms (up to a global sign ambiguity) between symplectic Khovanov homology…
Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced areas of computer science such as automata theory, functional…
In this paper, we examine mapping class group relations of some symplectic manifolds. For each $n\geq 1$ and $k \geq 1$, we show that the $2n$-dimensional Weinstein domain $W = \{f=\delta\} \cap B^{2n+2}$, determined by the degree $k$…
Coherence in a monoidal category asserts that all morphisms built from structural isomorphisms with a fixed source and target coincide. These structural isomorphisms include, in particular, the associators. Linearly distributive categories…
Given a collection of exact Lagrangians in a Liouville manifold, we construct a map from the Hochschild homology of the Fukaya category that they generate to symplectic cohomology. Whenever the identity in symplectic cohomology lies in the…
We consider two categories related to symplectic manifolds: 1. Objects are symplectic manifolds and morphisms are symplectic embeddings. 2. Objects are symplectic manifolds endowed with compatible almost complex structure and morphisms are…
To every group $G$ we associate a linear monoidal category $\mathcal{P}\mathit{ar}(G)$ that we call a group partition category. We give explicit bases for the morphism spaces and also an efficient presentation of the category in terms of…
In this paper, the symplectic genus for any 2-dimensional class in a 4-manifold admitting a symplectic structure is introduced, and its relation with the minimal genus is studied. It is used to describe which classes in rational and…