Related papers: Natural transformations relating homotopy and sing…

Let $G$ be a finite group acting on a small category $I$. We study functors $X \colon I \to \mathscr{C}$ equipped with families of compatible natural transformations that give a kind of generalized $G$-action on $X$. Such objects are called…

We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…

In this paper, motivated by the singularity formation of ASD connections in gauge theory, we study an algebraic analogue of the singularity formation of families of rank two holomorphic vector bundles over surfaces. For this, we define a…

For any natural number $n$, the group $G_n$ of all invertible affine transformations of $n$-dimensional Euclidean space has, up to equivalence, just one square-integrable representation and the left regular representation of $G_n$ is a…

There is an ``algebraisation'' of the notion of weak factorisation system (w.f.s.) known as a natural weak factorisation system. In it, the two classes of maps of a w.f.s. are replaced by two categories of maps-with-structure, where the…

Let $A$ be a multiset with elements in an abelian group. Let $FS(A)$ be the multiset containing the $2^{|A|}$ sums of all subsets of $A$. We study the reconstruction problem ``Given $FS(A)$, is it possible to identify $A$?'', and we give a…

The class of finitely presented algebras A over a field K with a set of generators x_{1},...,x_{n} and defined by homogeneous relations of the form x_{i_1}x_{i_2}...x_{i_l}=x_{sigma(i_1)}x_{sigma(i_2)}...x_{sigma(i_l)}, where l geq 2 is a…

Given a finite category T, we consider the functor category [T,A], where A can in particular be any quasi-abelian category. Examples of quasi-abelian categories are given by any abelian category but also by non-exact additive categories as…

We prove an "abelian, locally compact" Whitehead theorem in fine shape: A fine shape morphism between locally connected finite-dimensional locally compact separable metrizable spaces with trivial $\pi_0$ and $\pi_1$ is a fine shape…

In this article we realize T-duality as a geometric transform of bundles of abelian group stacks. The transform applies in the algebro-geometric setting as well as the topological setting, and thus makes precise the link between the models…

In this paper we prove the homotopy lifting property for actions of finite abelian groups on Hausdorff topological spaces.

In this note, we describe the geometry of the quaternionic Heisenberg groups from a Riemannian viewpoint. We show, in all dimensions, that they carry an almost $3$-contact metric structure which allows us to define the metric connection…

We show the classical $\pi_1$-action on the $n$-th homotopy group can fail to be continuous for any $n$ when the homotopy groups are equipped with the natural quotient topology. In particular, we prove the action…

We construct an extension of Gaussian elimination to show that if $\mathbb{F}$ is a topological field, then there is a transitive, free, and continuous action of a natural quotient of $GL_k(\mathbb{F}) \times GL_{k+1}(\mathbb{F})$ on the…

Let $F_n= F\langle x_1,...,x_n\rangle$ denote the free group of rank $n\ge 2$ and let $\mathrm{End}(F_n)$ be the endomorphism monoid of $F_n$. We show that automorphisms of $F_n$ are detected via the $\mathrm{End}(F_n)$-action on the first…

We prove a new localization theorem for stable model categories if the localizing subcategory is generated by a precovering class in the model category. We use this to show how one may explicitly realize certain Bousfield localization…

Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…

We consider all Bott-Samelson varieties ${\rm BS}(s)$ for a fixed connected semisimple complex algebraic group with maximal torus $T$ as the class of objects of some category. The class of morphisms of this category is an extension of the…

The theory of parity quasi-complexes (PQC) is developed, preparing a set up for defining derived functors using resolutions in the nonabelian case. A homotopy structure on the category of PQC is defined, yielding a 2-category structure. The…

Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of ($\infty$-)categories of spans (or correspondences). In this paper we study the…