Related papers: Higher Morse moduli spaces and n-categories
A moment category is endowed with a distinguished set of split idempotents, called moments, which can be transported along morphisms. Equivalently, a moment category is a category with an active/inert factorisation system fulfilling two…
Neocategories, semicategories, precategories are well-known generalizations of categories. But they all suppose that sources and targets of morphisms fulfilled identity conditions. Here we intend to suppress those conditions. In doing this…
We construct Morse homology groups associated with any regular function on a smooth complex algebraic variety, allowing singular and non-compact critical loci. These groups are generated by critical points of a certain large pertubation of…
We prove that the topological flow category $\mathcal{M}$ arising from a Morse-Smale pair $(f,\xi)$ on a smooth closed manifold $X$ is equivalent, as an $\infty$-category, to Lurie's $\infty$-category $\mathrm{Sing}_A(X)$ of exit paths in…
We construct a stable infinity category with objects flow categories and morphisms flow bimodules; our construction has many flavors, related to a choice of bordism theory, and we discuss in particular framed bordism and the bordism theory…
In this paper we give a summary of the comparisons between different definitions of so-called (\infty,1)-categories, which are considered to be models for \infty-categories whose n-morphisms are all invertible for n>1. They are also, from…
On a smooth manifold, we associate to any closed differential form a mapping cone complex. The cohomology of this mapping cone complex can vary with the de Rham cohomology class of the closed form. We present a novel Morse theoretical…
Morse theory relates algebraic topology invariants and the dynamics of the gradient flow of a Morse function, allowing to derive information about one out of the other. In the case of the homology, the construction extends to much more…
In the spirit of Morse homology initiated by Witten and Floer, we construct two $\infty$-categories $\mathcal{A}$ and $\mathcal{B}$. The weak one $\mathcal{A}$ comes out of the Morse-Samle pairs and their higher homotopies, and the strict…
An explicit isomorphism between Morse homology and singular homology is constructed via the technique of pseudo-cycles. Given a Morse cycle as a formal sum of critical points of a Morse function, the unstable manifolds for the negative…
Erratum, 11 July 2022: This is an updated version of the original paper in which the notion of reparametrization category was incorrectly axiomatized. Details on the changes to the original paper are provided in the Appendix. A…
Fold maps are fundamental tools in the theory of singularities of differentiable maps and its applications to geometry. They are higher dimensional variants of Morse functions. Classes of special generic maps and round fold maps are…
This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…
Every smooth manifold contains particles which propagate. These form objects and morphisms of a category equipped with a functor to the category of Abelian groups, turning this into a 0+1 topological field theory. We investigate the…
Given a Morse function on a manifold whose moduli spaces of gradient flow lines for each action window are compact up to breaking one gets a bidirect system of chain complexes. There are different possibilities to take limits of such a…
The Morita context provided by an exact module category over a finite tensor category gives a two-object bicategory with duals. Right and left duals of objects in the module category are given by internal Homs and coHoms, respectively. We…
Coarse geometry is the study of large-scale properties of spaces. In this paper we study group coarse structures (i.e., coarse structures on groups that agree with the algebraic structures), by using group ideals. We introduce a large class…
A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those aspects related to the concepts of…
This paper introduces the notion of $n$-morphisms between two $A_\infty$-algebras, such that 0-morphisms correspond to standard $A_\infty$-morphisms and 1-morphisms correspond to $A_\infty$-homotopies between $A_\infty$-morphisms. The set…
We introduce a new higher categorical structure called a weakly globular n-fold category. This structure is based on iterated internal categories and on the notion of weak globularity. We identify a suitable class of pseudo-functors whose…