Related papers: Simplicial Lusternik-Schnirelmann category

This survey describes some useful properties of the local homology of abstract simplicial complexes. Although the existing literature on local homology is somewhat dispersed, it is largely dedicated to the study of manifolds, submanifolds,…

This article deals with a continuous closed 1-form defined on a CW-complex. In particular, we show Lusternik-Schnirelmann type theory on continuous closed 1-forms which is related to gradient-like flows. M.Farber defined a continuous closed…

We define the notion of a multi-sorted algebraic theory, which is a generalization of an algebraic theory in which the objects are of different "sorts." We prove a rigidification result for simplicial algebras over these theories, showing…

We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra \pi_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology…

In this paper, we compare several functors which take simplicial categories or model categories to complete Segal spaces, which are particularly nice simplicial spaces which, like simplicial categories, can be considered to be models for…

In this work we propose a realization of Lurie's prediction that inner fibrations $p: X \rightarrow A$ are classified by $A$-indexed diagrams in a ``higher category" whose objects are $\infty$-categories, morphisms are correspondences…

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…

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…

In this paper, we introduce a new class of structured spaces which is locally modeled by Costello's L-infinity spaces. This provides an alternative approach to study the derived geometric structures in the algebraic, analytic, or smooth…

Much of the homotopical and homological structure of the categories of chain complexes and topological spaces can be deduced from the existence and properties of the 'simple' functors Tot : {double chain complexes} -> {chain complexes} and…

Simplicial type theory (STT) was introduced by Riehl and Shulman to leverage homotopy type theory to prove results about $(\infty,1)$-categories. Initial work on simplicial type theory focused on "formal" arguments in higher category theory…

There are infinitely many variants of the notion of Kan fibration that, together with suitable choices of cofibrations and the usual notion of weak equivalence of simplicial sets, satisfy Quillen's axioms for a homotopy model category. The…

We prove the discrete Lusternik-Schnirelmann theorem telling that tcat(G) less or equal to crit(G) for a general simple graph G=(V,E). It relates the minimal number tcat(G) of in G contractible graphs covering G, with crit(G), the minimal…

We construct, for any symplectic, unitary or special orthogonal group over a locally compact nonarchimedean local field of odd residual characteristic, a type for each Bernstein component of the category of smooth representations, using…

Quillen showed that simplicial sets form a model category (with appropriate choices of three classes of morphisms), which organized the homotopy theory of simplicial sets. His proof is very difficult and uses even the classification theory…

A construction of Wehrheim and Woodward circumvents the problem that compositions of smooth canonical relations are not always smooth, building a category suitable for functorial quantization. To apply their construction to more examples,…

We introduce some new symmetric tensor categories based on the combinatorics of trees: a discrete family $\mathcal{D}(n)$, for $n \ge 3$ an integer, and a continuous family $\mathcal{C}(t)$, for $t \ne 1$ a complex number. The construction…

Simplicial type theory extends homotopy type theory with a directed path type which internalizes the notion of a homomorphism within a type. This concept has significant applications both within mathematics -- where it allows for synthetic…

We show how the framework of crossed simplicial groups may be used to provide a classification of topological field theories on open cobordism categories defined by reductions of the structure group to a planar Lie group. Such theories are…

We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the…