1: \begin{definition}[PCRT] \label{def-PCRT}

2: 	Let $X$ be an object of a regular category $\C$, then $X$ is said to satisfy the Pairwise Chinese Remainder Theorem, if for any morphisms $a_1,a_2,...,a_m:S \rightarrow X$, and any effective equivalence relations $\theta_1,\theta_2,...,\theta_m$, if the system 

3: 	\begin{align*}

4: 	x \equiv& a_1 \mod \theta_1, \\

5: 	x \equiv& a_2 \mod \theta_2, \\ 

6: 	& \vdots \\

7: 	x \equiv& a_m \mod \theta_m

8: 	\end{align*}

9: 	is approximately pairwise solvable, then it is approximately solvable. If every object of $\C$ satisfies the PCRT, then we say that $\C$ satisfies the PCRT, or that the PCRT holds in $\C$.

10: \end{definition}

11: