Related papers: A note on the Wehrheim-Woodward category
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…
We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…
The characteristic forms in the bundle of connections of a principal bundle P over M determine the characteristic classes of P for degree less or equal to the dimension of M, and differential forms on the space of connections for higher…
It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with…
The data for many useful bidirectional constructions in applied category theory (optics, learners, games, quantum combs) can be expressed in terms of diagrams containing "holes" or "incomplete parts", sometimes known as comb diagrams. We…
We consider a category whose morphisms are bordisms of $n$-dimensional pseudomanifolds equipped with a certain additional structure (coloring). On the other hand, we consider the product $G$ of $(n+1)$ copies of infinite symmetric group. We…
We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…
The free monoid with two generators acts on classes (=properties) of morphisms of a category by taking the left or right orthogonal complement with respect to the lifting property, and we define the Quillen negation monoid of the category…
Bergman has given the following abstract characterisation of the inner automorphisms of a group $G$: they are exactly those automorphisms of $G$ which can be extended functorially along any homomorphism $G \rightarrow H$ to an automorphism…
Just as binary relations between sets may be understood as jointly monic spans, so too may equivalence relations on the disjoint union of sets be understood as jointly epic cospans. With the ensuing notion of composition inherited from the…
Given two four-dimensional symplectic manifolds, together with knots in their boundaries, we define an ``anchored symplectic embedding'' to be a symplectic embedding, together with a two-dimensional symplectic cobordism between the knots…
Using the microlocal theory of sheaves, we associate a category to each Weinstein manifold. By constructing a microlocal specialization functor, we show that exact Lagrangians give objects in our category, and that the category is invariant…
We show that every unramified morphism X->Y has a canonical and universal factorization X->E->Y where the first morphism is a closed embedding and the second is etale (but not separated).
We study the problem of classifying the holomorphic $(m,n)$-subharmonic morphisms in complex space. This determines which holomorphic mappings preserves $m$-subharmonicity in the sense that the composition of the holomorphic mapping with a…
We show that a compact Kahler manifold admitting a nondegenerate holomorphic 2-form valued in a line bundle is a finite cyclic cover of a hyperkahler manifold. With respect to the connection induced by the locally hyperkahler metric, the…
Coherence phenomena appear in two different situations. In the context of category theory the term `coherence constraints' refers to a set of diagrams whose commutativity implies the commutativity of a larger class of diagrams. In the…
For any smooth compact manifold $W$ of dimension at least two we prove that the classifying spaces of its group of diffeomorphisms which fix a set of $k$ points or $k$ embedded disks (up to permutation) satisfy homology stability. The same…
In this Master's thesis, we consider the problem of classifying, up to conjugation by linear symplectomorphisms, linear canonical relations (lagrangian correspondences) from a finite-dimensional symplectic vector space to itself. We give an…
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$…
A specialization semilattice is a semilattice together with a coarser preorder satisfying a compatibility condition. We show that the category of specialization semilattices is isomorphic to the category of semilattices with a congruence,…