Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userBar category of modules and homotopy adjunction for tensor functors
228
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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 defined intrinsically in the language of DG-categories and requires no complex machinery or sign conventions of A-infinity categories. We define for these bar categories Tensor and Hom bifunctors, dualisation functors, and a convolution of twisted complexes. The intended application is to working with DG-bimodules as enhancements of exact functors between triangulated categories. As a demonstration we develop homotopy adjunction theory for tensor functors between derived categories of DG-categories. It allows us to show in an enhanced setting that given a functor F with left and right adjoints L and R the functorial complex $FR rightarrow FRFR rightarrow FR rightarrow Id$ lifts to a canonical twisted complex whose convolution is the square of the spherical twist of F. We then write down four induced functorial Postnikov towers computing this convolution.
rate research
Read More
In The factorization of the Giry monad (arXiv:1707.00488v2) the author asserts that the category of convex spaces is equivalent to the category of Eilenberg-Moore algebras over the Giry monad. Some of the statements employed in the proof of this claim have been refuted in our earlier paper (arXiv:1803.07956). Building on the results of that paper we prove that no such equivalence exists and a parallel statement is proved for the category of super convex spaces.
This paper has been withdrawn and replaced by arXiv:1309.5035. In this paper we describe some examples of so called spherical functors between triangulated categories, which generalize the notion of a spherical object. We also give sufficient conditions for a collection of spherical functors to yield a weak representation of the category of tangles, and prove a structure theorem for such representations under certain restrictions.
We compute the $mathbb{A}^1$-localization of several invariants of schemes namely, topological Hochschild homology ($mathrm{THH}$), topological cyclic homology ($mathrm{TC}$) and topological periodic cyclic homology ($mathrm{TP}$). This procedure is quite brutal and kills the complete
An adjunction is a pair of functors related by a pair of natural transformations, and relating a pair of categories. It displays how a structure, or a concept, projects from each category to the other, and back. Adjunctions are the common denominator of Galois connections, representation theories, spectra, and generalized quantifiers. We call an adjunction nuclear when its categories determine each other. We show that every adjunction can be resolved into a nuclear adjunction. The resolution is idempotent in a strict sense. The resulting nucleus displays the concept that was implicit in the original adjunction, just as the singular value decomposition of an adjoint pair of linear operators displays their canonical bases. [snip] In his seminal early work, Ross Street described an adjunction between monads and comonads in 2-categories. Lifting the nucleus construction, we show that the resulting Street monad on monads is strictly idempotent, and extracts the nucleus of a monad. A dual treatment achieves the same for comonads. This uncovers remarkably concrete applications behind a notable fragment of pure 2-category theory. The other way around, driven by the tasks and methods of machine learning and data analysis, the nucleus construction also seems to uncover remarkably pure and general mathematical content lurking behind the daily practices of network computation and data analysis.
Each Gr-functor of the type $(varphi,f)$ of a Gr-category of the type $(Pi,C)$ has the obstruction be an element $overline{k}in H^3(Pi,C).$ When this obstruction vanishes, there exists a bijection between congruence classes of Gr-functors of the type $(varphi,f)$ and the cohomology group $H^2(Pi,C).$ Then the relation of Gr-category theory and the group extension problem can be established and used to prove that each Gr-category is Gr-equivalent to a strict one.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
