{"id":"https://openalex.org/W7224434144","doi":"https://doi.org/10.5281/zenodo.23751568","title":"From Logic, Sets, Types, and Categories to su(3) \u2295 su(2): A Path-Algebraic Construction","display_name":"From Logic, Sets, Types, and Categories to su(3) \u2295 su(2): A Path-Algebraic Construction","publication_year":2026,"publication_date":"2026-10-29","ids":{"openalex":"https://openalex.org/W7224434144","doi":"https://doi.org/10.5281/zenodo.23751568"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23751568","doi":"https://doi.org/10.5281/zenodo.23751568","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23751568","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23751568","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5126092235","display_name":"Arthur Stewart","orcid":"https://orcid.org/0009-0001-8139-2645","observed_orcids":["https://orcid.org/0009-0001-8139-2645"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Stewart, Arthur","raw_affiliation_strings":["NeuraVeXium LLC"],"raw_orcid":"https://orcid.org/0009-0001-8139-2645","affiliations":[{"raw_affiliation_string":"NeuraVeXium LLC","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5126092235"],"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":false,"primary_topic":{"id":"https://openalex.org/T10287","display_name":"Algebraic structures and combinatorial models","score":0.9458000063896179,"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"}},"topics":[{"id":"https://openalex.org/T10287","display_name":"Algebraic structures and combinatorial models","score":0.9458000063896179,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.010700000450015068,"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/T12504","display_name":"Mathematics and Applications","score":0.007300000172108412,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/curry-howard-correspondence","display_name":"Curry-Howard correspondence","score":0.7049999833106995},{"id":"https://openalex.org/keywords/path-algebras","display_name":"path algebras","score":0.6060000061988831},{"id":"https://openalex.org/keywords/symmetric-bilinear-forms","display_name":"symmetric bilinear forms","score":0.7620000243186951},{"id":"https://openalex.org/keywords/cartan-matrix","display_name":"Cartan matrix","score":0.9340000152587891},{"id":"https://openalex.org/keywords/standard-model-gauge-group","display_name":"Standard Model gauge group","score":0.8259999752044678},{"id":"https://openalex.org/keywords/foundations-of-mathematics","display_name":"foundations of mathematics","score":0.6489999890327454}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7559000253677368},{"id":"https://openalex.org/C168310172","wikidata":"https://www.wikidata.org/wiki/Q493980","display_name":"Quiver","level":2,"score":0.7098000049591064},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.5637000203132629},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.44830000400543213},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3935999870300293},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.3910999894142151},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.3772999942302704},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36730000376701355},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.3521000146865845},{"id":"https://openalex.org/C159254197","wikidata":"https://www.wikidata.org/wiki/Q1144915","display_name":"Lexicographical order","level":2,"score":0.33550000190734863},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.3330000042915344},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.33250001072883606},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.32109999656677246},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2989000082015991},{"id":"https://openalex.org/C72134830","wikidata":"https://www.wikidata.org/wiki/Q5166524","display_name":"Convexity","level":2,"score":0.29490000009536743},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.29490000009536743},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.29260000586509705},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.2921999990940094},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.28119999170303345},{"id":"https://openalex.org/C8828549","wikidata":"https://www.wikidata.org/wiki/Q837924","display_name":"Bilinear form","level":2,"score":0.28110000491142273},{"id":"https://openalex.org/C205203396","wikidata":"https://www.wikidata.org/wiki/Q612143","display_name":"Bilinear interpolation","level":2,"score":0.26589998602867126},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.26100000739097595},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.26010000705718994},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.2599000036716461},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.2590999901294708},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.257999986410141},{"id":"https://openalex.org/C196773441","wikidata":"https://www.wikidata.org/wiki/Q1475294","display_name":"Maximal element","level":3,"score":0.25060001015663147},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.25040000677108765}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23751568","doi":"https://doi.org/10.5281/zenodo.23751568","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23751568","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23751569","doi":"https://doi.org/10.5281/zenodo.23751569","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23751569","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23751568","doi":"https://doi.org/10.5281/zenodo.23751568","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23751568","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W7147116862","https://openalex.org/W7149575764","https://openalex.org/W7153073949","https://openalex.org/W7154682663","https://openalex.org/W7171368747","https://openalex.org/W7171380279","https://openalex.org/W7171525445","https://openalex.org/W7204253098","https://openalex.org/W7213475195","https://openalex.org/W7213807165"],"related_works":["https://openalex.org/W7151756609","https://openalex.org/W7213475195","https://openalex.org/W7149575764","https://openalex.org/W7171523833","https://openalex.org/W7171380279","https://openalex.org/W7205016132","https://openalex.org/W7203491619","https://openalex.org/W2038633887","https://openalex.org/W7096318751","https://openalex.org/W7223902164"],"abstract_inverted_index":{"A":[0,224,410,480],"symmetric":[1],"bilinear":[2,182,322,496],"form":[3,273],"B":[4,200],"on":[5,112,228,259,357],"the":[6,12,22,27,38,85,97,109,113,141,146,151,159,162,167,171,175,180,190,211,217,229,237,246,249,254,285,292,295,300,310,319,325,329,338,354,358,364,368,372,376,392,398,403,414,419,434,457,467,471,482,492],"cycle":[7,164,251,416],"space":[8],"H\u2081(Q;":[9,444],"\u211d)":[10,445],"of":[11,21,30,44,126,134,284,299,312,328,340,375,386,402,456,470,479,485,494,525],"four-gon":[13,142,320,404],"quiver":[14,143,405,483],"Q,":[15,144],"constructed":[16],"from":[17,318,425],"a":[18,92,102,187,282],"signed-edge":[19,293,326,369],"partition":[20,185,209,327],"convergence":[23,168,330],"vertex's":[24,331],"exit,":[25],"has":[26],"Cartan":[28,316,514],"matrix":[29,36,317],"A\u2082":[31,221,260,313,516],"\u00d7":[32,222,261,314,517],"A\u2081":[33,262],"as":[34,140,194,281,384],"its":[35,270,387,395,408],"in":[37,77,95,121,150,449],"cycle-generator":[39],"basis.":[40],"The":[41,80,132,184,256,278,305,345,389,428,453,476],"bilateral":[42,365],"correspondences":[43,81,366],"mathematical":[45,307],"logic,":[46,67],"Curry-Howard":[47,501],"(Curry":[48],"&":[49],"Feys,":[50],"1958;":[51],"Howard,":[52],"1969/1980),":[53],"Lambek":[54,503],"(1972),":[55],"and":[56,130,178,199,210,253,269,291,367,380,407,446,481,491],"Lawvere-Tierney":[57,505],"(Lawvere,":[58],"1970;":[59],"Tierney,":[60],"1972),":[61],"relate":[62],"four":[63,86,98,114,289,359],"foundational":[64],"systems":[65],"(propositional":[66],"set":[68],"theory,":[69,71,508],"type":[70],"category":[72],"theory)":[73],"by":[74,117,161,214,413,423,443,464],"structure-preserving":[75],"translations":[76,83],"both":[78],"directions.":[79],"supply":[82],"between":[84],"foundations":[87,99,115,290,524],"but":[88],"do":[89],"not":[90,441,488],"specify":[91],"directional":[93,110,247,286,355,420],"sequence":[94,111,287,356,421],"which":[96],"compose":[100],"into":[101],"single":[103],"closed":[104],"cycle.":[105],"This":[106],"paper":[107,390],"takes":[108,158,193],"fixed":[116],"their":[118],"operational":[119],"dependencies":[120],"*The":[122,334,450],"Forced":[123],"Operational":[124],"Ordering":[125],"Logic,":[127],"Sets,":[128],"Types,":[129],"Categories:":[131],"Foundations":[133,339],"Mathematics*":[135,341],"(Stewart,":[136,342,462],"2026r),":[137],"encodes":[138],"it":[139],"constructs":[145],"path":[147,399,509],"algebra":[148,374,400,439,478],"kQ":[149,401],"standard":[152],"sense":[153],"(Assem":[154],"et":[155],"al.,":[156],"2006),":[157],"quotient":[160,409],"binary":[163,250,415],"relations,":[165,252,417],"holds":[166],"constraint":[169],"at":[170,174],"in-degree-three":[172],"vertex":[173],"representation":[176],"level,":[177],"computes":[179],"algebra's":[181],"invariants.":[183],"is":[186,201,240,274,309,349,397,440,447,498],"structural":[188],"input":[189],"present":[191],"construction":[192,238,279],"given":[195,207,242],"rather":[196],"than":[197],"derives,":[198],"unique":[202],"up":[203],"to":[204,220,466],"diagonal":[205],"scaling":[206],"that":[208,333,353],"cycle-pair":[212],"classification":[213],"basepoint":[215],"(*From":[216],"Tits":[218,512],"Form":[219,227],"A\u2081:":[223],"Signed-Edge":[225],"Bilinear":[226],"Four-Gon":[230],"Quiver*,":[231],"Stewart,":[232],"2026dg,":[233],"Proposition":[234],"4.1),":[235],"so":[236],"below":[239],"complete":[241],"three":[243],"declared":[244],"inputs,":[245],"sequence,":[248],"partition.":[255],"Cartan-Killing":[257,519],"correspondence":[258],"returns":[263],"sl(3,":[264],"\u2102)":[265],"\u2295":[266,276,522],"sl(2,":[267],"\u2102),":[268],"compact":[271],"real":[272],"su(3)":[275,521],"su(2).":[277],"produces,":[280],"consequence":[283],"among":[288],"partition,":[294,370],"rank-three":[296],"semisimple":[297],"block":[298],"Standard":[301,377,436,458,529],"Model":[302,437,459,530],"gauge":[303,373,438,527],"algebra.":[304],"construction's":[306,346],"content":[308,348],"derivation":[311],"A\u2081's":[315],"quiver's":[321],"invariants":[323],"under":[324],"exit":[332],"Endomorphic":[335],"Collapse":[336],"Traverses":[337],"2026e)":[343],"derives.":[344],"philosophical":[347],"this":[350],"paper's":[351],"proposal":[352],"foundations,":[360],"taken":[361],"together":[362],"with":[363,418],"contains":[371],"Model's":[378],"strong":[379],"electroweak":[381],"isospin":[382],"sectors":[383],"one":[385],"consequences.":[388],"expresses":[391],"algebraic":[393],"scale:":[394],"operand":[396],"Q":[406,486],"=":[411],"kQ/I":[412],"inherited":[422],"citation":[424],"Stewart":[426],"(2026r).":[427],"remaining":[429],"u(1)":[430],"factor":[431],"required":[432],"for":[433],"full":[435],"supplied":[442],"treated":[448],"Temporal":[451],"Generator:":[452],"Fourth":[454],"Generator":[455],"Gauge":[460],"Algebra*":[461],"2026q),":[463],"extension":[465],"temporal":[468],"circle":[469],"iterated":[472],"path-algebra":[473],"endomorphism's":[474],"torus.":[475],"Hall":[477],"variety":[484],"have":[487],"been":[489],"computed,":[490],"categorification":[493],"Q's":[495],"data":[497],"open.":[499],"**Keywords:**":[500],"correspondence,":[502,504,506,520],"topos":[507],"algebra,":[510,528],"quiver,":[511],"form,":[513],"matrix,":[515],"A\u2081,":[518],"su(2),":[523],"mathematics,":[526]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2026-10-30T00:00:00"}