Related papers: Universal cohomology theories

We develop the viewpoint that the opposite of the category of W*-algebras and unital normal *-homomorphisms is analogous to the category of sets and functions. For each pair of W*-algebras, we construct their free exponential, which in the…

Let $H$ be a Hopf algebra over a field $k$, and $A$ an $H$-comodule algebra. The categories of comodules and relative Hopf modules are then Grothendieck categories with enough injectives. We study the derived functors of the associated Hom…

The cohomology theory known as Tmf, for "topological modular forms," is a universal object mapping out to elliptic cohomology theories, and its coefficient ring is closely connected to the classical ring of modular forms. We extend this to…

We combine the theory of inductive data types with the theory of universal measurings. By doing so, we find that many categories of algebras of endofunctors are actually enriched in the corresponding category of coalgebras of the same…

We develop a cohomological approach to M\"obius inversion using derived functors in the enriched categorical setting. For a poset $P$ and a closed symmetric monoidal abelian category $\mathcal{C}$, we define M\"obius cohomology as the…

Given a small category C, we show that there is a universal way of expanding C into a model category, essentially by formally adjoining homotopy colimits. The technique of localization becomes a method for imposing `relations' into these…

We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…

We produce a fully faithful functor from finite type nilpotent spaces to cosimplicial binomial rings, thus giving an algebraic model of integral homotopy types. As an application, we construct an integral version of the…

We prove general results about completeness of cotorsion theories and existence of covers and envelopes in locally presentable abelian categories, extending the well-established theory for module categories and Grothendieck categories.…

Given a cohomological functor from a triangulated category to an abelian category, we construct under appropriate assumptions for any localization functor of the abelian category a lift to a localization functor of the triangulated…

In this paper we will prove that there exists a covariant functor, called algebraic anabelian functor, from the category of algebraic schemes over a given field to the category of outer homomorphism sets of groups. The algebraic anabelian…

Given a group, we construct a fundamental additive functor on its orbit category. We prove that any isomorphism conjecture valid for this fundamental isomorphism functor holds for all additive functors, like K-theory, cyclic homology,…

In group representations several inductions given by tensoring with appropriate bimodules may be reconstructed via homology of $G$-posets with $G$-equivariant coefficients. For this purpose, we need various local categories of a finite…

We generalize the Hopf algebras of free quasisymmetric functions, quasisymmetric functions, noncommutative symmetric functions, and symmetric functions to certain representations of the category of all finite Coxeter systems and its dual…

We introduce cohomology and homology theories for small categories with general coefficient systems from simplex categories first studied by Thomason. These theories generalize at once Baues-Wirsching cohomology and homology and other more…

We give a computational approach to theorem proving in homological algebra. This approach is based on computations in the free abelian category of an additive category $\mathbf{A}$. We show that the free abelian category is amenable to…

The aim of this paper is to investigate in which sense, for $n\geq 3$, $n$-Lie algebras admit universal enveloping algebras. There have been some attempts at a construction (see [10] and [5]) but after analysing those we come to the…

Motivated by the definition of Freiman homomorphism, we explore the possibilities of formulating some basic notions and techniques of additive combinatorics in a categorical language. We show that additive sets and Freiman homomorphisms…

For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.

Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…