Category of sheaves on a topological space is not $\mathbf{AB4^{*}}$ I want to show that the category of sheaves on a topological space ($\mathbf
{Sh}(X)$) is not $\mathbf{AB4^{*}}$. Recall that $\mathbf{AB4^{*}}$ means that the product of epimorphisms is an epimorphism.
What I have tried:
Let $X = \mathbb{C}$ and consider the sheaf of holomorphic functions: that is, for every open set $U$, we have the abelian group
$$\mathcal{O}(U) := \left\{f\colon U \subseteq \mathbb{C} \longrightarrow \mathbb{C} : f \text{ is holomorphic in } U\right\}$$
Now consider the sheaf morphism that, given in components, is the complex differentiation map:
$$
\begin{array}{rcl}
     d(U) \colon \mathcal{O}(U)& \longrightarrow &\mathcal{O}(U)\\
     f & \longmapsto & d(U)(f) := \dfrac{df}{dz}
\end{array}
$$
I've seen that $d$ is an epimorphism of sheaves (not of presheaves: the function $f(z) = 1/z$ in $\mathbb{C}\setminus{\left\{0\right\}}$ is a classical counterexample), but I suspect that the product morphism is not epic. Any ideas? I accept other counterexamples, my goal is to show that $\mathbf{AB4^{*}}$ doesn't hold. $\mathbf{EDIT:}$
Given $\left\{f_{i} \colon A_{i} \longrightarrow B_{i}\right\}_{i \in \mathcal{I}}$, the product morphism is the unique morphism $$\varphi \colon \prod_{i \in \mathcal{I}} A_{i} \longrightarrow \prod_{i \in \mathcal{I}} B_{i}$$
so in my example, by product morphism I mean $d = f_{i}$ for $i \in \mathcal{I}$, where $\mathcal{I}$ is an infinite set.
 A: I think that your example does not work. Indeed, we have the following lemma.
Lemma (Uniform surjectivity implies product surjectivity)
Let $\varphi_i : \mathcal{F}_i \to \mathcal{G}_i$ be a collection of sheaf morphisms, with base space $X$. Suppose that there is a basis $\mathcal{B}$ of $X$ such that $\varphi_i(U):\mathcal{F}_i(U) \to \mathcal{G}_i(U)$ is surjective for all $U \in \mathcal{B}$. Then $\prod_i \mathcal{F}_i \to \prod_i \mathcal{G}_i$ is sheaf surjective.
Proof. Sheaf surjectivity is equivalent to surjectivity on stalks. Take $[(g_i,U)]$ be an element of the stalk $(\prod \mathcal{G}_i)_x$. Take $x \in V \subset U$ such that $V \in \mathcal{B}$. By hypothesis, there exist $[(f_i, V)]$ that are sent to $[(g_i |V, V)]$, and we are done.
Corollary. Your example does not work.
Indeed, if I well remember from complex analysis, your sheaf function is surjective on opens that are disks, and these constitute a basis. 
Having in mind that we must force some disuniformity in $i$ with respect to the opens where we have a lifting, we build the following example.


*

*For $U \subset X$, define $\mathbb{Z}_U$ as the sheafification of the presheaf $Z_U$ such that $Z_U(V) = \mathbb{Z}$ if $V \subset U$, and 0 otherwise. Restriction functions are idenitites when possible and zeros otherwise. To be honest, it is possible that $Z_U$ is already a sheaf, but we don't care since we are only interested in stalks and these are preserved by sheafification. 

*We have that $(\mathbb{Z}_U)_x = \mathbb{Z}$ if $x \in U$, and 0 otherwise, as a direct computation yields.

