相关论文: Pasting pseudofunctors

The composition of the Fourier transform in $\mathbb{R}^n$ with a suitable pseudodifferential operator is called a Fourier operator. It is compact in appropriate function spaces. The paper deals with its spectral theory. This is based on…

This work introduces a general theory of universal pseudomorphisms and develops their connection to diagrammatic coherence. The main results give hypotheses under which pseudomorphism coherence is equivalent to the coherence theory of…

Let S be the spectrum of a discrete valuation ring with function field K. Let X be a scheme over S. We will say that X is semi-factorial over S if each invertible sheaf on the generic fiber X_K can be extended to an invertible sheaf on X.…

We adapt the work of Power to describe general, not-necessarily composable, not-necessarily commutative 2-categorical pasting diagrams and their composable and commutative parts. We provide a deformation theory for pasting diagrams valued…

For a flat proper morphism of finite presentation between schemes with almost coherent structural sheaves (in the sense of Faltings), we prove that the higher direct images of quasi-coherent and almost coherent modules are quasi-coherent…

We prove that intermediate extensions of perverse constructible $\mathbb{F}_p$-sheaves commute with smooth pullbacks for schemes admitting a closed embedding into a smooth scheme over a field of characteristic $p$ (embeddable schemes for…

Let f: X -> Z be a separated essentially-finite-type flat map of noetherian schemes, and \delta: X --> X \times_Z X the diagonal map. The fundamental class C_f (globalizing residues) is a map from the relative Hochschild functor…

We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category…

We introduce a category of inverse semigroup actions and a category of \'etale groupoids. We show that there are three functors which send inverse semigroups to their spectral actions, inverse semigroup actions to their transformation…

In this paper we will prove that there exists a covariant functor from the category of schemes to the category of graphs. This functor provides a combination between algebraic varieties and combinatorial graphs so that the invariants…

Semilinear maps are a generalization of linear maps between vector spaces where we allow the scalar action to be twisted by a ring homomorphism such as complex conjugation. In particular, this generalization unifies the concepts of linear…

Our goal is to derive some families of maps, also known as functions, from injective maps and surjective maps; this can be useful in various fields of mathematics. Let A be a small concrete category. We define a functor F, cometic functor,…

We construct a functor from the category of graphs to the category of groups which is faithful and "almost" full, in the sense that it induces bijections of the Hom sets up to trivial homomorphisms and conjugation in the category of groups.…

We define the concept of weak pseudotwistor for an algebra $(A, \mu)$ in a monoidal category $\mathcal{C}$, as a morphism $T:A\otimes A\rightarrow A\otimes A$ in $\mathcal{C}$, satisfying some axioms ensuring that $(A, \mu \circ T)$ is also…

Using the theory of group action, we first introduce the concept of the automorphism group of an exponential family or a graphical model, thus formalizing the general notion of symmetry of a probabilistic model. This automorphism group…

In this work, we relate the three main formalisms for the notion of pasting diagram in strict $\omega$-categories: Street's parity complexes, Johnson's pasting schemes and Steiner's augmented directed complexes. In the process, we show that…

We construct a fully faithful functor from the category of graphs to the category of fields. Using this functor, we resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S,…

Given a pair of adjoint functors between two arbitrary categories it induces mutually inverse equivalences between the full subcategories of the initial ones, consisting of objects for which the arrows of adjunction are isomorphisms. We…

In this paper we provide sufficient conditions in order to show that the set image of a continuous and shift-commuting map defined on a shift space over an arbitrary discrete alphabet is also a shift space; additionally, if such a map is…

Picture-valued invariants are the main achievement of parity theory by V.O. Manturov. In the paper we give a general description of such invariants which can be assigned to a parity (in general, a trait) on diagram crossings. We distinguish…