# Tagged Questions

Abelian categories are categories that possess most of properties of categories of modules over a ring, e.g. abelian group structure on morphisms, existence of kernels and cokernels of morphisms, existence of direct products and directs sums, etc.

51 views

56 views

54 views

### Show that homology is a functor in a pure categorical way.

Let $\mathscr{A}$ be an abelian category i want to show that $\mathcal{H^i}$ ( the i-th homology group) is a functor from the category of complexes of $\mathscr{A}$ to $\mathscr{A}$. I showed this for ...
30 views

### Infinite complexes as functor categories.

I was thinking that if we have have an infinite complex in an abelian category $\mathscr{C}$ : $...\xrightarrow{f_{i-1}} \mathcal{A}^i \xrightarrow{f_{i+i}}\mathcal{A_{i}}...$ Can be regarded as a ...
39 views

### Finitely generated abelian groups form an abelian subcategory of $\mathbb{Z}$-Mod

According to Weibel's Homological Algebra book a subcategory $\mathcal{B}$ of an abelian category $\mathcal{A}$ is called an abelian subcategory if it is abelian and an exact sequence in $\mathcal{B}$ ...
23 views

### Is the category of H-bicomodules within the monoidal category of H-bimodules equivalent to the category of left H-comodules

Fix $\mathbb{k}$ a field. Let $H$ be a $\mathbb{k}$-quasi-bialgebra. Is there an equivalence ${}_H^H \mathcal{M}_H^H \cong {}^H \mathcal{M}$ where ${}_H^H \mathcal{M}_H^H$ is the category of $H$-...
56 views

### Exponential objects of internal objects respecting evaluation (2-exponentials?)

Let $(F,+_F)$, and $(G,+_G)$ be two commutative internal monoids in Sets. Set being cartesian closed, I can form $G^F$ as a set. My question is simple: is there a canonical/universal way to enforce ...