Related papers: Bordism groups of solutions to differential relati…
We consider colored operads and their actions on categories. As a special example we construct a cobordism category with a colored operad action arising from oriented planar arc diagrams. This is used to construct an invariant of oriented…
The functor that takes a ring to its category of modules has an adjoint if one remembers the forgetful functor to abelian groups: the endomorphism ring of linear natural transformations. This uses the self-enrichment of the category of…
We show that branched coverings of surfaces of large enough genus arise as characteristic maps of braided surfaces that is, lift to embeddings in the product of the surface with $\mathbb R^2$. This result is nontrivial already for…
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…
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…
Given any pointed CW complex (X,x), it is well known that the fondamental group of X pointed at x is naturally isomorphic to the automorphism group of the functor which associates to a locally constant sheaf on X its fibre at x. The purpose…
The hammock localization provides a model for a homotopy function complex in any Quillen model category. We prove that a homotopy between a pair of morphisms induces a homotopy between the maps induced by taking the hammock localization. We…
We classify the homotopy classes of proper Fredholm maps from an infinite dimensional Hilbert manifold into its model space in terms of a suitable version of framed cobordism. Our construction is an alternative approach to the…
Let $f:V^n\looparrowright M^m$ be a smooth generic immersion. Then the set of points, that have at least $k$ preimages is an image of a (non-generic) immersion. If the manifolds $V^n$ and $M^m$ are oriented and $m-n$ is even, then the…
It is a deep fact that the homotopy classification of topological manifolds is convariantly functorial. In other words, a map from a topological manifold M to another N naturally induces a map from the structure set S(M) to S(N). We extend…
We investigate a conjecture due to Haefliger and Thurston in the context of foliated manifold bundles. In this context, Haefliger-Thurston's conjecture predicts that every $M$-bundle over a manifold $B$ where $\text{dim}(B)\leq…
The disjoint union of mapping class groups of surfaces forms a braided monoidal category $\mathcal M$, as the disjoint union of the braid groups $\mathcal B$ does. We give a concrete, and geometric meaning of the braiding $\beta_{r,s}$ in…
Rubin's theorem asserts that if $\Gamma\curvearrowright X$ and $\Delta\curvearrowright Y$ are Rubin actions, then any group isomorphism $\Gamma \cong \Delta$ induces an equivariant homeomorphism $Y\cong X$. We provide an embedding version…
In this article, we investigate the cobordism maps on periodic Floer homology (PFH). In the first part of the paper, we define the cobordism maps on PFH via Seiberg Witten theory as well as the isomorphism between PFH and Seiberg Witten…
We survey the general theory of groupoids, groupoid actions, groupoid principal bundles, and various kinds of morphisms between groupoids in the framework of categories with pretopology. We study extra assumptions on pretopologies that are…
The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on categories with finite limits and colimits. As an…
Consider a Hamiltonian action of a compact Lie group H on a compact symplectic manifold (M,w) and let G be a subgroup of the diffeomorphism group Diff(M). We develop techniques to decide when the maps on rational homotopy and rational…
Given a cohomological functor from a triangulated category to an abelian category, we construct under appropriate assumptions for any localization functor of the abelian category a lift to a localization functor of the triangulated…
We construct a category $\mathrm{HomCob}$ whose objects are {\it homotopically 1-finitely generated} topological spaces, and whose morphisms are {\it cofibrant cospans}. Given a manifold submanifold pair $(M,A)$, we prove that there exists…
It is known that the existence of localization with respect to an arbitrary (possibly proper) class of maps in the category of simplicial sets is implied by a large-cardinal axiom called Vopenka's principle.In this article we extend the…