相关论文: Quillen's adjunction theorem for derived functors,…

We analyze adjunction and inversion of adjunction for the $F$-purity of divisor pairs in characteristic $p > 0$. In this vein, we give a complete answer for principal divisors under $\mathbb{Q}$-Gorenstein assumptions but without…

The contributions of this paper are twofold. Within the framework of Grothendieck's fibrational category theory, we present a web of fundamental 2-adjunctions surrounding the formation of the category of all small diagrams in a given…

We prove a general version of Quillen's Theorem B, for actions of simplicial categories, in an arbitrary left Bousfield localization of the homotopy theory of simplicial presheaves over a site. As special cases, we recover a version of the…

In this paper we formulate and lay the foundations for the K-theoretic Farrell-Jones Conjecture for the Hecke algebra of totally disconnected groups. The main result of his paper is the proof that it passes to closed subgroups. Moreover, we…

Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic,…

A simple proof is given of the known fact that an m-times continuously differentiable function on the real line can be approximated along with its derivatives by an entire function and its respective derivatives.

Many proofs of the Fundamental Theorem of Algebra, including various proofs based on the theory of analytic functions of a complex variable, are known. To the best of our knowledge, this proof is different from the existing ones.

Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…

We give a constructive proof of Carpenter's Theorem due to Kadison. Unlike the original proof our approach also yields the real case of this theorem.

Working in the Arone-Ching framework for homotopical descent, it follows that the Bousfield-Kan completion map with respect to integral homology is the unit of a derived adjunction. We prove that this derived adjunction, comparing spaces…

Gradient-based techniques are becoming increasingly critical in quantitative fields, notably in statistics and computer science. The utility of these techniques, however, ultimately depends on how efficiently we can evaluate the derivatives…

We introduce and study categorical realizations of quivers. This construction generalizes comma categories and includes representations of quivers on categories, twisted representations of quivers and bilinear pairings as special cases. We…

The purpose of this paper is to present a generalization of Forelli's theorem. In particular, we prove an all dimensional version of the two-dimensional theorem of Chirka of 2005.

Derivative-based algorithms are ubiquitous in statistics, machine learning, and applied mathematics. Automatic differentiation offers an algorithmic way to efficiently evaluate these derivatives from computer programs that execute relevant…

Diers developed a general theory of right multi-adjoint functors leading to a purely categorical, point-set construction of spectra. Situations of multiversal properties return sets of canonical solutions rather than a unique one. In the…

We introduce and study relatively divisible and relatively flat objects in exact categories in the sense of Quillen. For every relative cotorsion pair $(\mathcal{A},\mathcal{B})$ in an exact category $\mathcal{C}$, $\mathcal{A}$ coincides…

The purpose of this article is to present my new proof of the the construction and the convergence theorem of spectral sequences of filtered complexes, which is much shorter and cleaner than the "standard" proof.

In this paper we establish the convergence case of Khintchine's theorem for affine hyperplanes in function field of positive characteristic. Along with that, we also prove a quantitative version of the same. The main technique used in the…

This note analyzes in terms of categorial proof theory some standard assumptions about negation in the absence of any other connective. It is shown that the assumptions for an involutive negation, like classical negation, make a kind of…

We continue our study of relatively divisible and relatively flat objects in exact categories in the sense of Quillen with several applications to exact structures on finitely accessible additive categories and module categories. We derive…