{"id":"https://openalex.org/W7196978290","doi":"https://doi.org/10.48550/arxiv.2608.04228","title":"Topological Computational Paths: Presentation Invariance and Observable Quotients","display_name":"Topological Computational Paths: Presentation Invariance and Observable Quotients","publication_year":2026,"publication_date":"2026-08-04","ids":{"openalex":"https://openalex.org/W7196978290","doi":"https://doi.org/10.48550/arxiv.2608.04228"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.04228","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.04228","pdf_url":"https://arxiv.org/pdf/2608.04228","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.04228","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042865794","display_name":"Arthur Ramos","orcid":"https://orcid.org/0009-0003-3568-0325","observed_orcids":["https://orcid.org/0009-0003-3568-0325"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ramos, Arthur Freitas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120676122","display_name":"Ruy J. G. B. de Queiroz","orcid":"https://orcid.org/0000-0003-1482-0977","observed_orcids":["https://orcid.org/0000-0003-1482-0977"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"de Queiroz, Ruy J. G. B.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100821412","display_name":"Anjolina Grisi de Oliveira","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"de Oliveira, Anjolina Grisi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5078004007","display_name":"Tiago M. L. Veras","orcid":"https://orcid.org/0000-0003-1840-4276","observed_orcids":["https://orcid.org/0000-0003-1840-4276"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"de Veras, Tiago M. L.","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":true,"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":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.5220000147819519,"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/T10126","display_name":"Logic, programming, and type systems","score":0.5220000147819519,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.43700000643730164,"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/T11567","display_name":"semigroups and automata theory","score":0.00989999994635582,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quotient-topology","display_name":"quotient topology","score":0.4300000071525574},{"id":"https://openalex.org/keywords/fundamental-groupoid","display_name":"fundamental groupoid","score":0.5740000009536743},{"id":"https://openalex.org/keywords/normal-forms","display_name":"normal forms","score":0.5170000195503235},{"id":"https://openalex.org/keywords/homotopy-type-theory","display_name":"homotopy type theory","score":0.49799999594688416},{"id":"https://openalex.org/keywords/lean-formalization","display_name":"Lean formalization","score":0.6710000038146973}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6276000142097473},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.5978999733924866},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.5259000062942505},{"id":"https://openalex.org/C2777680557","wikidata":"https://www.wikidata.org/wiki/Q7259417","display_name":"Pullback","level":2,"score":0.459199994802475},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.4489000141620636},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.42660000920295715},{"id":"https://openalex.org/C5961521","wikidata":"https://www.wikidata.org/wiki/Q746083","display_name":"Homotopy","level":2,"score":0.423799991607666},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.42179998755455017},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.382999986410141},{"id":"https://openalex.org/C2780339515","wikidata":"https://www.wikidata.org/wiki/Q3074698","display_name":"Arrow","level":2,"score":0.36469998955726624},{"id":"https://openalex.org/C188971069","wikidata":"https://www.wikidata.org/wiki/Q1636734","display_name":"Universal algebra","level":3,"score":0.36000001430511475},{"id":"https://openalex.org/C162329640","wikidata":"https://www.wikidata.org/wiki/Q332648","display_name":"Covering space","level":2,"score":0.35370001196861267},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3528999984264374},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.35260000824928284},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.33309999108314514},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3230000138282776},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.32030001282691956},{"id":"https://openalex.org/C145054310","wikidata":"https://www.wikidata.org/wiki/Q212803","display_name":"Algebraic topology","level":3,"score":0.31279999017715454},{"id":"https://openalex.org/C529865628","wikidata":"https://www.wikidata.org/wiki/Q1790740","display_name":"Manifold (fluid mechanics)","level":2,"score":0.31130000948905945},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.3086000084877014},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.30799999833106995},{"id":"https://openalex.org/C42747912","wikidata":"https://www.wikidata.org/wiki/Q1048447","display_name":"Multiplicative function","level":2,"score":0.3068000078201294},{"id":"https://openalex.org/C132170107","wikidata":"https://www.wikidata.org/wiki/Q834585","display_name":"Semilattice","level":3,"score":0.30489999055862427},{"id":"https://openalex.org/C40753290","wikidata":"https://www.wikidata.org/wiki/Q1139111","display_name":"Quotient space (topology)","level":3,"score":0.30410000681877136},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.2948000133037567},{"id":"https://openalex.org/C54486226","wikidata":"https://www.wikidata.org/wiki/Q493941","display_name":"Fibration","level":3,"score":0.29249998927116394},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2831999957561493},{"id":"https://openalex.org/C204707403","wikidata":"https://www.wikidata.org/wiki/Q1152398","display_name":"Canonical form","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.2766000032424927},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.275299996137619},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2628999948501587},{"id":"https://openalex.org/C2778000800","wikidata":"https://www.wikidata.org/wiki/Q830043","display_name":"Handshake","level":3,"score":0.26179999113082886},{"id":"https://openalex.org/C153782549","wikidata":"https://www.wikidata.org/wiki/Q175116","display_name":"Discrete space","level":2,"score":0.26100000739097595}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.04228","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.04228","pdf_url":"https://arxiv.org/pdf/2608.04228","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.04228","doi":"https://doi.org/10.48550/arxiv.2608.04228","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.04228","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.04228","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.04228","pdf_url":"https://arxiv.org/pdf/2608.04228","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7196978290.pdf","grobid_xml":"https://content.openalex.org/works/W7196978290.grobid-xml"},"referenced_works_count":4,"referenced_works":["https://openalex.org/W1982494046","https://openalex.org/W4416776617","https://openalex.org/W4416953463","https://openalex.org/W4417025161"],"related_works":["https://openalex.org/W4416776617","https://openalex.org/W2796412979","https://openalex.org/W2949951895","https://openalex.org/W2254872786","https://openalex.org/W3186857925","https://openalex.org/W2789982749","https://openalex.org/W649591061","https://openalex.org/W4417025161","https://openalex.org/W1570683299","https://openalex.org/W1982346842"],"abstract_inverted_index":{"A":[0,139,210],"computational":[1,13,39],"path":[2,67],"records":[3,105],"the":[4,19,54,157,166,178,214,217,233],"steps":[5],"used":[6],"to":[7,76,216],"establish":[8],"an":[9,59,130,184],"equality.":[10],"Topologies":[11],"on":[12,18,165],"equality":[14,224],"witnesses":[15],"can":[16,122],"depend":[17],"chosen":[20],"generators":[21],"and":[22,29,65,83,114,148,159,182,197,207,220,236],"execution":[23],"schedule,":[24],"even":[25,133],"when":[26,108,173],"their":[27,84,102],"algebraic":[28],"homotopical":[30],"meanings":[31],"agree.":[32],"We":[33,49,171],"study":[34],"continuous":[35,164],"presentations":[36,188],"of":[37,168,223],"finite":[38],"paths":[40],"whose":[41],"declared":[42],"rewrites":[43],"are":[44,73,228],"realized":[45],"by":[46],"endpoint-fixed":[47],"homotopies.":[48],"compare":[50],"a":[51,93,96,119,125,198],"topology":[52,61,175,181],"retaining":[53],"full":[55],"signed":[56],"trace":[57],"with":[58,95,177,232],"observable":[60,160],"recording":[62],"endpoints,":[63],"length,":[64],"exact":[66],"realization.":[68],"Continuous":[69],"finite-word":[70],"interpretations":[71],"that":[72],"inverse":[74],"up":[75],"scoped":[77],"rewriting":[78],"preserve":[79,112],"trace-sensitive":[80,158],"quotient":[81,128,167],"arrows":[82],"final":[85],"composable-pair":[86],"spaces.":[87],"Observable":[88],"quotients":[89,145],"behave":[90],"differently.":[91],"Over":[92],"point":[94],"nonempty":[97],"primitive":[98,195],"alphabet,":[99],"we":[100],"classify":[101],"topology:":[103],"it":[104],"length":[106],"parity":[107],"all":[109],"named":[110],"relations":[111],"parity,":[113],"is":[115,163],"otherwise":[116],"indiscrete.":[117],"Adjoining":[118],"conservative":[120],"abbreviation":[121],"therefore":[123],"turn":[124],"discrete":[126],"two-element":[127],"into":[129],"indiscrete":[131],"space,":[132],"though":[134],"ordinary":[135,179],"multiplication":[136],"remains":[137],"continuous.":[138],"circle":[140],"presentation":[141],"also":[142],"gives":[143],"nonhomeomorphic":[144],"under":[146],"binary":[147],"equal-slot":[149],"timing.":[150],"Geometric":[151],"completeness":[152,202],"alone":[153],"does":[154],"not":[155],"identify":[156],"topologies.":[161],"Multiplication":[162],"composable":[169],"representatives.":[170],"characterize":[172],"this":[174],"agrees":[176],"pullback":[180],"give":[183],"open-projection":[185],"criterion.":[186],"Universal":[187],"recover":[189],"classical":[190],"fundamental-groupoid":[191],"topology.":[192],"Normal":[193],"forms,":[194],"interchange,":[196],"Cayley":[199],"covering":[200],"prove":[201],"for":[203],"circle,":[204],"torus,":[205],"product,":[206],"rose":[208],"presentations.":[209],"literal-word":[211],"correspondence":[212],"relates":[213],"semantics":[215],"reflexivity,":[218],"symmetry,":[219],"transitivity":[221],"fragment":[222],"derivations.":[225],"Selected":[226],"results":[227],"formalized":[229],"in":[230],"Lean,":[231],"realization":[234],"models":[235],"proof":[237],"coverage":[238],"stated":[239],"explicitly.":[240]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-08-07T00:00:00"}