{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T04:29:06Z","timestamp":1760243346022,"version":"build-2065373602"},"reference-count":19,"publisher":"MDPI AG","issue":"4","license":[{"start":{"date-parts":[[2014,10,30]],"date-time":"2014-10-30T00:00:00Z","timestamp":1414627200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Axioms"],"abstract":"<jats:p>Allegories are enriched categories generalizing a category of sets and binary relations. Accordingly, relational products in an allegory can be viewed as a generalization of Cartesian products. There are several definitions of relational products currently in the literature. Interestingly, definitions for binary products do not generalize easily to n-ary ones. In this paper, we provide a new definition of an n-ary relational product, and we examine its properties.<\/jats:p>","DOI":"10.3390\/axioms3040342","type":"journal-article","created":{"date-parts":[[2014,10,30]],"date-time":"2014-10-30T11:53:25Z","timestamp":1414670005000},"page":"342-359","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Weak n-Ary Relational Products in Allegories"],"prefix":"10.3390","volume":"3","author":[{"given":"Bartosz","family":"Zieli\u0144ski","sequence":"first","affiliation":[{"name":"Department of Computer Science, Faculty of Physics and Applied Informatics, University of \u0141od\u017a, Pomorska nr 149\/153, 90-236 \u0141\u00f3d\u017a, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pawe\u0142","family":"Ma\u015blanka","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Faculty of Physics and Applied Informatics, University of \u0141od\u017a, Pomorska nr 149\/153, 90-236 \u0141\u00f3d\u017a, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2014,10,30]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","unstructured":"Tarski, A., and Givant, S.R. (1987). A Formalization of Set Theory without Variables, American Mathematical Society.","DOI":"10.1090\/coll\/041"},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s10817-006-9062-x","article-title":"The Calculus of Relations as a Foundation for Mathematics","volume":"37","author":"Givant","year":"2006","journal-title":"J. Autom. Reason."},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Schmidt, G., and Str\u00f6hlein, T. (1993). Relations and Graphs, Springer Heidelberg.","DOI":"10.1007\/978-3-642-77968-8"},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Brink, C., Kahl, W., and Schmidt, G. (1997). Relational Methods in Computer Science, Advances in Computing Sciences, Springer Vienna.","DOI":"10.1007\/978-3-7091-6510-2"},{"key":"ref_5","unstructured":"Aboul-Hosn, K., and Kozen, D. (2006). Mathematics of Program Construction, Springer."},{"key":"ref_6","unstructured":"Backhouse, R., and Hoogendijk, P. (1993). Formal Program Development, Springer."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0304-3975(86)90172-6","article-title":"Relational algebraic semantics of deterministic and nondeterministic programs","volume":"43","author":"Berghammer","year":"1986","journal-title":"Theor. Comput. Sci."},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Backhouse, R.C., Hoogendijk, P., Voermans, E., and van der Woude, J. (1992). A Relational Theory of Datatypes, Department of Mathematics and Computer Science, Eindhoven University of Technology.","DOI":"10.1007\/3-540-57499-9_15"},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","article-title":"A Relational Model of Data for Large Shared Data Banks","volume":"13","author":"Codd","year":"1970","journal-title":"Commun. ACM"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/978-3-642-41366-7_24","article-title":"Allegories for Database Modeling","volume":"Volume 8216","author":"Cuzzocrea","year":"2013","journal-title":"Model and Data Engineering"},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"260","DOI":"10.3390\/axioms3020260","article-title":"Modalities for an Allegorical Conceptual Data Model","volume":"3","author":"Sobieski","year":"2014","journal-title":"Axioms"},{"key":"ref_12","unstructured":"Berghammer, R., Haeberer, A., Schmidt, G., and Veloso, P. (1994). Algebraic Methodology and Software Technology (AMAST\u201993), Springer."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0304-3975(91)90030-6","article-title":"Relation algebraic domain constructions","volume":"87","author":"Zierer","year":"1991","journal-title":"Theor. Comput. Sci."},{"key":"ref_14","unstructured":"Freyd, P., and Scedrov, A. (1990). Categories, Allegories, North-Holland Mathematical Library, Elsevier Science."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/j.jlap.2007.10.003","article-title":"Products in categories of relations","volume":"76","author":"Winter","year":"2008","journal-title":"J. Log. Algebr. Program."},{"key":"ref_16","unstructured":"Winter, M. (2006). Relations and Kleene Algebra in Computer Science, Springer."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0020-0255(99)00020-1","article-title":"Monomorphic Characterization of N-ary Direct Products","volume":"119","author":"Desharnais","year":"1999","journal-title":"Inf. Sci."},{"key":"ref_18","unstructured":"Barr, M., and Wells, C. (1995). Category Theory for Computing Science, Prentice-Hall international series in computer science, Prentice Hall."},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Davey, B., and Priestley, H. (2002). Introduction to Lattices and Order, Cambridge mathematical text books, Cambridge University Press.","DOI":"10.1017\/CBO9780511809088"}],"container-title":["Axioms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2075-1680\/3\/4\/342\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T21:17:37Z","timestamp":1760217457000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2075-1680\/3\/4\/342"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,30]]},"references-count":19,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2014,12]]}},"alternative-id":["axioms3040342"],"URL":"https:\/\/doi.org\/10.3390\/axioms3040342","relation":{},"ISSN":["2075-1680"],"issn-type":[{"type":"electronic","value":"2075-1680"}],"subject":[],"published":{"date-parts":[[2014,10,30]]}}}