{"id":"https://openalex.org/W7225810478","doi":"https://doi.org/10.5281/zenodo.24128172","title":"A Conditional Research Framework for Epistemic Rewriting Systems via Toy Chain Complexes","display_name":"A Conditional Research Framework for Epistemic Rewriting Systems via Toy Chain Complexes","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225810478","doi":"https://doi.org/10.5281/zenodo.24128172"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24128172","doi":"https://doi.org/10.5281/zenodo.24128172","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24128172","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"JournalArticle"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24128172","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5161389627","display_name":"Myo Sett Naing","orcid":"https://orcid.org/0009-0002-9133-0058","observed_orcids":["https://orcid.org/0009-0002-9133-0058"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Naing, Myo Sett","raw_affiliation_strings":["Independent Researcher","Author","Lawyer","Advisor"],"raw_orcid":"https://orcid.org/0009-0002-9133-0058","affiliations":[{"raw_affiliation_string":"Independent Researcher","institution_ids":[]},{"raw_affiliation_string":"Author","institution_ids":[]},{"raw_affiliation_string":"Lawyer","institution_ids":[]},{"raw_affiliation_string":"Advisor","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5161389627"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.801800012588501,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.801800012588501,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10287","display_name":"Algebraic structures and combinatorial models","score":0.03889999911189079,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.024700000882148743,"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"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6664000153541565},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.6654999852180481},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6399000287055969},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5529000163078308},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5425000190734863},{"id":"https://openalex.org/C165525559","wikidata":"https://www.wikidata.org/wiki/Q224180","display_name":"Homology (biology)","level":3,"score":0.5267999768257141},{"id":"https://openalex.org/C4017995","wikidata":"https://www.wikidata.org/wiki/Q595298","display_name":"Sheaf","level":2,"score":0.5112000107765198},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4514000117778778},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.4239000082015991},{"id":"https://openalex.org/C78606066","wikidata":"https://www.wikidata.org/wiki/Q1198376","display_name":"Cohomology","level":2,"score":0.37700000405311584},{"id":"https://openalex.org/C139962677","wikidata":"https://www.wikidata.org/wiki/Q1095056","display_name":"Singular homology","level":3,"score":0.3621000051498413},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3458999991416931},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3393000066280365},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3346000015735626},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32330000400543213},{"id":"https://openalex.org/C2989065042","wikidata":"https://www.wikidata.org/wiki/Q7378971","display_name":"Algebraic properties","level":2,"score":0.31029999256134033},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.3027999997138977},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.29679998755455017},{"id":"https://openalex.org/C5961521","wikidata":"https://www.wikidata.org/wiki/Q746083","display_name":"Homotopy","level":2,"score":0.28859999775886536},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.28189998865127563},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.2703000009059906},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2581999897956848}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24128172","doi":"https://doi.org/10.5281/zenodo.24128172","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24128172","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"JournalArticle"},{"id":"doi:10.5281/zenodo.24128173","doi":"https://doi.org/10.5281/zenodo.24128173","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24128173","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"JournalArticle"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24128172","doi":"https://doi.org/10.5281/zenodo.24128172","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24128172","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"JournalArticle"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2,123,178],"presents":[3],"a":[4,59,74,79,126,136,143,150,199,215,225],"conditionally":[5],"formulated":[6],"research":[7,231],"framework":[8,218],"for":[9,229],"modelling":[10],"epistemic":[11,138],"and":[12,19,37,40,99,104,129,153,159,190,224],"genetic":[13],"rewriting":[14],"systems":[15],"using":[16],"categorical":[17,36,128],"language":[18],"finite":[20,50],"chain":[21,52,157],"complexes.":[22],"Its":[23],"primary":[24],"objective":[25],"is":[26,69,110,213],"methodological:":[27],"to":[28,41,71,113,116],"distinguish":[29],"rigorously":[30],"established":[31,164],"algebraic":[32,180,222],"calculations":[33],"from":[34,93,183],"conditional":[35,170],"sheaf-theoretic":[38,130],"hypotheses,":[39],"identify":[42],"the":[43,65,114,133,140,147,154,177],"technical":[44,174],"problems":[45],"that":[46,64,84],"remain":[47],"open.":[48],"Two":[49],"toy":[51,200],"complexes":[53],"are":[54,162,167],"examined":[55],"in":[56,198],"detail.":[57],"For":[58,73],"four-cycle":[60,115],"complex,":[61],"we":[62,82],"prove":[63,83],"first":[66,86,119,196],"homology":[67,87,158,197],"group":[68,88],"isomorphic":[70],"Z.":[72],"three-cycle":[75],"complex":[76,201],"equipped":[77],"with":[78,219],"specified":[80],"two-cell,":[81],"its":[85,118],"vanishes.":[89],"Both":[90],"results":[91,223],"follow":[92],"explicit":[94],"boundary":[95],"maps,":[96],"coefficient":[97,108],"matching,":[98],"direct":[100],"computations":[101],"of":[102,135,142,149,195],"kernels":[103],"images.":[105],"The":[106,122,193,211],"universal":[107],"theorem":[109],"then":[111],"applied":[112],"determine":[117],"cohomology":[120],"group.":[121],"also":[124],"outlines":[125],"possible":[127],"extension.":[131],"However,":[132],"construction":[134],"complete":[137],"category,":[139],"existence":[141],"suitable":[144],"dualizing":[145],"object,":[146],"validity":[148],"Verdier-type":[151],"pairing,":[152],"comparison":[155],"between":[156],"sheaf":[160],"hypercohomology":[161],"not":[163],"here.":[165],"These":[166],"stated":[168],"as":[169,187],"hypotheses":[171],"or":[172],"open":[173],"problems.":[175],"Finally,":[176],"distinguishes":[179],"homological":[181],"properties":[182,185],"operational":[184,208],"such":[186],"termination,":[188],"confluence,":[189],"algorithmic":[191],"recovery.":[192],"vanishing":[194],"does":[202],"not,":[203],"by":[204],"itself,":[205],"establish":[206],"an":[207],"self-healing":[209],"mechanism.":[210],"contribution":[212],"therefore":[214],"bounded":[216],"mathematical":[217],"explicit,":[220],"reproducible":[221],"clearly":[226],"delimited":[227],"programme":[228],"further":[230]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}