相关论文: Quillen's adjunction theorem for derived functors,…
In this paper, we give a counter-example, in the general case, Kronecker theorem will derive contradiction. Kronecker theorem be correct after removing some conditions.
This paper presents a novel direct elementary proof for Fermat's Last Theorem. We use algebra, modular math, and binomial series to develop inherent mathematical relationships hidden within Fermat's Last Theorem. With these derived…
We define the notion of an indexed profunctor over a 2-category, and use it to develop an abstract theory of limits. The theory subsumes (conical) limits, weighted limits, ends and Kan extensions. Results include an abstract version of the…
We describe simple criteria under which a given functor is naturally equivalent to an enriched one. We do this for several bases of enrichment, namely (pointed) simplicial sets, (pointed) topological spaces and orthogonal spectra. We also…
We discuss adjunction formulas for fiber spaces and embeddings, extending the known results along the lines of the Adjunction Conjecture, independently proposed by Y. Kawamata and V.V. Shokurov. As an application, we simplify Koll\'ar's…
Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…
We present a short new proof of Cobham's theorem without using Kronecker's approximation theorem, making it suitable for generalization beyond automatic sequences.
This article presents a reformulation of the Theory of Functional Connections: a general methodology for functional interpolation that can embed a set of user-specified linear constraints. The reformulation presented in this paper exploits…
We extend the Quillen Theorem Bn for homotopy fibers of Dwyer, et al. to similar results for homotopy pullbacks and note that these results imply similar results for zigzags in the categories of relative categories and k-relative…
We propose a variant of the effective adjunction conjecture for lc-trivial fibrations. This variant is suitable for inductions and can be used to treat real coefficients.
It is known that Plotkin's reduction theorem is very important for his theory of universal algebraic geometry [arXiv:math. GM/0210187], [arXiv:math. GM/0210194]. It turns out that this theorem can be generalized to arbitrary categories…
In this paper, we prove a new generalized Mikhlin multiplier theorem whose conditions are given with respect to fractional derivatives in integral forms with two different integration intervals. We also discuss the connection between…
We formulate and prove the existence and uniqueness of the generalized Fourier transform associated with the absolutely continuous part of an arbitrary selfadjoint operator on a separable Hilbert space. To this end we develop a novel method…
We begin with recalling the correspond theorem of induced modules and global sections of vector bundles. After that, we give a generalization of this theorem. Finally, we apply the result to branching laws, and give some concrete examples.
A complete proof is given of relative interpretability of Adjunctive Set Theory with Extensionality in an elementary concatenation theory.
We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category $\mathcal V$ admitting certain limits. When $\mathcal V$ is equipped with the trivial model structure this recaptures the enriched…
Given a Fourier-Mukai functor $\Phi$ in the general setting of singular schemes, under various hypotheses we provide both left and a right adjoints to $\Phi$, and also give explicit formulas for them. These formulas are simple and natural,…
We give an exposition of the theory of adjoints and conductors for curves on nonsingular surfaces, emphasizing the case of plane curves, for which the presentation is particularly elementary. This is closely related to Max Noether's…
In this note we prove a general version of the Extrapolation Theorem, extending the classical linear extrapolation theorem due to B. Maurey. Our result shows, in particular, that the operators involved do not need to be linear.
A recently proposed integral representation for permanents is rederived using only elementary combinatorics. For this proof the assumption that the matrix, for which the permanent is calculated, has an inverse is not necessary.