*If $\mathbb{Z}_{U}(V) \neq 0$ and $V$ is connected, then $V \subset U$. Indeed, a section $s \in \mathbb{Z}_{U}(V)$ is given by a cover $\mathcal{V}_{i \in I}$ of $V$ and coherent sections $s_i \in \mathcal{V}_i$. Suppose $V \not \subset U$. Define $\Sigma$ as the poset of subsets $Q \subset I$ such that $s_i=0$ for all $i \in Q$. Then it is non empty, because there exist i s.t $V_i \not \subseteq U$, and evidently every ascending chain has an upper bound. We can henceforth apply Zorn lemma a find a maximal $J$. Suppose by contradiction that $J \neq I$. There exist $i \in I \setminus J$ and $j\in J$ such that $V_i \cap V_j \neq \emptyset$, otherwise they would disconnect $V$. $V_i$ must be contained in $U$, otherwise $s_i$ would be zero. But then $s_i = s_i | V_i \cap V_j = s_j | V_i \cap V_j = 0$.

*Take $X=\mathbb{R}^k$, and $U_n =$ disk of radius $1/n$ around 0. Take the skyscraper sheaf $\mathcal{G}$ centered at zero with stalk $\mathbb{Z}$, i.e. $\mathcal{G}(U) = \mathbb{Z}$ if $0 \in U$ and 0 otherwise, with restriction given by identities when possible and zero otherwise. Define $\varphi_n: \mathbb{Z}_{U_n} \to \mathcal{G}$ in the following way. It is enough to define $\phi_n: Z_{U_n} \to \mathcal{G}$, and then $\varphi_n$ follwos by universal property of sheafification. If $V \subset U_n$, define $\phi_n(V) = 1_{\mathbb{Z}}$ and zero otherwise. It commutes with restrictions. Indeed, let $V \subset V'$ be subsets.  If $V' \not \subset U_n$, the diagram starts with a zero. If $0 \not \in V$, the diagram ends with a zero. If $0 \in V \subset V' \subset U_n$, then the commuting diagram is made of all identities.


*Consider the sheaf morphism 



$$\prod \varphi_n: \prod_{n \in \mathbb{N}} \mathbb{Z}_{U_n} \to \prod_{n \in \mathbb{N}} \mathcal{G}$$
Take the element $[(\{1\}_{n \in \mathbb{N}}, U_1)]$ in $( \prod_n\mathcal{G} )_0$, and suppose that there exist $[(\{f_n\}_{n \in \mathbb{N}},V)]$ that is sent to $[(\{1\}_{n \in \mathbb{N}}, U_1)]$. This means that, after further restricting to $V'$ if necessary, $f_n | V' = 1 $ for all $n \in \mathbb{N}$. Take $V''$ to be the connected component of $V'$ containing $0$. Recall that $V''$ is open. This imples in particular $\mathbb{Z}_{U_n}(V'') \not 0$ for all $ n \in \mathbb{N}$, i.e. $V'' \subset \bigcap_n U_n = \{0\}$; which is a contradiction.
On the other hand, the functions $\varphi_n$ are surjective, because they are surjective on stalks, and we are done.
A: Another example: take $X=\{\infty\}\cup \mathbb{N}^+$ and give it the topology generated by opens $U_k=\{\infty,k,k+1,\dots\}$ and $V_k=U_k-\{\infty\}$ for $k=1,2,\dots$.


*For a sheaf $F$, the stalk $F_k=\Gamma(V_k,F)$, $F_{\infty}=colim_kF(U_k)$.

1.the constant presheaf $\underline{Z}$ is a sheaf. For $j\ge 1$, define a morphism $f_j:\underline{Z}\to \underline{Z}$: on $V_k$ is always identity,  on $U_k$ is $0$ when $k<j$ and is identity when $k\ge j$. Then $f_j$ is surjective.
2.Suppose that $\prod_{j\ge 1}f_j:A\to B$ is surjective. Let $t=(1,1,\dots)\in\Gamma(X,B)$. There exists $k\ge 1$ and $s=(g_1,g_2,\dots)\in\Gamma(U_k,A)=\prod\mathbb{Z}$, such that $f_j(g_j)=1\in\Gamma(U_k,B^{(j)})$ for any $j$. However, $f_j|_{U_k}=0$ when   $j>k$.
