相关论文: A comparison theorem for simplicial resolutions

Ideals are used to define homological functors for additive categories. In abelian categories the ideals corresponding to the usual universal objects are principal, and the construction reduces, in a choice dependent way, to homology…

We consider several conjectures on the independence of $\ell$ of the \'etale cohomology of (singular, open) varieties over $\bar{\mathbf F}_p$. The main result is that independence of $\ell$ of the Betti numbers $h^i_{\text{c}}(X,\mathbf…

Game comonads have brought forth a new approach to studying finite model theory categorically. By representing model comparison games semantically as comonads, they allow important logical and combinatorial properties to be exressed in…

We study equivariant coarse homology theories through an axiomatic framework. To this end we introduce the category of equivariant bornological coarse spaces and construct the universal equivariant coarse homology theory with values in the…

Let $R$ be a commutative ring with unit. We develop a Hochschild cohomology theory in the category $\mathcal{F}$ of linear functors defined from an essentially small symmetric monoidal category enriched in $R$-Mod, to $R$-Mod. The category…

A stable homology theory is defined for completely distributive CSL algebras in terms of the point-neighbourhood homology of the partially ordered set of meet-irreducible elements of the invariant projection lattice. This specialises to the…

An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a…

In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application…

This work arose from efforts to generalise the usual cubical boundary by using different 'weights' for opposite faces, but still to obtain a chain complex, and this method was found to generalise. We describe a variant of the classical…

This article gives a solid theoretical grounding to the observation that cubical structures arise naturally when working with parametricity. We claim that cubical models are cofreely parametric. We use categories, lex categories or clans as…

We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…

We prove that the Bredon homology or cohomology of the partition complex with fairly general coefficients is either trivial or computable in terms of constructions with the Steinberg module. The argument involves developing a theory of…

For an adjoint pair $(F, G)$ of functors, we prove that $G$ is a separable functor if and only if the defined monad is separable and the associated comparison functor is an equivalence up to retracts. In this case, under an idempotent…

Conditioning on some set of confounders that causally affect both treatment and outcome variables can be sufficient for eliminating bias introduced by all such confounders when estimating causal effect of the treatment on the outcome from…

In this paper, the notion of conditionally bi-free independence for pairs of algebras is introduced. The notion of conditional $(\ell, r)$-cumulants are introduced and it is demonstrated that conditionally bi-free independence is equivalent…

If a reduced bivariate polynomial is quasi-homogeneous, then its discriminant is a monomial. Over fields of characteristic $0$, we show that if one adds another simple condition, this becomes an equivalence. We also give a third equivalent…

This article develops several main results for a general theory of homological algebra in categories such as the category of sheaves of idempotent modules over a topos. In the analogy with the development of homological algebra for abelian…

For a homological functor from a triangulated category to an abelian category satisfying some technical assumptions we construct a tower of interpolation categories. These are categories over which the functor factorizes and which capture…

From the viewpoint of semi-abelian homology, some recent results on homology of Leibniz n-algebras can be explained categorically. In parallel with these results, we develop an analogous theory for Lie n-algebras. We also consider the…

We show that the Mordell Weil rank of an isotrivial abelian variety with a cyclic holonomy depends only on the fundamental group of the complement to the discriminant provided the discriminant has singularities in the introduced here CM…