{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T23:58:47Z","timestamp":1781222327579,"version":"3.54.1"},"reference-count":91,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T00:00:00Z","timestamp":1744243200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T00:00:00Z","timestamp":1744243200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"funder":[{"DOI":"10.13039\/501100003194","name":"Agent\u00fara Ministerstva \u0160kolstva, Vedy, V\u00fdskumu a \u0160portu SR","doi-asserted-by":"publisher","award":["030TUKE-4\/2023"],"award-info":[{"award-number":["030TUKE-4\/2023"]}],"id":[{"id":"10.13039\/501100003194","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J. King Saud Univ. Comput. Inf. Sci."],"published-print":{"date-parts":[[2025,5]]},"DOI":"10.1007\/s44443-025-00010-9","type":"journal-article","created":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T13:58:36Z","timestamp":1744293516000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Perspectives of semantic modeling in categories"],"prefix":"10.1007","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2852-9403","authenticated-orcid":false,"given":"William","family":"Steingartner","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,4,10]]},"reference":[{"key":"10_CR1","first-page":"157","volume":"14","author":"J Ad\u00e1mek","year":"2005","unstructured":"Ad\u00e1mek J (2005) Introduction to coalgebra. Theory Appl Categories [electronic only] 14:157\u2013199","journal-title":"Theory Appl Categories [electronic only]"},{"issue":"4","key":"10_CR2","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1051\/ita:2007028","volume":"41","author":"J Ad\u00e1mek","year":"2007","unstructured":"Ad\u00e1mek J, L\u00fccke D, Milius S (2007) Recursive coalgebras of finitary functors. RAIRO - Theoretical Inf Appl - Inf Th\u00e9orique Appl 41(4):447\u2013462","journal-title":"RAIRO - Theoretical Inf Appl - Inf Th\u00e9orique Appl"},{"key":"10_CR3","unstructured":"Aguinaldo A (2020) Category theory for software modeling and design. Hunter College Applied Mathematics Seminar. https:\/\/angelineaguinaldo.com\/assets\/slides\/HCAM_Seminar___Oct_29_2020.pdf. Accessed 12 07 2023"},{"issue":"3","key":"10_CR4","doi-asserted-by":"publisher","first-page":"2637","DOI":"10.1109\/TASE.2021.3094055","volume":"19","author":"A Aguinaldo","year":"2022","unstructured":"Aguinaldo A, Pollard B, Canedo A, Quiros G, Regli W (2022) Robocat: a category theoretic framework for robot interoperability using goal-oriented programming. IEEE Trans Autom Sci Eng 19(3):2637\u20132645. https:\/\/doi.org\/10.1109\/TASE.2021.3094055","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"10_CR5","unstructured":"Ambler S-J (1991) First order linear logic in symmetric monoidal closed categories. PhD thesis, University of Edinburgh"},{"key":"10_CR6","doi-asserted-by":"publisher","unstructured":"Arbab F (2005) Abstract behavior types: a foundation model for components and their composition. Sci Comput Program 55(1):3\u201352.https:\/\/doi.org\/10.1016\/j.scico.2004.05.010. Formal methods for components and objects: pragmatic aspects and applications","DOI":"10.1016\/j.scico.2004.05.010"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1017\/S0960129500000426","volume":"4","author":"K Baclawski","year":"1994","unstructured":"Baclawski K, Simovici D, White W (1994) A categorical approach to database semantics. Math Struct Comput Sci 4:147\u2013183","journal-title":"Math Struct Comput Sci"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"77","DOI":"10.4204\/eptcs.380.5","volume":"380","author":"J Baez","year":"2023","unstructured":"Baez J, Li X, Libkind S, Osgood ND, Patterson E (2023) Compositional modeling with stock and flow diagrams. Electron Proc Theoretical Comput Sci 380:77\u201396. https:\/\/doi.org\/10.4204\/eptcs.380.5","journal-title":"Electron Proc Theoretical Comput Sci"},{"key":"10_CR9","volume-title":"Category theory for computing science","author":"M Barr","year":"1990","unstructured":"Barr M, Wells C (1990) Category theory for computing science. Prentice Hall"},{"key":"10_CR10","unstructured":"Barr M, Wells C (2013) Toposes, triples and theories. Grundlehren der mathematischen Wissenschaften. Springer. http:\/\/www.cwru.edu\/artsci\/math\/wells\/pub\/ttt.html"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-35861-6_2","volume-title":"FACS 2012: formal aspects of component software","author":"S Bauer","year":"2013","unstructured":"Bauer S, Hennicker R, Legay A (2013) Component interfaces with contracts on ports. In: P\u0103s\u0103reanu CS, Sala\u00fcn G (eds) FACS 2012: formal aspects of component software, vol 7684. Springer, pp 19\u201335"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s44007-022-00021-2","volume":"1","author":"T-D Bradley","year":"2021","unstructured":"Bradley T-D, Terilla J, Vlassopoulos Y (2021) An enriched category theory of language: from syntax to semantics. Matematica 1:551\u2013580","journal-title":"Matematica"},{"key":"10_CR13","first-page":"449","volume-title":"Categorical foundations for system engineering","author":"S Breiner","year":"2018","unstructured":"Breiner S, Subrahmanian E, Jones A (2018) Categorical foundations for system engineering. Disciplinary convergence in systems engineering research. Springer, Cham, pp 449\u2013463"},{"key":"10_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-9392-1","volume-title":"Treatise on basic philosophy: ontology II: a world of systems","author":"M Bunge","year":"1979","unstructured":"Bunge M (1979) Treatise on basic philosophy: ontology II: a world of systems, vol 4. Springer"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Capretta V, Uustalu T, Vene V (2006) Recursive coalgebras from comonads. Inf Comput 204(4):437\u2013468. Seventh workshop on coalgebraic methods in computer science 2004","DOI":"10.1016\/j.ic.2005.08.005"},{"key":"10_CR16","first-page":"1","volume-title":"Implementation and application of functional languages","author":"A Cunha","year":"2006","unstructured":"Cunha A, Pinto JS, Proen\u00e7a J (2006) A framework for point-free program transformation. In: Butterfield A, Grelck C, Huch F (eds) Implementation and application of functional languages. Springer, Berlin, Heidelberg, pp 1\u201318"},{"key":"10_CR17","volume-title":"Po\u010d\u00edta\u010dov\u00e9 jazyky a ich spracovanie [Computer Languages and Their Processing]","author":"L Dedera","year":"2014","unstructured":"Dedera L (2014) Po\u010d\u00edta\u010dov\u00e9 jazyky a ich spracovanie [Computer Languages and Their Processing]. Academy of the Armed Forces of General Milan Rastislav \u0160tef\u00e1nik, Liptovsk\u00fd Mikul\u00e1\u0161 (in Slovak)"},{"key":"10_CR18","unstructured":"Diskin Z (2001) On modeling, mathematics, category theory and rm-odp. In: Open distribute processing: enterprise, computation, knowledge, engineering and realisation, pp 38\u201354. https:\/\/api.semanticscholar.org\/CorpusID:15306625"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4204\/eptcs.93.1","volume":"93","author":"Z Diskin","year":"2012","unstructured":"Diskin Z, Maibaum T (2012) Category theory and model-driven engineering: from formal semantics to design patterns and beyond. Electron Proc Theoretical Comput Sci 93:1\u201321. https:\/\/doi.org\/10.4204\/eptcs.93.1","journal-title":"Electron Proc Theoretical Comput Sci"},{"key":"10_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-6368-8","volume-title":"Programming languages and operational semantics","author":"M Fern\u00e1ndez","year":"2014","unstructured":"Fern\u00e1ndez M (2014) Programming languages and operational semantics. Springer, A Concise Overview"},{"key":"10_CR21","unstructured":"Fokkinga MM (1992) Law and order in algorithmics. PhD thesis, University of Twente, Netherlands"},{"key":"10_CR22","unstructured":"Fokkinga M, Meijer E (1991) Program calculation properties of continuous algebras. Automatica"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Goguen JA, Harrell DF (2005) Information visualization and semiotic morphisms. In: Multidisciplinary approaches to visual representations and interpretations, pp 83\u201397. Elsevier","DOI":"10.1016\/S1571-0831(04)80035-2"},{"key":"10_CR24","unstructured":"Graves H (2013) Category theory foundation for engineering modelling. http:\/\/www.omgwiki.org\/MBSE\/lib\/exe\/fetch.php?media=mbse:mathematical_foundation_engineering.pdf"},{"key":"10_CR25","first-page":"1","volume-title":"Paper presented at 61st international astronautical congress","author":"MD Griffin","year":"2010","unstructured":"Griffin MD (2010) How do we fix system engineering? Paper presented at 61st international astronautical congress. Czech Republic, Prague, pp 1\u20139"},{"key":"10_CR26","unstructured":"Gupta R, Tripathi A (2011) Dependence analysis of component based software through assumptions. Int J Comput Sci Iss 8"},{"key":"10_CR27","unstructured":"Hickey J (2008) Introduction to objective Caml. s.n., dostupn\u00e9 na. https:\/\/www.freetechbooks.com\/introduction-to-objective-caml-t698.html. Accessed 11 Dec 2022"},{"issue":"2","key":"10_CR28","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1006\/inco.2000.2917","volume":"163","author":"JME Hyland","year":"2000","unstructured":"Hyland JME, Ong C-HL (2000) On Full Abstraction for PCF: I, II, and III. Inf Comput 163(2):285\u2013408. https:\/\/doi.org\/10.1006\/inco.2000.2917","journal-title":"Inf Comput"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Jacobs B (2016) Introduction to coalgebra: towards mathematics of states and observation. Cambridge tracts in theoretical computer science. Cambridge University Press","DOI":"10.1017\/CBO9781316823187"},{"key":"10_CR30","first-page":"62","volume":"62","author":"B Jacobs","year":"1997","unstructured":"Jacobs B, Rutten J (1997) A tutorial on (Co)Algebras and (Co)Induction. EATCS Bull 62:62\u2013222","journal-title":"EATCS Bull"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Jaskelioff M, Ghani N, Hutton G (2011) Modularity and implementation of mathematical operational semantics. Electronic notes in theoretical computer science vol 229(no 5), 75\u201395. Proceedings of the second workshop on Mathematically Structured Functional Programming (MSFP 2008)","DOI":"10.1016\/j.entcs.2011.02.017"},{"key":"10_CR32","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/11783596_15","volume-title":"Mathematics of program construction","author":"J Kabanov","year":"2006","unstructured":"Kabanov J, Vene V (2006) Recursion schemes for dynamic programming. In: Uustalu T (ed) Mathematics of program construction. Springer, Berlin, Heidelberg, pp 235\u2013252"},{"key":"10_CR33","unstructured":"Kock J (2009) Notes on polynomial functors. http:\/\/mat.uab.es\/~kock\/cat\/polynomial.pdf. Universitat Aut\u00f2noma de Barcelona, on-line. Accessed 12 July 2023"},{"key":"10_CR34","unstructured":"Koll\u00e1r J (2009) Preklada\u010de [Compilers]. elfa, s.r.o. (in Slovak)"},{"key":"10_CR35","doi-asserted-by":"publisher","unstructured":"Kovalyov S (2020) Leveraging category theory in model based enterprise. Adv Syst Sci Appl 20(1):50\u201365. https:\/\/doi.org\/10.25728\/assa.2020.20.1.781","DOI":"10.25728\/assa.2020.20.1.781"},{"key":"10_CR36","volume-title":"Introduction to higher order categorical logic","author":"J Lambek","year":"1986","unstructured":"Lambek J, Scott PJ (1986) Introduction to higher order categorical logic. Cambridge University Press, USA"},{"key":"10_CR37","unstructured":"Leroy X, Doligez D, Frisch A, Garrigue J, R\u00e9my D, Vouillon J (2020) The OCaml system release 4.10. Version 4.10"},{"issue":"1","key":"10_CR38","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1051\/ita\/1996300100311","volume":"30","author":"E Lippe","year":"1996","unstructured":"Lippe E, Ter Hofstede AHM (1996) A category theory approach to conceptual data modeling. RAIRO-Theor Inf Appl 30(1):31\u201379. https:\/\/doi.org\/10.1051\/ita\/1996300100311","journal-title":"RAIRO-Theor Inf Appl"},{"key":"10_CR39","doi-asserted-by":"publisher","unstructured":"L\u00f6we, M., K\u00f6nig H, Schulz C (2005) Algebraic properties of interfaces. In: Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday, pp 190\u2013203. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-540-31847-7_11","DOI":"10.1007\/978-3-540-31847-7_11"},{"key":"10_CR40","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-319-11617-4_10","volume-title":"Complex systems design & management","author":"D Luzeaux","year":"2015","unstructured":"Luzeaux D (2015) A formal foundation of systems engineering. In: Boulanger F, Krob D, Morel G, Roussel J-C (eds) Complex systems design & management. Springer, Cham, pp 133\u2013148"},{"key":"10_CR41","doi-asserted-by":"publisher","unstructured":"Mabrok M, Ryan M (2015) Category theory as a formal mathematical foundation for model-based systems engineering. Appl Math Inf Sci 11:43\u201351. https:\/\/doi.org\/10.18576\/amis\/110106","DOI":"10.18576\/amis\/110106"},{"key":"10_CR42","unstructured":"Mac\u00a0Lane S (1998) Categories for the working mathematician, 2nd edn. Graduate texts in mathematics, vol 5. Springer"},{"key":"10_CR43","unstructured":"Macko P, Novitzk\u00e1 V, Steingartner W (2013) Interactions between components described in linear logic. In: Electrical engineering and informatics IV: proceedings of the faculty of electrical engineering and informatics of the technical University of Ko\u0161ice, pp 665\u2013668. Faculty of Electrical Engineering and Informatics, Technical University of Ko\u0161ice, Ko\u0161ice, Slovakia"},{"key":"10_CR44","doi-asserted-by":"publisher","unstructured":"Mantel H, Sands D, Sudbrock H (2011) Assumptions and guarantees for compositional noninterference. In: Proceedings \u2013 IEEE computer security foundations symposium, pp 218\u2013232. https:\/\/doi.org\/10.1109\/CSF.2011.22","DOI":"10.1109\/CSF.2011.22"},{"issue":"3","key":"10_CR45","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.apal.2007.03.005","volume":"147","author":"L M\u00e9hats","year":"2007","unstructured":"M\u00e9hats L, Soloviev S (2007) Coherence in smccs and equivalences on derivations in imll with unit. Ann Pure Appl Logic 147(3):127\u2013179. https:\/\/doi.org\/10.1016\/j.apal.2007.03.005","journal-title":"Ann Pure Appl Logic"},{"key":"10_CR46","unstructured":"Milewski B (2019) Category theory for programmers"},{"key":"10_CR47","volume-title":"Real world OCaml","author":"Y Minsky","year":"2013","unstructured":"Minsky Y, Madhavepeddy A, Hickey J (2013) Real world OCaml. O\u2019Reilly"},{"key":"10_CR48","doi-asserted-by":"crossref","unstructured":"Mosses PD (1996) Theory and practice of action semantics. BRICS report series, vol. RS9653. University of Aarhus, Aarhus, DK","DOI":"10.7146\/brics.v3i53.20056"},{"key":"10_CR49","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84628-692-6","volume-title":"Semantics with applications: an appetizer (Undergraduate topics in computer science)","author":"HR Nielson","year":"2007","unstructured":"Nielson HR, Nielson F (2007) Semantics with applications: an appetizer (Undergraduate topics in computer science). Springer, Berlin, Heidelberg"},{"key":"10_CR50","volume-title":"Categorical structures and their application in informatics","author":"V Novitzk\u00e1","year":"2010","unstructured":"Novitzk\u00e1 V, Slodi\u010d\u00e1k V (2010) Categorical structures and their application in informatics. Equilibria, Ko\u0161ice"},{"issue":"3","key":"10_CR51","doi-asserted-by":"publisher","first-page":"588","DOI":"10.3390\/sym14030588","volume":"14","author":"S Novotn\u00fd","year":"2022","unstructured":"Novotn\u00fd S, Michalko M, Perh\u00e1\u010d J, Novitzk\u00e1 V, Jakab F (2022) Formalization and modeling of communication within multi-agent systems based on transparent intensional logic. Symmetry 14(3):588. https:\/\/doi.org\/10.3390\/sym14030588","journal-title":"Symmetry"},{"key":"10_CR52","unstructured":"OCaml Development Team (2024) The OCaml Language. https:\/\/www.ocaml.org. Accessed 14 Jul 2024"},{"key":"10_CR53","doi-asserted-by":"publisher","unstructured":"Ore\u0161ki D (2023) Application of machine learning methods for data analytics in social sciences. WSEAS Trans Syst 22:69\u201372. https:\/\/doi.org\/10.37394\/23202.2023.22.8","DOI":"10.37394\/23202.2023.22.8"},{"key":"10_CR54","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1016\/j.procs.2015.05.031","volume":"52","author":"O Ormandjieva","year":"2015","unstructured":"Ormandjieva O, Bentahar J, Huang J, Kuang H (2015) Modelling multi-agent systems with category theory. Proc Comput Sci 52:538\u2013545. https:\/\/doi.org\/10.1016\/j.procs.2015.05.031","journal-title":"Proc Comput Sci"},{"key":"10_CR55","doi-asserted-by":"publisher","unstructured":"Pal\u0161a J, \u00c1d\u00e1m N, Hurtuk J, Chovancov\u00e1 E, Mado\u0161 B, Chovanec M, Kocan S (2022) Mlmd-a malware-detecting antivirus tool based on the xgboost machine learning algorithm. Appl Sci-Basel 12(13). https:\/\/doi.org\/10.3390\/app12136672","DOI":"10.3390\/app12136672"},{"key":"10_CR56","unstructured":"Parlante N (2013) CodingBat \u2013 introduction to MakeBricks. https:\/\/codingbat.com\/doc\/practice\/makebricks-introduction.html. Accessed 7 November 2022"},{"issue":"1","key":"10_CR57","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1515\/comp-2018-0016","volume":"8","author":"J Perh\u00e1\u010d","year":"2018","unstructured":"Perh\u00e1\u010d J, Mih\u00e1lyi D, Ma\u0165a\u0161 L (2018) Elimination of network intrusions via a resource oriented bdi architecture. Open Comput Sci 8(1):173\u2013181. https:\/\/doi.org\/10.1515\/comp-2018-0016","journal-title":"Open Comput Sci"},{"key":"10_CR58","doi-asserted-by":"publisher","unstructured":"Perh\u00e1\u010d J, Novitzk\u00e1 V, Steingartner W, Bilanov\u00e1 Z (2021) Formal model of ids based on bdi logic. Mathematics 9(18). https:\/\/doi.org\/10.3390\/math9182290","DOI":"10.3390\/math9182290"},{"key":"10_CR59","first-page":"93","volume":"1","author":"J Pfalzgraf","year":"2005","unstructured":"Pfalzgraf J (2005) On categorical and logical modelling in multiagent systems. Anticipative Predictive Mod Syst Sci 1:93\u201398","journal-title":"Anticipative Predictive Mod Syst Sci"},{"key":"10_CR60","doi-asserted-by":"publisher","unstructured":"Pfalzgraf J, Soboll T (2008) On a general notion of transformation for multiagent systems and its implementation. Electron Commun Eur Assoc Softw Sci Technol 12. https:\/\/doi.org\/10.14279\/TUJ.ECEASST.12.259","DOI":"10.14279\/TUJ.ECEASST.12.259"},{"key":"10_CR61","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60\u201361","author":"G Plotkin","year":"2004","unstructured":"Plotkin G (2004) The origins of structural operational semantics. J Logic Algebraic Program 60\u201361:3\u201315","journal-title":"J Logic Algebraic Program"},{"key":"10_CR62","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.cl.2017.11.001","volume":"52","author":"D Radakovi\u0107","year":"2018","unstructured":"Radakovi\u0107 D, Herceg \u0110 (2018) Towards a completely extensible dynamic geometry software with metadata. Comput Lang Syst Struct 52:1\u201320. https:\/\/doi.org\/10.1016\/j.cl.2017.11.001","journal-title":"Comput Lang Syst Struct"},{"key":"10_CR63","doi-asserted-by":"crossref","unstructured":"Robinson M (2016) Sheaves are the canonical datastructure for sensor integration. arXiv:1603.01446","DOI":"10.1016\/j.inffus.2016.12.002"},{"key":"10_CR64","doi-asserted-by":"publisher","unstructured":"Ro\u015fu G, \u015eerb\u0103nut\u0103 TF (2010) An overview of the K semantic framework. J Logic Algebraic Program 79(6):397\u2013434. https:\/\/doi.org\/10.1016\/j.jlap.2010.03.012. Membrane computing and programming","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"10_CR65","unstructured":"Ruehr F (n.d.) The evolution of a haskell programmer. Willamette University, Available at: https:\/\/willamette.edu\/~fruehr\/haskell\/evolution.html. Accessed 21 Aug 2023"},{"key":"10_CR66","volume-title":"Denotational semantics: a methodology for language development","author":"DA Schmidt","year":"1986","unstructured":"Schmidt DA (1986) Denotational semantics: a methodology for language development. Brown Publishers, USA, William C"},{"issue":"10","key":"10_CR67","doi-asserted-by":"publisher","first-page":"1584","DOI":"10.3390\/sym12101584","volume":"12","author":"W Schreiner","year":"2020","unstructured":"Schreiner W, Steingartner W, Novitzk\u00e1 V (2020) A novel categorical approach to semantics of relational first-order logic. Symmetry 12(10):1584","journal-title":"Symmetry"},{"key":"10_CR68","doi-asserted-by":"crossref","unstructured":"Slodi\u010d\u00e1k V (2012) Toposes are symmetric monoidal closed categories. Sci Res Inst Math Comput Sci 11(1), 107\u2013116. https:\/\/doi.org\/10.17512\/jamcm.2012.1.11","DOI":"10.17512\/jamcm.2012.1.11"},{"key":"10_CR69","volume-title":"Formal syntax and semantics of programming languages: a laboratory Based approach","author":"K Slonneger","year":"1995","unstructured":"Slonneger K, Kurtz B (1995) Formal syntax and semantics of programming languages: a laboratory Based approach, 1st edn. Addison-Wesley Longman Publishing Co., Inc, USA","edition":"1"},{"key":"10_CR70","unstructured":"Sowa JF (2000) Knowledge representation: logical, philosophical, and computational foundations. Brooks\/Cole"},{"issue":"1","key":"10_CR71","doi-asserted-by":"publisher","first-page":"24274","DOI":"10.1371\/journal.pone.0024274","volume":"7","author":"DI Spivak","year":"2012","unstructured":"Spivak DI, Kent RE (2012) Ologs: a categorical framework for knowledge representation. PLoS One 7(1):24274","journal-title":"PLoS One"},{"issue":"1","key":"10_CR72","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1515\/comp-2020-0130","volume":"11","author":"W Steingartner","year":"2021","unstructured":"Steingartner W (2021) On some innovations in teaching the formal semantics using software tools. Open Comput Sci 11(1):2\u201311","journal-title":"Open Comput Sci"},{"key":"10_CR73","first-page":"13","volume-title":"ETAPS 2011: European joint conferrences on theory and practice of software - workshop on generative technologies","author":"W Steingartner","year":"2011","unstructured":"Steingartner W, Macko P (2011) New approaches in functional programming using algebras and coalgebras. ETAPS 2011: European joint conferrences on theory and practice of software - workshop on generative technologies. Universit\u00e4t des Saarlandes, Saarbr\u00fccken, Germany, pp 13\u201323"},{"issue":"3","key":"10_CR74","doi-asserted-by":"publisher","first-page":"96","DOI":"10.2478\/s13537-014-0220-7","volume":"4","author":"W Steingartner","year":"2014","unstructured":"Steingartner W, Radakovi\u0107 D (2014) Categorical structures as expressing tool for differential calculus. Central Eur J Comput Sci 4(3):96\u2013106. https:\/\/doi.org\/10.2478\/s13537-014-0220-7","journal-title":"Central Eur J Comput Sci"},{"key":"10_CR75","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/978-3-642-32096-5_11","volume":"7241","author":"W Steingartner","year":"2012","unstructured":"Steingartner W, Macko P, Novitzk\u00e1 V (2012) Some new approaches in functional programming based on categories. Lect Notes Comput Sci 7241:517\u2013532","journal-title":"Lect Notes Comput Sci"},{"key":"10_CR76","doi-asserted-by":"publisher","unstructured":"Steingartner W, Galinec D (2013) The r\u00f4le of categorical structures in infinitesimal calculus. J Appl Math Comput Mech 12(1):107\u2013119. https:\/\/doi.org\/10.17512\/jamcm.2013.1.11","DOI":"10.17512\/jamcm.2013.1.11"},{"key":"10_CR77","doi-asserted-by":"crossref","unstructured":"Steingartner W, Novitzk\u00e1 V, Ba\u010d\u00edkov\u00e1 M, Kore\u010dko S (2017) New approach to categorical semantics for procedural languages. Comput Inf 36(6)","DOI":"10.4149\/cai_2017_6_1385"},{"key":"10_CR78","unstructured":"Steingartner W, Novitzk\u00e1 V, Ben\u010dkov\u00e1 M, Praz\u0148\u00e1k P (2014) Considerations and ideas in component programming - towards to formal specification. In: Proceedings of the Central European Conference on Information and Intelligent Systems (CECIIS), (ed) Hunjak T, Lovren\u010di\u0107 S, Tomi\u010di\u0107 I. Faculty of Organization and Informatics, University of Zagreb, Vara\u017edin, Croatia, pp 332\u2013339"},{"key":"10_CR79","doi-asserted-by":"crossref","unstructured":"Steingartner W, Novitzk\u00e1 V, Schreiner W (2019) Coalgebraic operational semantics for an imperative language. Comput Inf 38(5)","DOI":"10.31577\/cai_2019_5_1181"},{"key":"10_CR80","doi-asserted-by":"crossref","unstructured":"Tranc\u00f3n y Widemann B, Hauhs M, (2010) Scientific modelling with coalgebra-algebra homomorphisms. Electron Notes Theoretical Comput Sci 264:105\u2013123","DOI":"10.1016\/j.entcs.2010.07.016"},{"key":"10_CR81","unstructured":"Tuijn C (1994) Data modeling from a categorical perspective. PhD thesis, University of Antwerp, Antwerp, Belgium"},{"key":"10_CR82","unstructured":"Vallecillo A (2000) RM-ODP : the ISO reference model for open distributed processing. https:\/\/api.semanticscholar.org\/CorpusID:7293221"},{"key":"10_CR83","doi-asserted-by":"publisher","first-page":"1048","DOI":"10.1109\/TVCG.2012.294","volume":"19","author":"P Vickers","year":"2013","unstructured":"Vickers P, Faith J, Rossiter N (2013) Understanding visualization: a formal approach using category theory and semiotics. IEEE Trans Visual Comput Graph 19:1048\u201361. https:\/\/doi.org\/10.1109\/TVCG.2012.294","journal-title":"IEEE Trans Visual Comput Graph"},{"key":"10_CR84","doi-asserted-by":"publisher","unstructured":"Vokorokos L, Bal\u00e1\u017e A, Chovanec M (2009) Distributed detection system of security intrusions based on partially ordered events and patterns. In: Rudas IJ, Fodor J, Kacprzyk J (eds) Towards intelligent engineering and information technology, pp 389\u2013403. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-03737-5_28","DOI":"10.1007\/978-3-642-03737-5_28"},{"key":"10_CR85","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511608872","volume-title":"Categories and computer science","author":"RFC Walters","year":"1992","unstructured":"Walters RFC (1992) Categories and computer science. Cambridge University Press, Cambridge computer science texts. https:\/\/doi.org\/10.1017\/CBO9780511608872"},{"key":"10_CR86","unstructured":"Watson MD (2019) Engineering elegant systems: systems in mathematical categories. Seminar at Wright State University. https:\/\/www.nasa.gov\/sites\/default\/files\/atoms\/files\/system_engineering_research_consortium_category_theory_022619.pdf. System Engineering Research Consortium Category Theory Introduction. Accessed 28 05 2021"},{"key":"10_CR87","doi-asserted-by":"publisher","unstructured":"Witu\u0142a R, S\u0142ota D, Matlak J, Chmielowska A, R\u00f3\u017ca\u0144ski M (2020) Matrix methods in evaluation of integrals. J Appl Math Comput Mech 19(1):103\u2013112. https:\/\/doi.org\/10.17512\/jamcm.2020.1.09","DOI":"10.17512\/jamcm.2020.1.09"},{"key":"10_CR88","doi-asserted-by":"publisher","unstructured":"Yakin HSM, Totu A (2014) The semiotic perspectives of peirce and saussure: a brief comparative study. Procedia - Soc Behav Sci 155:4\u20138. https:\/\/doi.org\/10.1016\/j.sbspro.2014.10.247. The international conference on communication and media 2014 (i-COME\u201914) \u2013 communication, empowerment and governance: the 21st century enigma","DOI":"10.1016\/j.sbspro.2014.10.247"},{"key":"10_CR89","doi-asserted-by":"publisher","unstructured":"Yi W, Gerasimov IV, Kuzmin SA, He H (2018) A category theory approach to phytometric system conceptual modeling. In: 2018 IEEE conference of Russian young researchers in electrical and electronic engineering (EIConRus), pp 391\u2013393.https:\/\/doi.org\/10.1109\/EIConRus.2018.8317114","DOI":"10.1109\/EIConRus.2018.8317114"},{"issue":"1","key":"10_CR90","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s10516-005-3790-0","volume":"15","author":"E Zafiris","year":"2005","unstructured":"Zafiris E (2005) Complex systems from the perspective of category theory: I. functioning of the adjunction concept. Axiomathes 15(1):147\u2013158. https:\/\/doi.org\/10.1007\/s10516-005-3790-0","journal-title":"Axiomathes"},{"key":"10_CR91","doi-asserted-by":"crossref","unstructured":"Zhao H, Chen Y, Fu X (2023) Comparison of machine learning based on category theory. J Web Eng 22(1), 41\u201354. https:\/\/doi.org\/10.13052\/jwe1540-9589.2213","DOI":"10.13052\/jwe1540-9589.2213"}],"container-title":["Journal of King Saud University Computer and Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s44443-025-00010-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s44443-025-00010-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s44443-025-00010-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T11:46:25Z","timestamp":1748605585000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s44443-025-00010-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,10]]},"references-count":91,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,5]]}},"alternative-id":["10"],"URL":"https:\/\/doi.org\/10.1007\/s44443-025-00010-9","relation":{},"ISSN":["1319-1578","2213-1248"],"issn-type":[{"value":"1319-1578","type":"print"},{"value":"2213-1248","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4,10]]},"assertion":[{"value":"25 July 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 January 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 April 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"19"}}