{"id":"https://openalex.org/W7158758713","doi":"https://doi.org/10.48550/arxiv.2604.26829","title":"Full Definability in a Profunctorial Model","display_name":"Full Definability in a Profunctorial Model","publication_year":2026,"publication_date":"2026-04-29","ids":{"openalex":"https://openalex.org/W7158758713","doi":"https://doi.org/10.48550/arxiv.2604.26829"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.26829","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.26829","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.26829","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090766554","display_name":"Takeshi Tsukada","orcid":"https://orcid.org/0000-0002-2824-8708"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tsukada, Takeshi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026592834","display_name":"Kazuyuki Asada","orcid":"https://orcid.org/0000-0001-8782-2119"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Asada, Kazuyuki","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5113759875","display_name":"K Hirata","orcid":"https://orcid.org/0009-0005-4416-2655"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hirata, Kengo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"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":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.8569999933242798,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8569999933242798,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.06310000270605087,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.011900000274181366,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/correctness","display_name":"Correctness","score":0.6140000224113464},{"id":"https://openalex.org/keywords/denotation","display_name":"Denotation (semiotics)","score":0.5849999785423279},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5515000224113464},{"id":"https://openalex.org/keywords/multiplicative-function","display_name":"Multiplicative function","score":0.5055999755859375},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.41359999775886536},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.4016999900341034},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3856000006198883},{"id":"https://openalex.org/keywords/model-theory","display_name":"Model theory","score":0.38040000200271606}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6140000224113464},{"id":"https://openalex.org/C149106765","wikidata":"https://www.wikidata.org/wiki/Q1982453","display_name":"Denotation (semiotics)","level":3,"score":0.5849999785423279},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5515000224113464},{"id":"https://openalex.org/C42747912","wikidata":"https://www.wikidata.org/wiki/Q1048447","display_name":"Multiplicative function","level":2,"score":0.5055999755859375},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49050000309944153},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.41359999775886536},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4124999940395355},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.4016999900341034},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3856000006198883},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3815000057220459},{"id":"https://openalex.org/C47030870","wikidata":"https://www.wikidata.org/wiki/Q467606","display_name":"Model theory","level":2,"score":0.38040000200271606},{"id":"https://openalex.org/C40207289","wikidata":"https://www.wikidata.org/wiki/Q755662","display_name":"Relational model","level":3,"score":0.364300012588501},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.3133000135421753},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.29249998927116394},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2842000126838684},{"id":"https://openalex.org/C2780432614","wikidata":"https://www.wikidata.org/wiki/Q864213","display_name":"Conservative extension","level":2,"score":0.2816999852657318},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2736999988555908},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2628999948501587},{"id":"https://openalex.org/C16739119","wikidata":"https://www.wikidata.org/wiki/Q5139948","display_name":"Codd's theorem","level":5,"score":0.262800008058548},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.26170000433921814},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.25999999046325684},{"id":"https://openalex.org/C203702819","wikidata":"https://www.wikidata.org/wiki/Q17146953","display_name":"Logical data model","level":3,"score":0.2540000081062317},{"id":"https://openalex.org/C90312973","wikidata":"https://www.wikidata.org/wiki/Q7449052","display_name":"Semantic data model","level":2,"score":0.25220000743865967}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.26829","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.26829","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.26829","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.26829","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.49867767095565796}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"A":[0],"semantic":[1,8],"model":[2,12,26,43],"enjoys":[3],"full":[4,39,128],"definability":[5,22,40,129],"if":[6],"every":[7],"element":[9],"in":[10,31,41,94],"the":[11,25,46,58,62,82,85,90,127,134],"is":[13,53,67,144],"a":[14,32,42,54,65,72,77,97,124,138],"denotation":[15],"of":[16,48,57,81,92,100,108,117,126,145],"some":[17],"proof":[18],"or":[19],"program.":[20],"Full":[21],"indicates":[23],"that":[24,64,76,133],"captures":[27],"programs":[28],"and":[29,110],"proofs":[30],"highly":[33],"detailed":[34],"manner.":[35],"This":[36],"paper":[37],"studies":[38],"based":[44],"on":[45,50],"(bi)category":[47],"profunctors":[49,112],"groupoids,":[51],"which":[52,141],"proof-relevant":[55],"variant":[56],"relational":[59,86],"model.":[60],"Despite":[61],"fact":[63],"profunctor":[66],"far":[68],"more":[69],"complicated":[70],"than":[71],"relation,":[73],"we":[74,131,142],"show":[75,132],"rather":[78],"straightforward":[79],"application":[80],"ideas":[83],"for":[84],"model,":[87],"together":[88],"with":[89,121],"notion":[91],"stability":[93,135],"profunctors,":[95],"provides":[96],"complete":[98],"characterisation":[99],"definable":[101,114],"profunctors.":[102],"More":[103],"precisely,":[104],"all":[105],"logical":[106],"families":[107],"stable":[109],"total":[111],"are":[113],"by":[115],"proof-nets":[116],"multiplicative":[118],"linear":[119],"logic":[120],"MIX.":[122],"As":[123],"part":[125],"proof,":[130],"serves":[136],"as":[137],"correctness":[139],"criterion,":[140],"think":[143],"independent":[146],"interest.":[147]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-05-01T00:00:00"}