Related papers: A sketch for derivators

This paper concerns the characterisation of second order marginals for random sets in a discrete setting. Under the instance of unit covariances, this problem possesses a combinatorial symmetry, exploited jointly in the companion paper to…

Given an orientable surface with boundary and a free homotopy class, we present a purely combinatorial algorithm which produces a representative of that homotopy class with minimal self intersection.

We extend the 2-representation theory of finitary 2-categories to certain 2-categories with infinitely many objects, denoted locally finitary 2-categories, and extend the classical classification results of simple transitive…

We prove that any contravariant functor from the homotopy category of finite directed graphs to abelian groups satisfying the additivity axiom and the Mayer-Vietoris axiom is representable.

There is a well-established procedure of assigning a strong homotopy Lie algebra of local observables to a multisymplectic manifold which can be regarded as part of a categorified Poisson structure. For a 2-plectic manifold, the resulting…

In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…

We classify the irreducible projective representations of symmetric and alternating groups of minimal possible and second minimal possible dimensions, and get a lower bound for the third minimal dimension. On the way we obtain some new…

We present pictorial means of distinguishing contravariant vectors (or simply vectors) from covariant vectors (or linear forms). When one depicts vector as the directed segment, then the pictorial image of a linear form is a family of…

The theory of derivators provides a convenient abstract setting for computing with homotopy limits and colimits. In enriched homotopy theory, the analogues of homotopy (co)limits are weighted homotopy (co)limits. In this thesis, we develop…

In this paper we prove that given any two point lattices $\Lambda_1 \subset \mathbb{R}^n$ and $ \Lambda_2 \subset \nobreak \mathbb{R}^{n-k}$, there is a set of $k$ vectors $\bm{v}_i \in \Lambda_1$ such that $\Lambda_2$ is, up to similarity,…

We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive…

We show that stable derivators, like stable model categories, admit Mayer-Vietoris sequences arising from cocartesian squares. Along the way we characterize homotopy exact squares, and give a detection result for colimiting diagrams in…

We give a model-independent definition of limits for diagrams valued in an $(\infty,n)$-category. We show that this definition is compatible with the existing notion of homotopy 2-limits for 2-categories, with the existing notion of…

We construct a random model for an $n$-fold branched cover of a finite acceptable $2$-complex $X$. This includes presentation $2$-complexes for finitely presented groups satisfying some mild conditions. For any $\lambda >0$, we show that as…

We prove delocalization of eigenvectors of vertex-transitive graphs via elementary estimates of the spectral projector. We recover in this way known results which were formerly proved using representation theory. Similar techniques show…

We consider computational complexity of problems related to the fundamental group and the first homology group of (embeddable) $2$-complexes. We show, as an extension of an earlier work, that computing first homology of $2$-complexes is…

We show that for any uncountable cardinal $\lambda$, the category of sets of cardinality at least $\lambda$ and monomorphisms between them cannot appear as the category of point of a topos, in particular is not the category of models of a…

In this paper, we develop the notion of presentability in the parametrised homotopy theory framework of Barwick-Dotto-Glasman-Nardin-Shah over orbital categories. We formulate and prove a characterisation of parametrised presentable…

We prove a general version of the homological perturbation lemma which works in the presence of curvature, and without the restriction to strong deformation retracts, building on work of Markl. A key observation is that the notion of strong…

We prove that if a simplicial complex is shellable, then the intersection lattice for the corresponding diagonal arrangement is homotopy equivalent to a wedge of spheres. Furthermore, we describe precisely the spheres in the wedge, based on…