Related papers: Comonadas y coanillos de Galois

We establish formulas for computation of the higher algebraic $K$-groups of the endomorphism rings of objects linked by a morphism in an additive category. Let ${\mathcal C}$ be an additive category, and let $Y\ra X$ be a covariant morphism…

Let $R$ be an integral domain and $G$ be a subgroup of its group of units. We consider the category $\mathbf{\mathsf{Cob}}_G$ of 3-dimensional cobordisms between oriented surfaces with connected boundary, equipped with a representation of…

We apply the Acyclicity Theorem of Hess, Kerdziorek, Riehl, and Shipley (recently corrected by Garner, Kedziorek, and Riehl) to establishing the existence of model category structure on categories of coalgebras over comonads arising from…

The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…

Let $k$ be an algebraically closed field of characteristic $p>0$, let $R$ be a commutative ring, and let $\mathbb{F}$ be an algebraically closed field of characteristic 0. We consider the $R$-linear category $\mathcal{F}^\Delta_{Rpp_k}$ of…

We study polynomial comonads and polynomial bicomodules. Polynomial comonads amount to categories. Polynomial bicomodules between categories amount to parametric right adjoint functors between corresponding copresheaf categories. These may…

Let G be a group and k a field of characteristic zero. We prove that if the Farrell-Jones conjecture for the K-theory of R[G] is satisfied for every smooth k-algebra R, then it is also satisfied for every commutative k-algebra R.

We show that the category of partial comodules over a Hopf algebra $H$ is comonadic over ${\sf Vect}_k$ and provide an explicit construction of this comonad using topological vector spaces. The case when $H$ is finite dimensional is treated…

Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary…

Let $k$ be a number field, $\mathbf{G}$ an algebraic group defined over $k$, and $\mathbf{G}(k)$ the group of $k$-rational points in $\mathbf{G}.$ We determine the set of functions on $\mathbf{G}(k)$ which are of positive type and…

We introduce a class of good endofunctors of $C^{*}$-algebras, endow it with a structure of a bimonoidal category, and define homotopies of natural transformations between such endofunctors. For every pair of $C^{*}$-algebras and a good…

Let $G$ be a group acting on a small category $\mathcal C$ over a field $k$, that is $\mathcal C$ is a $G$-$k$-category. We first obtain that $\mathcal C$ is resolvable by a category which is $G$-$k$-equivalent to it, on which $G$ acts…

The main result concerns a bicategorical factorization system on the bicategory $\mathrm{Cat}$ of categories and functors. Each functor $A\xra{f} B$ factors up to isomorphism as $A\xra{j}E\xra{p}B$ where $j$ is what we call an ultimate…

Associating graph algebras to directed graphs leads to both covariant and contravariant functors from suitable categories of graphs to the category k-Alg of algebras and algebra homomorphisms. As both functors are often used at the same…

For our purposes, two functors {\Lambda} and {\Gamma} are said to be respectively left and right adjoints of each other if for any digraphs G and H, there exists a homomorphism of {\Lambda}(G) to H if and only if there exists a homomorphism…

A pair of adjoint functors $(F,G)$ is called a Frobenius pair of the second type if $G$ is a left adjoint of $\beta F\alpha$ for some category equivalences $\alpha$ and $\beta$. Frobenius ring extensions of the second kind provide examples…

We introduce a functor $\mathfrak{M}:\mathbf{Alg}\times\mathbf{Alg}^\mathrm{op}\rightarrow\mathrm{pro}\text{-}\mathbf{Alg}$ constructed from representations of $\mathrm{Hom}_\mathbf{Alg}(A,B\otimes ? )$. As applications, the following items…

We provide a construction of the fixed points of functors which may not be inital algebras or final coalgebras. For an endofunctor F, this fixed point construction may be expressed as a pair of adjoint functors between F-coalgebras and…

We consider the category of comodules over a smash coproduct coalgebra $C\smashco H$. We show that there is a Grothendieck spectral sequence connecting the derived functors of the Hom functors coming from $C\smashco H$-colinear,…

We prove that the Farrell-Jones isomorphism conjecture for non-connective algebraic K-theory for a discrete group G and a coefficient ring R holds true if G belongs to the class of groups acting on trees, under certain conditions on G (see…