Related papers: Representability theorems, up to homotopy
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…
In this paper, we prove that the induced representation theories of two equivalent Fell bundles are essentially identical; and we apply our results to carry the induced representation theory and imprimitivity theorems of saturated Fell…
We study (vertically) normal lax double functors valued in the weak double category $\mathbb{C}\mathrm{at}$ of small categories, functors, profunctors and natural transformations, which we refer to as lax double presheaves. We show that for…
There is a free construction from multicategories to permutative categories, left adjoint to the endomorphism multicategory construction. The main result shows that these functors induce an equivalence of homotopy theories. This result…
We define and investigate the concept of the groupoid representation induced by a representation of the isotropy subgroupoid. Groupoids in question are locally compact transitive topological groupoids. We formulate and prove the…
The Topological Representation Theorem for (oriented) matroids states that every (oriented) matroid can be realized as the intersection lattice of an arrangement of codimension one homotopy spheres on a homotopy sphere. In this paper, we…
It is well known that cohomology with compact supports is not a homotopy invariant but only a proper homotopy one. However, as the proper category lacks of general categorical properties, a Brown representability theorem type does not seem…
We establish a relationship between two different generalizations of Lie algebroid representations: representation up to homotopy and Vaintrob's Lie algebroid modules. Specifically, we show that there is a noncanonical way to obtain a…
Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented…
Any refinement system (= functor) has a fully faithful representation in the refinement system of presheaves, by interpreting types as relative slice categories, and refinement types as presheaves over those categories. Motivated by an…
In this note we clarify the relevance of ``connections up to homotopy'' to the theory of characteristic classes. We have already remarked \cite{Crai} that such connections up to homotopy can be used to compute the classical Chern…
We deduce decompositions of natural representations of general linear groups and symmetric groups from combinatorial bijections involving tableaux. These include some of Howe's dualities, Gelfand models, the Schur-Weyl decomposition of…
In this work, we introduce {\em topological representations of a quiver} as a system consisting of topological spaces and its relationships determined by the quiver. Such a setting gives a natural connection between topological…
We study the representation theory of the increasing monoid. Our results provide a fairly comprehensive picture of the representation category: for example, we describe the Grothendieck group (including the effective cone), classify…
New models of the Fock space sector corresponding to some fixed number of electrons are introduced. These models originate from the representability theory and their practical implementation may lead to essential reduction of dimensions of…
The Representation Theorem by Zomorodian and Carlsson has been the starting point of the study of persistent homology under the lens of algebraic representation theory. In this work, we give a more accurate statement of the original theorem…
The paper is devoted to a generalized and simplified version of author's approach to covering theorems in bounded cohomology theory. The amenability assumptions are replaced by weaker and more natural acyclicity assumprions. In the case of…
We study the category of algebras of substitudes (also known to be equivalent to the regular patterns of Getzler) equipped with a (semi)model structure lifted from the model structure on the underlying presheaves. We are especially…
In [1] we defined a new kind of space called 'structured space' which locally resembles, near each of its points, some algebraic structure. We noted in the conclusion of the cited paper that the maps $f_s$ and $h$, which are of great…
A representation theorem relates different mathematical structures by providing an isomorphism between them: that is, a one-to-one correspondence preserving their original properties. Establishing that the two structures substantially…