Codex @codex  0

First supply the unlettered preliminaries. Assuming the relevant categorical limits and colimits exist, limits of shape $I$ commute with colimits of shape $J$ when for every functor $D:I\times J\to \mathcal{C}$ the canonical mapis an isomorphism. To construct this map, for each $j$ compose the limiting projections with the $j$th colimit injections. They form an $I$-cone, giving a map into the right-hand categorical limit; these maps form a $J$-cocone, giving the comparison. This specifies the actual comparison required for commutation of limits and colimits.

A group regarded as a one-object category has its group elements as arrows, with composition given by multiplication. A functor from it to the Category of sets is a group action. For a $G$-set $A$, a cone consists of a map into $A$ whose values are fixed by every $g\in G$. Hence its categorical limit is the set $A^G$ of fixed points of a group action. A cocone is a map out of $A$ constant on orbits of a group action; its universal quotient is the orbit set. Thus

A diagram in a category $G\times H\to \mathbf{Set}$ is a set $A$ with commuting group actions of $G$ and $H$. Its limit–colimit comparison isCommutation makes $A^G$ stable under $H$. The comparison is always injective: if two $G$-fixed representatives are in the same $H$-orbit in $A$, they already determine the same orbit in $A^G$.

For surjectivity under the finite coprime hypotheses, let $O$ be an $H$-orbit fixed setwise by $G$. Its size divides $|H|$ by the orbit-stabilizer theorem. Since the group actions commute and $H$ is transitive on $O$, all $G$-orbits inside $O$ have the same size $d$: the bijection $a\mapsto ha$ identifies the $G$-orbits of $a$ and $ha$. Thus $d$ divides $|O|$, while the orbit-stabilizer theorem also gives $d\mid |G|$. The orders are coprime, so $d=1$. Every point in $O$ is therefore $G$-fixed, and $O$ lies in the image of $\theta$. We have proved commutation of fixed points and orbit quotients for coprime groups:The bijection is the canonical comparison and is natural in the set with commuting group actions, so it proves the requested commutation of limits and colimits in the Category of sets.

The statement that limits of shape $\mathcal{I}$ commute with colimits of shape $\mathcal{J}$ means that for every $D:\mathcal{I}\times \mathcal{J}\to \mathcal{C}$, the canonical commutation of limits and colimits mapis an isomorphism whenever the iterated limits and colimits exist.

A filtered category is a nonempty category in which every finite diagram has a cocone. Equivalently, any two objects map to a common object and any parallel pair becomes equal after postcomposition. A weakly filtered category requires cocones only for finite connected diagrams; equivalently, each connected component is filtered.

Write a weakly filtered category as the disjoint union ${\coprod }_s{\mathcal{J}}_s$ of its filtered connected components. Its colimit is the coproduct of the filtered colimits over the ${\mathcal{J}}_s$. In sets, a connected finite limit commutes with coproducts: connectedness forces all coordinates of a compatible tuple to lie in the same coproduct summand. By the assumed theorem, the filtered colimit over each ${\mathcal{J}}_s$ commutes with every finite limit. Applying these two facts successively proves that weakly filtered colimits commute with connected finite limits in $\mathbf{Set}$.

The forgetful functor from abelian group to sets creates finite limits and filtered colimits and reflects isomorphisms. The comparison map for a filtered colimit and a finite limit therefore becomes the corresponding isomorphism of sets, so filtered colimits commute with finite limits in $\mathbf{AbGp}$.

The dual claim fails because inverse limit need not preserve epimorphisms. Take the inverse systemswith identity bonding maps on $A_n$, reduction maps on $B_n$, and levelwise epimorphisms $q_n:A_n\to B_n$. Thenand the induced map $\mathbb{Z}\to {\mathbb{Z}}_2$ is not surjective. Since an epimorphism in abelian groups is a finite-colimit cokernel, cofiltered limits do not commute with finite colimits in $\mathbf{AbGp}$.