Related papers: Parametrised Presentability over Orbital Categorie…

In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…

We prove an equidistribution theorem a la Bader-Muchnik for operator-valued measures associated with boundary representations in the context of discrete groups of isometries of CAT(-1) spaces thanks to an equidistribution theorem of T.…

The aim of this article is to classify pairs of first-order Hamiltonian operators of Dubrovin-Novikov type such that one of them has a non-local part defined by an isometry of its leading coefficient. An example of such bi-Hamiltonian pair…

Reasoning modulo equivalences is natural for everyone, including mathematicians. Unfortunately, in proof assistants based on type theory, equality is appallingly syntactic and, as a result, exploiting equivalences is cumbersome at best.…

The additivity theorem for derivateurs associated to complicial biWaldhausen categories is proved. Also, to any exact category in the sense of Quillen a K-theory space is associated. This K-theory is shown to satisfy the additivity,…

We introduce and compare two approaches to equivariant homotopy theory in a topological or ordinary Quillen model category. For the topological model category of spaces, we generalize Piacenza's result that the categories of topological…

We extend our generic rigidity theory for periodic frameworks in the plane to frameworks with a broader class of crystallographic symmetry. Along the way we introduce a new class of combinatorial matroids and associated linear…

Motivated by the study of the interrelation between functorial and algebraic quantum field theory, we point out that on any locally trivial bundle of compact groups, representations up to homotopy are enough to separate points by means of…

In a parametrized and constrained Hamiltonian system, an observable is an operator which commutes with all (first-class) constraints, including the super-Hamiltonian. The problem of the frozen formalism is to explain how dynamics is…

A long-term research proposal on the algebraic structure, the representations and the possible applications of paraparticle algebras is structured in three modules: The first part stems from an attempt to classify the inequivalent gradings…

We study chain complexes of field configurations and observables for Abelian gauge theory on contractible manifolds, and show that they can be extended to non-contractible manifolds by using techniques from homotopy theory. The extension…

We observe that there is an equivalence between the singularity category of an affine complete intersection and the homotopy category of matrix factorizations over a related scheme. This relies in part on a theorem of Orlov. Using this…

Parameterized stable homotopy theory organizes local systems of spectra over homotopy types, governed by a "yoga" of six functors. To provide semantics for the recently developed Linear Homotopy Type Theory (LHoTT), good model categories of…

Let X be a stratified space on which the Juteau-Mautner-Williamson theory of parity sheaves is available. We develop a "nearby cycles formalism" in the framework of the homotopy category of parity sheaves on X, also known as the mixed…

The relation between manifold topology, observables and gauge group is clarified on the basis of the classification of the representations of the algebra of observables associated to positions and displacements on the manifold. The guiding,…

In this paper we study the problem of explicitly describing the space of invariant linear forms on induced distinguished representations in terms of invariant linear forms on the inducing representation. More precisely, for certain tempered…

The focus of this article is on metric completions of triangulated categories arising in the representation theory of hereditary finite dimensional algebras and commutative rings. We explicitly describe all completions of bounded derived…

In an earlier paper (Class. Quantum Grav. 19 (2002) p.259) the author wrote the homothetic equations for vacuum solutions in a first order formalism allowing for arbitrary alignment of the dyad. This paper generalises that method to…

We study stratification, that is the classification of localizing tensor ideal subcategories by geometric means, in the context of Kasparov's equivariant KK-theory of C*-algebras. We introduce a straightforward countable analog of the…

This article investigates equivariant parametrized cellular cohomology, a cohomology theory introduced by Costenoble-Waner for spaces with an action by a compact Lie group $G$. The theory extends the $RO(G)$-graded cohomology of a $G$-space…