{"id":"https://openalex.org/W6907911048","doi":"https://doi.org/10.25392/leicester.data.20317371.v1","title":"Applications of Category Theory in Analysis of Complex Systems","display_name":"Applications of Category Theory in Analysis of Complex Systems","publication_year":2022,"publication_date":"2022-07-15","ids":{"openalex":"https://openalex.org/W6907911048","doi":"https://doi.org/10.25392/leicester.data.20317371.v1"},"language":"en","primary_location":{"id":"pmh:oai:figshare.com:article/20317371","is_oa":true,"landing_page_url":"https://figshare.com/articles/thesis/Applications_of_Category_Theory_in_Analysis_of_Complex_Systems/20317371","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://figshare.com/articles/thesis/Applications_of_Category_Theory_in_Analysis_of_Complex_Systems/20317371","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Saadat, Maryam Ghaffari","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Saadat, Maryam Ghaffari","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.46309998631477356,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.46309998631477356,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.0812000036239624,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11445","display_name":"Origins and Evolution of Life","score":0.03920000046491623,"subfield":{"id":"https://openalex.org/subfields/3103","display_name":"Astronomy and Astrophysics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/complex-system","display_name":"Complex system","score":0.6930999755859375},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.6154000163078308},{"id":"https://openalex.org/keywords/category-theory","display_name":"Category theory","score":0.47029998898506165},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.41280001401901245},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4090000092983246},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.3880999982357025},{"id":"https://openalex.org/keywords/graph-theory","display_name":"Graph theory","score":0.3831999897956848},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.3490999937057495}],"concepts":[{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.6930999755859375},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6685000061988831},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.6233000159263611},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.6154000163078308},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.47029998898506165},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.41280001401901245},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4090000092983246},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.3880999982357025},{"id":"https://openalex.org/C88230418","wikidata":"https://www.wikidata.org/wiki/Q131476","display_name":"Graph theory","level":2,"score":0.3831999897956848},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.3490999937057495},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.33649998903274536},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.3179999887943268},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.28690001368522644},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28679999709129333},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.28110000491142273},{"id":"https://openalex.org/C126701199","wikidata":"https://www.wikidata.org/wiki/Q264224","display_name":"Complex dynamics","level":2,"score":0.2800000011920929},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2750000059604645},{"id":"https://openalex.org/C89798329","wikidata":"https://www.wikidata.org/wiki/Q269699","display_name":"Systems theory","level":2,"score":0.27309998869895935},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.27230000495910645},{"id":"https://openalex.org/C34947359","wikidata":"https://www.wikidata.org/wiki/Q665189","display_name":"Complex network","level":2,"score":0.2680000066757202}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:figshare.com:article/20317371","is_oa":true,"landing_page_url":"https://figshare.com/articles/thesis/Applications_of_Category_Theory_in_Analysis_of_Complex_Systems/20317371","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},{"id":"doi:10.25392/leicester.data.20317371.v1","is_oa":true,"landing_page_url":"https://doi.org/10.25392/leicester.data.20317371.v1","pdf_url":null,"source":{"id":"https://openalex.org/S7407051372","display_name":"University of Leicester","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Dissertation"}],"best_oa_location":{"id":"pmh:oai:figshare.com:article/20317371","is_oa":true,"landing_page_url":"https://figshare.com/articles/thesis/Applications_of_Category_Theory_in_Analysis_of_Complex_Systems/20317371","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Complex":[0],"systems":[1,15,47,78,92,170,235],"are":[2,165],"ubiquitous":[3],"in":[4,182,191,233],"many":[5,168],"domains":[6],"ranging":[7],"from":[8],"social":[9],"sciences":[10],"and":[11,16,74,83,119,131,188,199,214],"biology":[12],"to":[13,89,148,193,229],"distributed":[14],"software":[17],"engineering.":[18],"A":[19],"system":[20],"is":[21,44,101,111,144],"classified":[22],"as":[23,31,141,237],"complex":[24,46,77,169,201],"when":[25],"its":[26,38],"properties":[27,36],"cannot":[28,48],"be":[29,49,128,210],"expressed":[30],"an":[32],"aggregation":[33],"of":[34,37,64,71,76,97,106,124,157,178,180],"the":[35,69,176,217,221],"components.":[39],"Since":[40,167],"such":[41],"a":[42,65,94,113,125,134,158,226],"distinction":[43],"qualitative,":[45],"analysed":[50],"adequately":[51],"using":[52,133,212],"methodology":[53],"developed":[54],"for":[55,86,116,150,197],"simple":[56],"systems.":[57,202],"In":[58],"this":[59],"thesis":[60],"we":[61,174,219],"develop":[62],"foundations":[63],"categorical":[66],"framework":[67],"with":[68],"goal":[70],"facilitating":[72],"design":[73],"analysis":[75],"based":[79,102],"on":[80,103],"macro-level":[81],"specifications":[82],"providing":[84],"guidelines":[85],"controlled":[87],"transitions":[88],"desired":[90],"target":[91],"under":[93],"given":[95],"set":[96],"constraints.":[98],"Our":[99],"formalisation":[100],"algebraic":[104],"theory":[105,177],"Graph":[107],"Grammars":[108],"(GGs)":[109],"which":[110],"essentially":[112],"rule-based":[114],"mechanism":[115],"generating,":[117],"manipulating,":[118],"analysing":[120,200],"graphs.":[121],"The":[122],"behaviour":[123],"GG":[126],"can":[127,209],"captured":[129],"comprehensively":[130],"efficiently":[132],"process":[135],"called":[136],"unfolding.":[137],"However,":[138],"unfolding":[139,179,224],"theory,":[140],"originally":[142],"proposed,":[143],"not":[145],"sufficiently":[146],"expressive":[147],"allow":[149],"data":[151],"attributes":[152,213],"or":[153,163],"preconditions":[154],"forbidding":[155],"application":[156],"rule":[159],"if":[160],"certain":[161],"nodes":[162],"edges":[164],"present.":[166],"have":[171],"these":[172],"features,":[173],"extend":[175],"GGs":[181],"three":[183],"directions":[184],"(namely":[185],"conditional,":[186],"attributed,":[187],"conditional":[189,222],"attributed)":[190],"order":[192],"provide":[194],"sufficient":[195],"expressiveness":[196],"modelling":[198],"We":[203],"also":[204],"show":[205],"how":[206],"negative":[207],"reconditions":[208],"encoded":[211],"complementation.":[215],"At":[216],"end,":[218],"apply":[220],"attributed":[223],"within":[225],"case":[227],"study":[228],"analyse":[230],"power":[231],"dynamics":[232],"socio-political":[234],"modelled":[236],"graph":[238],"grammars.":[239]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}