相关论文: Components, complements and reflection formulas

There is a lot of redundancy in the usual definition of adjoint functors. We define and prove the core of what is required. First we do this in the hom-enriched context. Then we do it in the cocompletion of a bicategory with respect to…

Reflexive functors of modules naturally appear in Algebraic Geometry. In this paper we define a wide and elementary family of reflexive functors of modules, closed by tensor products and homomorphisms, in which Algebraic Geometry can be…

A connection between the Galois-theoretic approach to semi-abelian homology and the homological closure operators is established. In particular, a generalised Hopf formula for homology is obtained, allowing the choice of a new kind of…

We introduce and develop the notion of *displayed categories*. A displayed category over a category C is equivalent to "a category D and functor F : D --> C", but instead of having a single collection of "objects of D" with a map to the…

The tensor functor from the category of $A_\infty$-algebras into the category of differential modules with $\infty$-simplicial faces is constructed. Further, it is showed that this functor sends homotopy equivalent $A_\infty$-algebras into…

Conceiving of premises as collected into sets or multisets, instead of sequences, may lead to triviality for classical and intuitionistic logic in general proof theory, where we investigate identity of deductions. Any two deductions with…

We initiate the systematic study of modular representations of symmetric groups that arise via the braiding in (symmetric) tensor categories over fields of positive characteristic. We determine what representations appear for certain…

Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective…

We describe the structure of the tensor product of the basic Fock representation of sl(\infty) with its shifted dual. More precisely we prove that this tensor product has a unique decreasing filtration with simple quotients. We use the…

We study discrete opfibration classifiers in enhanced 2-categories and show how, under suitable hypotheses, such classifiers can be endowed with the structure of a (lax or pseudo-)T-algebra and classify strict discrete opfibrations in…

We discuss an interesting duality known to occur for certain complex reflection groups, namely the duality groups. Our main construction yields a concrete, representation theoretic realisation of this duality. This allows us to naturally…

We systematically develop the theory of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range…

In mathematical logic there are two seemingly distinct kinds of principles called "reflection principles." Semantic reflection principles assert that if a formula holds in the whole universe, then it holds in a set-sized model. Syntactic…

We describe the image of the canonical tensor functor from Deligne's interpolating category $Rep(GL_{m-n})$ to $Rep(GL(m|n))$ attached to the standard representation. This implies explicit tensor product decompositions between any two…

We focus on two factorization systems for opfibrations in the 2-category Fib(B) of fibrations over a fixed base category B. The first one is the internal version of the so called comprehensive factorization, where the right orthogonal class…

Complex functions have multiple uses in various fields of study, so analyze their characteristics it is of extensive interest to other sciences. This work begins with a particular class of rational functions of a complex variable; over this…

Let A be an algebra with a countable basis and let B be, say, a Frechet algebra that contains A as a dense subalgebra. This embedding induces a functor from the derived category of B-modules to the derived category of A-modules. In many…

We constructed some tensor functors that send each exceptional sequence in a module category to another exceptional sequence in another module category by using split extensions and recollements.

Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…

Given a DG-category A we introduce the bar category of modules Modbar(A). It is a DG-enhancement of the derived category D(A) of A which is isomorphic to the category of DG A-modules with A-infinity morphisms between them. However, it is…