Related papers: Comonadas y coanillos de Galois

For a Lie group $G$ and a vector bundle $E$ we study those actions of the Lie group $TG$ on $E$ for which the action map $TG\times E \to E$ is a morphism of vector bundles, and call those \emph{affine actions}. We prove that the category…

In this article we defined and studied quasi-finite comodules, the cohom functors for coalgebras over rings. linear functors between categories of comodules are also investigated and it is proved that good enough linear functors are nothing…

Let $G$ be a group acting on a category $\mathcal{C}$. We give a definition for a functor $F\colon \mathcal{C} \to \mathcal{C}'$ to be a $G$-covering and three constructions of the orbit category $\mathcal{C}/G$, which generalizes the…

For a $C^{*}$-category with a strict $G$-action we construct examples of equivariant coarse homology theories. To this end we first introduce versions of Roe categories of objects in $C^{*}$-categories which are controlled over bornological…

We focus our attention to the set $\gl{\coring{C}}$ of grouplike elements of a coring $\coring{C}$ over a ring $A$. We do some observations on the actions of the groups $U(A)$ and $\aut{\coring{C}}$ of units of $A$ and of automorphisms of…

We study co-Frobenius and more generally Quasi-co-Frobenius corings over arbitrary baserings and over PF baserings in particular. We generalize some results about (Quasi-) co-Frobenius coalgebras to the case of non-commutative base rings…

In this paper we describe a comma 2-comonad on the 2-category whose objects are functors, 1-cell are colax squares and 2-cells are their transformations. We give a complete description of the Eilenberg-Moore 2-category of colax coalgebras,…

Let X_1 and X_2 be schemes of finite type over a field of characteristic 0. Let Q be an object in the category D-mod(X_1\times X_2) and consider the functor F:D-mod(X_1)->Dmod(X_2) defined by Q. Assume that F admits a right adjoint also…

For a finite Galois extension of fields L/k with Galois group G, we study a functor from the G-equivariant stable homotopy category to the stable motivic homotopy category over k induced by the classical Galois correspondence. We show that…

For each pair of lax-idempotent pseudomonads $R$ and $I$, for which $I$ is locally fully faithful and $R$ distributes over $I$, we establish an adjoint functor theorem, relating $R$-cocontinuity to adjointness relative to $I$. This provides…

We describe new structure on the Goodwillie derivatives of a functor, and we show how the full Taylor tower of the functor can be recovered from this structure. This new structure takes the form of a coalgebra over a certain comonad which…

We provide a more economical refined version of Evrard's categorical cocylinder factorization of a functor [Ev1,2]. We show that any functor between small categories can be factored into a homotopy equivalence followed by a (co)fibred…

Let $\k$ be a commutative ring, and let $(A,\mfrak{a})$ be an adic ring which is a $\k$-algebra. We study complete and torsion versions of the derived Hochschild homology and cohomology functors of $A$ over $\k$. To do this, we first…

We give, for every finite group G, a combinatorial description of the ring of G-Witt vectors on a polynomial algebra over the integers. Using this description we show that the functor, which takes a ring with trivial action of G to its ring…

In this paper we study categories $(F,\mathbf{C},\mathbf{D})$ and $(\mathbb{F},\mathbf{C},\mathbf{Set})$ and prove them to be fibred on $\mathbf{C}$. Then we examine Grothendieck construction in the context of an ordinary functor $F:…

Let H be a connected reductive group over an algebraically closed field of characteristic zero, and let G be an abstract group. In this note we show that every homomorphism from the Grothendieck semiring of H to that of G which maps…

Let $J$ be a set of pairs consisting of good modules over an affine quantum algebra and invertible elements. The distribution of poles of the normalized R-matrices yields Khovanov-Lauda-Rouquier algebras $R^J$. We define a functor $F$ from…

Let $G$ be a connected reductive group, with connected center, and $X$ a smooth complete curve, both defined over an algebraically closed field of characteristic zero. Let $\operatorname{Bun}_G$ denote the stack of $G$-bundles on $X$. In…

Modular functors are traditionally defined as systems of projective representations of mapping class groups of surfaces that are compatible with gluing. They can formally be described as modular algebras over central extensions of the…

Given a functor $T:C \to D$ carrying a class of morphisms $S\subset C$ into a class $S'\subset D$, we give sufficient conditions in order that $T$ induces an equivalence on the localised categories. These conditions are in the spirit of…