Related papers: Representability theorems, up to homotopy

We show that Khovanov homology (and its sl(3) variant) can be understood in the context of higher representation theory. Specifically, we show that the combinatorially defined foam constructions of these theories arise as a family of…

From the polynomial approach to the definition of opetopes of Kock et al., we derive a category of opetopes, and show that its set-valued presheaves, or opetopic sets, are equivalent to many-to-one polygraphs. As an immediate corollary, we…

Motivated by rational homotopy theory, we study a representable presheaf of groups $\mathbf{\mathfrak{P}}$ on the homotopy category of cocommutative differential graded coalgebras, its Lie algebraic counterpart and its linear…

In this paper, we consider the problem of learning a first-order theorem prover that uses a representation of beliefs in mathematical claims to construct proofs. The inspiration for doing so comes from the practices of human mathematicians…

In this paper we develop homotopy theoretical methods for studying diagrams. In particular we explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept we introduce is that of a model…

This is the second in a series of papers. Here we develop here an intersection theory for manifolds equipped with an action of a finite group. As in our previous paper, our approach will be homotopy theoretic, enabling us to circumvent the…

We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of…

We give a new approach to intersection theory. Our "cycles" are closed manifolds mapping into compact manifolds and our "intersections" are elements of a homotopy group of a certain Thom space. The results are then applied in various…

We start developing a notion of reciprocity sheaves, generalizing Voevodsky's homotopy invariant presheaves with transfers which were used in the construction of his triangulated categories of motives. We hope reciprocity sheaves will…

There are at least two ways to approach the homotopy theory of spaces `at chromatic height $n$': one may localize with respect to $T(n)$-homology or with respect to $v_n$-periodic homotopy groups. It was already observed by Bousfield that…

The recently introduced model of representations has been defined and motivated somewhat ex-nihilo. In this document, I will show that representations are related to a more ''classical'' model through a 2-adjunction. The target model is…

In this paper we give a necessary and sufficient criterion for representability of a matroid over an algebraic closed field. This leads to an algorithm, based on an extension of Groebner Bases, in order to decide if a given matroid is…

We prove that double exponentiation is an upper bound to Ramsey theorem for colouring of pairs when we want to predetermine the order of the differences of successive members of the homogeneous set.

Earlier an arbitrary poset $P$ was proved to be isomorphic to the collection of subsets of a space $M$ with two closures which are closed in the first closure and open in the other. As a space $M$ for this representation an algebraic dual…

This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…

This is the second part of the paper which proves the compatibility of pushforward along a proper morphism of an \'{e}tale constructible sheaf and the pushforward of its characteristic cycle up to $p$-torsion. In this second part, we show a…

We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras over operads are deduced.

We survey research on the homotopy theory of the space map(X, Y) consisting of all continuous functions between two topological spaces. We summarize progress on various classification problems for the homotopy types represented by the…

This text collects useful results concerning the quasi-Hopf algebra $\D $. We give a review of issues related to its use in conformal theories and physical mathematics. Existence of such algebras based on 3-cocycles with values in $ {R} /…

The comparison map from bounded cohomology to singular cohomology plays an important role in the study of bounded cohomology theory and its applications. The vanishing and covering theorems of Gromov and Ivanov show interesting and useful…