{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T17:57:02Z","timestamp":1754157422963,"version":"3.41.2"},"reference-count":29,"publisher":"Emerald","issue":"7\/8","license":[{"start":{"date-parts":[[2009,8,7]],"date-time":"2009-08-07T00:00:00Z","timestamp":1249603200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.emerald.com\/insight\/site-policies"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,8,7]]},"abstract":"<jats:sec><jats:title content-type=\"abstract-heading\">Purpose<\/jats:title><jats:p>The application of category theory to interoperability to increase understanding of the problems and to facilitate the development of practical tools for their solution.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-heading\">Design\/methodology\/approach<\/jats:title><jats:p>Category theory is naturally suited to handling interoperability. The use of first order predicate logic in many information systems may be justified through its completeness. However, the work of G\u00f6del shows that such systems are undecidable if they rely on formal systems of number and\/or sets. For interoperability dyadic higher order logic is required, which is neither complete nor decidable if based on sets. However, pure category theory is still axiomatic so is also neither complete nor decidable. Applied category theory based on cartesian closed categories for process is natural and is both complete and decidable. G\u00f6del's theorems therefore do not apply.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-heading\">Findings<\/jats:title><jats:p>The paper finds that composed adjunctions appear particularly well\u2010suited for modelling interoperability, with composition of distinct functors for mapping across a number of levels and of endofunctors for business process interoperability. The monad\/comonad category provides a powerful abstraction of the business process. The development of a tool based on categorial principles written in Haskell may be a way forward but only as an initial set model approach.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-heading\">Originality\/value<\/jats:title><jats:p>This paper applies categorial constructions which permit a natural formal approach to interoperability.<\/jats:p><\/jats:sec>","DOI":"10.1108\/03684920910977050","type":"journal-article","created":{"date-parts":[[2009,10,5]],"date-time":"2009-10-05T10:52:51Z","timestamp":1254739971000},"page":"1409-1418","source":"Crossref","is-referenced-by-count":0,"title":["Fragmentary structure of global knowledge: constructive processes for interoperability"],"prefix":"10.1108","volume":"38","author":[{"given":"Michael","family":"Heather","sequence":"first","affiliation":[]},{"given":"Nick","family":"Rossiter","sequence":"additional","affiliation":[]}],"member":"140","reference":[{"doi-asserted-by":"crossref","unstructured":"Barr, M. and Wells, C. (1985), Toposes, Triples and Theories, Springer, New York, NY.","key":"key2022012619440667100_b1","DOI":"10.1007\/978-1-4899-0021-0"},{"doi-asserted-by":"crossref","unstructured":"Cohen, P.J. (1963), \u201cThe independence of the continuum hypothesis I\u201d, Proc. Natl. Acad. Sci. USA, Vol. 50 No. 6, pp. 1143\u20108.","key":"key2022012619440667100_b2","DOI":"10.1073\/pnas.50.6.1143"},{"doi-asserted-by":"crossref","unstructured":"Cohen, P.J. (1964), \u201cThe independence of the continuum hypothesis II\u201d, Proc. Natl. Acad. Sci. USA, Vol. 51 No. 1, pp. 105\u201010.","key":"key2022012619440667100_b3","DOI":"10.1073\/pnas.51.1.105"},{"doi-asserted-by":"crossref","unstructured":"Doumeingts, G., M\u00fcller, J., Morel, G. and Vallespir, B. (Eds) (2007), Enterprise Interoperability: New Challenges and Approaches, Springer, London.","key":"key2022012619440667100_b4","DOI":"10.1007\/978-1-84628-714-5"},{"doi-asserted-by":"crossref","unstructured":"Egyedi, T. (2007), \u201cExperts on causes of incompatibility between standard\u2010compliant products\u201d, in Doumeingts, G., Muller, J.P., Morel, G. and Vallespir, B. (Eds), Enterprise Interoperability: New Challenges and Approaches, Springer, London, pp. 553\u201063.","key":"key2022012619440667100_b5","DOI":"10.1007\/978-1-84628-714-5_51"},{"unstructured":"G\u00f6del, K. (1929), \u201c\u00dcber die Vollst\u00e4ndigkeit des Logikkalk\u00fcls\u201d, doctoral thesis, D1.736, University of Vienna, Vienna, p. 33, Reprinted in Feferman, S. (ed.) (1986), G\u00f6del Collected Works, Vol. 1, Publications 1929\u20101936, Oxford, pp. 60\u2010100 (even numbers) original; pp. 61\u2010101 (odd numbers) Bauer\u2010Mengelberg, S. and van Heijenoort, J. (translators).","key":"key2022012619440667100_b6"},{"doi-asserted-by":"crossref","unstructured":"G\u00f6del, K. (1930), \u201cDie Vollst\u00e4ndigkeit der Axiome des logischen Funktionenkalk\u00fcls\u201d, Monatshefte f\u00fcr Mathematik und Physik, Vol. 37, pp. 349\u201060, The Completeness of the Axioms of the Functional Calculus of Logic. Feferman and Co: Collected Works 102\u2010122 German even, 103\u2010123 English odd, translated by Bauer\u2010Mengelberg, S. (read and approved by G\u00f6del after some accommodation. Subsequent minor additions by van Heijenoort, J. (collected works 1 p. 59, Feferman, S.) (1986)).","key":"key2022012619440667100_b7","DOI":"10.1007\/BF01696781"},{"doi-asserted-by":"crossref","unstructured":"G\u00f6del, K. (1931), \u201c\u00dcber ber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme, I\u201d, Monatshefte f\u00fcr Mathematik und Physik, Vol. 38, pp. 173\u201098, J. van Heijenoort (translated), From Frege to G\u00f6del: A Source Book on Mathematical Logic, Harvard University Press, Cambridge, MA, pp. 596\u2010616.","key":"key2022012619440667100_b8","DOI":"10.1007\/BF01700692"},{"unstructured":"G\u00f6del, K. (1932), \u201cZum intuitionistischen Aussagenkalk\u00fcl\u201d, Anzeiger der Akademie der Wissenschaftischen in Wien, Vol. 69, pp. 65\u20106, Reprinted with additional comment in G\u00f6del, K. (1933), \u201cZur intuitionistischen Arithmetik und Zahlentheorie\u201d, Ergebnisse eines mathematischen Kolloquiums, Vol. 4, pp. 34\u201038.","key":"key2022012619440667100_b9"},{"unstructured":"G\u00f6del, K. (1933a), \u201cEin interpretation des intuitionistischen Aussagenkalk\u00fcls\u201d, Ergebnisse eines mathematischen Kolloquiums, Vol. 4, pp. 39\u201040, Reprinted: an interpretation of the intuitionistic propositional calculus, Feferman, S. (ed.) (1986), G\u00f6del Collected Works I Publications 1929\u20101936, Oxford, pp. 300\u2010303, Bauer\u2010Mengelberg, S. and van Heijenoort, J. (translators).","key":"key2022012619440667100_b10"},{"unstructured":"G\u00f6del, K. (1933b), \u201cZur intuitionistischen Arithmetik und Zahlentheorie\u201d, Ergebnisse eines mathematischen Kolloquiums, Vol. 4, pp. 39\u201040, Reprinted: an Intuitionistic Arithmetic and Number Theory, Feferman, S. (ed.) (1986), G\u00f6del Collected Works I Publications 1929\u20101936, Oxford, pp. 286\u2010295, Bauer\u2010Mengelberg, S. and van Heijenoort, J. (translators).","key":"key2022012619440667100_b11"},{"unstructured":"Heather, M., Livingstone, D. and Rossiter, N. (2008a), \u201cLogical foundations for the infrastructure of the information market, I\u2010ESA\u201d, in Mertins, K., Ruggaber, R., Popplewell, K. and Xu, X. (Eds), Enterprise Interoperability III, New Challenges and Industrial Approaches, Springer, Berlin, 25\u201028 March, pp. 624\u201037.","key":"key2022012619440667100_b12"},{"doi-asserted-by":"crossref","unstructured":"Heather, M., Rossiter, N. and Sisiaridis, D. (2008b), \u201cThe semantics of jitter in anticipating time itself within nano\u2010technology\u201d, Proceedings of the CASYS'07, Eighth International Conference on Computing Anticipatory Systems Li\u00e8ge, AIP, Belgium, Vol. 1051, pp. 326\u201037.","key":"key2022012619440667100_b13","DOI":"10.1063\/1.3020672"},{"unstructured":"Husserl, E. (1900), Logischen Untersuchungen: Prolegomena zur reinen Logik I (1900\/1901), Routledge, New York, NY, Logical Investigations: Prolegomena to Pure Logic, Findlay, J.N., translator from 2nd German ed., 1, Moran, D. (ed).","key":"key2022012619440667100_b14"},{"doi-asserted-by":"crossref","unstructured":"Kelly, G.M. and Street, R. (1974), \u201cReview on the elements of 2\u2010categories\u201d, in Kelly, G.M. (Ed.), Proceedings Sydney Category Theory Seminar 1972\u201073, Lecture Notes in Mathematics, Vol. 420, Springer, London, pp. 75\u2010103.","key":"key2022012619440667100_b15","DOI":"10.1007\/BFb0063101"},{"unstructured":"Li, M.\u2010S., Cabral, R., Doumeingts, G. and Popplewell, K. (2006), Enterprise Interoperability \u2013 Research Roadmap, Final Version (Version 4.0), 31 July, available at: www.ftp:\/\/ftp.cordis.europa.eu\/pub\/ist\/docs\/directorate_d\/ebusiness\/ei\u2010roadmap\u2010final_en.pdf.","key":"key2022012619440667100_b16"},{"unstructured":"Mac Lane, S. (1998), Categories for the Working Mathematician, 2nd ed., Springer, London.","key":"key2022012619440667100_b17"},{"unstructured":"Mashaal, M. (2006), Bourbaki: A Secret Society of Mathematicians, AMS, Providence, RI, p. 260, (translated by Pierrehumbert, A.).","key":"key2022012619440667100_b18"},{"doi-asserted-by":"crossref","unstructured":"Nieto, F.J., Bastida, L., Escalente, M. and Gortazur, A. (2007), \u201cDevelopment of dynamic composed services based on the context\u201d, in Doumeingts, G., M\u00fcller, J., Morel, G. and Vallespir, B. (Eds), Enterprise Interoperability: New Challenges and Approaches, Springer, London, pp. 3\u201012.","key":"key2022012619440667100_b19","DOI":"10.1007\/978-1-84628-714-5_1"},{"doi-asserted-by":"crossref","unstructured":"Quine, W.V. (1937), \u201cNew foundations for mathematical logic\u201d, American Mathematical Monthly, Vol. 44, pp. 70\u201080.","key":"key2022012619440667100_b20","DOI":"10.1080\/00029890.1937.11987928"},{"doi-asserted-by":"crossref","unstructured":"Rossiter, B.N. and Heather, M.A. (2004), \u201cData structures in natural computing: databases as weak or strong anticipatory systems\u201d, CASYS'03, Sixth International Conference on Computing Anticipatory Systems, Li\u00e8ge, AIP Conference Proceedings, Vol. 718, pp. 392\u2010405.","key":"key2022012619440667100_b21","DOI":"10.1063\/1.1787342"},{"unstructured":"Rossiter, N. and Heather, M. (2006), \u201cFree and open systems theory\u201d, in Trappl, R. (Ed.), 18th EMCSR, Vol. 1, pp. 27\u201032, University of Vienna, April.","key":"key2022012619440667100_b22"},{"unstructured":"Russell, B. (1919), Introduction to Mathematical Philosophy, George Allen & Unwin, London.","key":"key2022012619440667100_b23"},{"doi-asserted-by":"crossref","unstructured":"Wadler, P. (1998), \u201cThe marriage of effects and monads\u201d, Proc. Third ACM SIGPLAN Int. Conf. Functional Prog., pp. 63\u201074.","key":"key2022012619440667100_b24","DOI":"10.1145\/291251.289429"},{"unstructured":"Whitehead, A.N. (1925), An Enquiry Concerning the Principles of Natural Knowledge, Chapter III, Cambridge University Press, Cambridge, 1st ed. (1919), 2nd ed. (1925).","key":"key2022012619440667100_b26"},{"unstructured":"Whitehead, A.N. (1929), Process and Reality: An Essay in Cosmology, Macmillan, New York, NY, (corrected edition, Griffin, D.R. and Sherburne, D.W., The Free Press, New York, NY).","key":"key2022012619440667100_b28"},{"unstructured":"Whitehead, A.N. and Russell, B. (1910), Principia Mathematica, 1st ed., Vol. 3, Cambridge University Press, Cambridge.","key":"key2022012619440667100_b25"},{"unstructured":"Whitehead, A.N. and Russell, B. (1925), Principia Mathematica, Vol. 3, Cambridge University Press, Cambridge.","key":"key2022012619440667100_b27"},{"unstructured":"Whitehead, A.N. and Russell, B. (1962), Principia Mathematica to *56, abridged ed., Cambridge University Press, Cambridge.","key":"key2022012619440667100_b29"}],"container-title":["Kybernetes"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.emeraldinsight.com\/doi\/full-xml\/10.1108\/03684920910977050","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/03684920910977050\/full\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/03684920910977050\/full\/html","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T23:53:45Z","timestamp":1753401225000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.emerald.com\/k\/article\/38\/7-8\/1409-1418\/273018"}},"subtitle":[],"editor":[{"given":"Jerzy","family":"J\u00f3zefczyk","sequence":"first","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2009,8,7]]},"references-count":29,"journal-issue":{"issue":"7\/8","published-print":{"date-parts":[[2009,8,7]]}},"alternative-id":["10.1108\/03684920910977050"],"URL":"https:\/\/doi.org\/10.1108\/03684920910977050","relation":{},"ISSN":["0368-492X"],"issn-type":[{"type":"print","value":"0368-492X"}],"subject":[],"published":{"date-parts":[[2009,8,7]]}}}