Related papers: The categories $L$\textbf{-Top_0} and $L$\textbf{S…
We study the class of holomorphic and isometric submersions between finite-type Teichm\"uller spaces. We prove that, with potential exceptions coming from low-genus phenomena, any such map is a forgetful map $\mathcal{T}_{g,n} \rightarrow…
Let $\mathcal{E}=(\mathcal{A},\mathcal{S})$ be an exact category with enough projectives $\mathcal{P}$. We introduce the notion of support $\tau$-tilting subcategories of $\mathcal{E}$. It is compatible with existing definitions of support…
An algebraic theory $T$ is a category with objects $t_0,t_2...$ such that for each $n$ the object $t_n$ is an $n$-fold categorical product of $t_1$. A strict $T$-algebra is a product preserving functor $A: T\to Spaces$. Lawvere showed that…
Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…
Any toric flip naturally induces an equivalence between the associated categories of equivariant reflexive sheaves, and we investigate how slope stability behaves through this functor. On one hand, for a fixed toric sheaf, and natural…
Given an additive equational category with a closed symmetric monoidal structure and a potential dualizing object, we find sufficient conditions that the category of topological objects over that category has a good notion of full…
The aim of this paper is to give a unifying description of various constructions (subanalytic, semialgebraic, o-minimal site) using the notion of T-topology. We then study the category of T-sheaves.
We establish an upper bound for the cochain type level of the total space of a pull-back fibration. It explains to us why the numerical invariant for a principal bundle over the sphere are less than or equal to two. Moreover computational…
In this paper by using the ring of real-valued continuous functions $C(X)$, we prove a theorem in profinite spaces which states that for a compact Hausdorff space $X$, the set of its connected components $X/_{\sim}$ endowed with some…
In several familiar subcategories of the category ${\mathbb T}$ of topological spaces and continuous maps, embeddings are not pushout-stable. But, an interesting feature, capturable in many categories, namely in categories $\mathcal{B}$ of…
We introduce the notion of a geometric $(\infty,1)$-category, the protopyical example of which is an $(\infty,1)$-topos. We study (hyper)sheaves on geometric $(\infty,1)$-categories, proving that these are characterized by a form of…
In the Euclidean setting the Sobolev spaces $W^{\alpha,p}\cap L^\infty$ are algebras for the pointwise product when $\alpha>0$ and $p\in(1,\infty)$. This property has recently been extended to a variety of geometric settings. We produce a…
In this paper we study Category $\mcal O$ for the polynomial toroidal Lie algebras and its $S,H$ type subalgebras. We classify irreducible objects of category $\mcal O$ as unique irreducble quotient of standard modules. Surprisingly,…
These lecture notes from a first course in algebraic topology use the fundamental group and orbit categories to classify covering spaces.
Inspired by Segal-Stolz-Teichner project for geometric construction of elliptic (tmf) cohomology, and ideas of Floer theory and of Hopkins-Lurie on extended TFT's, we geometrically construct some $Ring$-valued representable cofunctors on…
We study the topology of Lagrangian submanifolds in standard symplectic vector spaces $\mathbb{C}^n$ using ideas from open-closed string topology. Specifically, for a closed, oriented, spin Lagrangian $L$, we construct a (possibly curved)…
Torelli space (in genus g) is the moduli space of compact Riemann surfaces of genus g together with a symplectic basis of their first homology group. It is the quotient of the genus g Teichmuller space by the Torelli group T_g and is a…
We show that the category of coalgebras for the compact Vietoris endofunctor $\mathbb{V}$ on the category Top of topological spaces and continuous mappings is isomorphic to the category of all modally saturated Kripke structures. Extending…
Given an $\infty$-category with a set of weak equivalences which is stable under pullback, we show that the mapping spaces of the corresponding localization can be described as group completions of $\infty$-categories of spans. Furthermore,…
In this article, we interconnect two different aspects of higher category theory, in one hand the theory of infinity categories and on an other hand the theory of 2-categories.We construct an explicit functorial path objet in the model…