1. Desharnais, J.: Monomorphic characterization of $$n$$-ary direct products. Inf. Sci. 119(3–4), 275–288 (1999)
2. Furusawa, H., Kahl, W.: A Study on Symmetric Quotients. University of the Federal Armed Forces Munich, Bericht Nr. 1998–06 (1998)
3. Freyd, P., Scedrov, A.: Categories, Allegories. North-Holland Mathematical Library, vol. 39. North-Holland, Amsterdam (1990)
4. Kawahara, Y., Furusawa, H.: Crispness and representation theorems in Dedekind categories. DOI-TR 143, Kyushu University (1997)
5. Maddux, R.: On the derivation of identities involving projection functions. In: Csirmaz, L., Gabbay, D., de Rijke, M. (eds.) Logic Colloquium ’92. Studies in Logic, Languages, and Information, pp. 143–163. CSLI Publications (1995)