On lifting stable diagrams in Frobenius categories
نویسنده
چکیده
Suppose given a Frobenius category E , i.e. an exact category with a big enough subcategory B of bijectives. Let E := E/B denote its classical stable category. For example, we may take E to be the category of complexes C(A) with entries in an additive category A, in which case E is the homotopy category of complexes K(A). Suppose given a finite poset D that satisfies the combinatorial condition of being ind-flat. Then, given a diagram of shape D with values in E (i.e. stably commutative), there exists a diagram consisting of pure monomorphisms with values in E (i.e. commutative) that is isomorphic, as a diagram with values in E , to the given diagram.
منابع مشابه
On lifting diagrams up to homotopy in Frobenius categories
Suppose given a Frobenius category E , i.e. an exact category with a big enough subcategory B of bijectives. Let E := E/B denote its classical homotopy category. For example, we may take E to be the category of complexes C(A) with entries in an additive category A, in which case E is the homotopy category of complexes K(A). Suppose given a finite poset D that satisfies the combinatorial conditi...
متن کاملHopf Algebras and Their Generalizations from a Categorical Point of View
These lecture notes were written for a short course to be delivered in March 2017 at the Atlantic Algebra Centre of the Memorial University of Newfoundland, Canada. Folklore says that (Hopf) bialgebras are distinguished algebras whose representation category admits a (closed) monoidal structure. Here we discuss generalizations of (Hopf) bialgebras based on this principle. • The first lecture is...
متن کاملGeometric Waldspurger periods
1.0 This paper, which is a sequel to [6], is a step towards a geometric version of the Howe correspondence (an analogue of the theta-lifting in the framework of the geometric Langlands program). We consider only the (unramified) dual reductive pair (H = GO2m, G = GSp2n) over a smooth projective connected curve X. Let BunG (resp., BunH) denote the stack of Gtorsors (resp., H-torsors) on X. Using...
متن کاملCategories of relations as models of quantum theory
Categories of relations over a regular category form a family of models of quantum theory. Using regular logic, many properties of relations over sets lift to these models, including the correspondence between Frobenius structures and internal groupoids. Over compact Hausdorff spaces, this lifting gives continuous symmetric encryption. Over a regular Mal’cev category, this correspondence gives ...
متن کاملMaps II : Chasing Diagrams
In categorical proof theory, propositions and proofs are presented as objects and arrows in a category. It thus embodies the strong constructivist paradigms of propositions-as-types and proofs-as-constructions , which lie in the foundation of computational logic. Moreover, in the categorical setting, a third paradigm arises, not available elsewhere: logical-operations-as-adjunctions. It ooers a...
متن کامل