Related papers: Cohomology of Small Cartesian Closed Categories

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

As a sequel to [Duan-Shu-Yao], we introduce here a category $\mathscr{LC}$ arising from the BGG category $\mathcal{O}$ defined in [Duan-Shu-Yao] for Lie algebras of polynomial vector fields. The objects of $\mathscr{LC}$ are so-called…

The category of Cartesian cubical sets is introduced and endowed with a Quillen model structure using ideas coming from recent constructions of cubical systems of univalent type theory.

We prove that every locally Cartesian closed $\infty$-category with subobject classifier has a strict initial object and disjoint and universal binary coproducts.

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…

In this monograph, we extend S. Schwede's exact sequence interpretation of the Gerstenhaber bracket in Hochschild cohomology to certain exact and monoidal categories. Therefore we establish an explicit description of an isomorphism by A.…

Suppose $k$ is a finite field, that $C$ is a smooth projective geometrically irreducible curve over $k$, and that $n$ is a positive integer not divisible by the characteristic of $k$. In this paper we compute cup products of elements of the…

It is known that, for $C$ an abelian category and $I$ small, the functor category $C^I$ is again abelian; thus we can do homology in such categories, and examine how it relates to homology in $C$ itself. However, there does not seem to be…

Let X be a CW complex with a continuous action of a topological group G. We show that if X is equivariantly formal for singular cohomology with coefficients in a field, then so are all symmetric products of X and in fact all its…

We prove that a homotopy cofinal functor between small categories induces a weak equivalence between homotopy colimits of pointed simplicial sets. This is used to prove that the non-Abelian homology of a group diagram is isomorphic to the…

We introduce a new cohomology-theoretic method for classifying generic immersed curves in closed compact surfaces by using Gauss codes. This subsumes a result of J.S. Carter on classifying immersed curves in oriented compact surfaces, and…

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 exhibit a Quillen equivalence between two model categories encoding the homotopy theory of stratified spaces : the model category of filtered simplicial sets, and that of filtered spaces. Additionally, we introduce a new class of…

Expanding a result of Serre on finite CW-complexes, we show that the Brauer group coincides with the cohomological Brauer group for arbitrary compact spaces. Using results from the homotopy theory of classifying spaces for Lie groups, we…

We construct the cohomology groups with compact support of stacks of shtukas with $\mathbb Z_{\ell}$-coefficients. We construct the cuspidal cohomology groups and prove that they are $\mathbb Z_{\ell}$-modules of finite type. We prove that…

We show that the bicategory of proper correspondences is the Dwyer-Kan localisation of the category of C*-algebras at a certain class of *-homomorphisms.

The self-closeness number of a CW-complex is a homotopy invariant defined by the minimal number $n$ such that every self-maps of $X$ which induces automorphisms on the first $n$ homotopy groups of $X$ is a homotopy equivalence. In this…

We define reduction of locally conformal Kaehler manifolds, considered as conformal Hermitian manifolds, and we show its equivalence with an unpublished construction given by Biquard and Gauduchon. We show the compatibility between this…

Let k be a field. We attach a CW-complex to any Schurian k-category and we prove that the fundamental group of this CW-complex is isomorphic to the intrinsic fundamental group of the k-category. This extends previous results by J.C.…

We show the compatibility of the differential geometric and the topological construction of equivariant characteristic classes for compact Lie groups. Our analysis motivates a differential geometric construction for equivariant…