{"id":"https://openalex.org/W7168416784","doi":"https://doi.org/10.4230/lipics.fscd.2026.1","title":"Sheaves as Oracle Computations (Invited Talk)","display_name":"Sheaves as Oracle Computations (Invited Talk)","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7168416784","doi":"https://doi.org/10.4230/lipics.fscd.2026.1"},"language":"en","primary_location":{"id":"pmh:doi:10.4230/lipics.fscd.2026.1","is_oa":true,"landing_page_url":"https://hal.science/hal-05495450v1","pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"type":"conference-paper","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-05495450v1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140910693","display_name":"Danel Ahman","orcid":"https://orcid.org/0000-0001-6595-2756"},"institutions":[{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Ahman, Danel","raw_affiliation_strings":["Institute of Computer Science, University of Tartu, Estonia"],"raw_orcid":"https://orcid.org/0000-0001-6595-2756","affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Tartu, Estonia","institution_ids":["https://openalex.org/I56085075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5140786055","display_name":"Andrej Bauer","orcid":"https://orcid.org/0000-0001-5378-0547"},"institutions":[{"id":"https://openalex.org/I153976015","display_name":"University of Ljubljana","ror":"https://ror.org/05njb9z20","country_code":"SI","type":"education","lineage":["https://openalex.org/I153976015"]},{"id":"https://openalex.org/I4210106342","display_name":"Institute of Mathematics, Physics, and Mechanics","ror":"https://ror.org/01eb3qa50","country_code":"SI","type":"facility","lineage":["https://openalex.org/I4210106342"]}],"countries":["SI"],"is_corresponding":false,"raw_author_name":"Bauer, Andrej","raw_affiliation_strings":["Faculty of Mathematics and Physics, University of Ljubljana, Slovenia","Institute of Mathematics, Physics and Mechanics, Slovenia"],"raw_orcid":"https://orcid.org/0000-0001-5378-0547","affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Physics, University of Ljubljana, Slovenia","institution_ids":["https://openalex.org/I153976015"]},{"raw_affiliation_string":"Institute of Mathematics, Physics and Mechanics, Slovenia","institution_ids":["https://openalex.org/I4210106342"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"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":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.8072999715805054},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5389999747276306},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.48739999532699585},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.42489999532699585},{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"Sequent calculus","score":0.374099999666214},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.3580000102519989},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.3553999960422516},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.3472999930381775},{"id":"https://openalex.org/keywords/intuition","display_name":"Intuition","score":0.3409000039100647}],"concepts":[{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.8072999715805054},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5389999747276306},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.507099986076355},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.48739999532699585},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4569000005722046},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45590001344680786},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.42489999532699585},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37700000405311584},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.374099999666214},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.3580000102519989},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.3553999960422516},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.3472999930381775},{"id":"https://openalex.org/C132010649","wikidata":"https://www.wikidata.org/wiki/Q189222","display_name":"Intuition","level":2,"score":0.3409000039100647},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.33160001039505005},{"id":"https://openalex.org/C2780226545","wikidata":"https://www.wikidata.org/wiki/Q6888030","display_name":"Modality (human\u2013computer interaction)","level":2,"score":0.32690000534057617},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32109999656677246},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.31220000982284546},{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.30880001187324524},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.2980000078678131},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29589998722076416},{"id":"https://openalex.org/C89421646","wikidata":"https://www.wikidata.org/wiki/Q843632","display_name":"Sequent","level":2,"score":0.29409998655319214},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.2890999913215637},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.28299999237060547},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.26460000872612},{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.2563000023365021},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.2531999945640564}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:doi:10.4230/lipics.fscd.2026.1","is_oa":true,"landing_page_url":"https://hal.science/hal-05495450v1","pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},{"id":"pmh:oai:drops-oai.dagstuhl.de:26351","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2026.1","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},{"id":"doi:10.4230/lipics.fscd.2026.1","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fscd.2026.1","pdf_url":null,"source":null,"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":"ConferencePaper"}],"best_oa_location":{"id":"pmh:doi:10.4230/lipics.fscd.2026.1","is_oa":true,"landing_page_url":"https://hal.science/hal-05495450v1","pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3915529232","display_name":"Explainable Verification","funder_award_id":"PRG2764","funder_id":"https://openalex.org/F4320321090","funder_display_name":"Eesti Teadusagentuur"}],"funders":[{"id":"https://openalex.org/F4320321090","display_name":"Eesti Teadusagentuur","ror":"https://ror.org/00jjeja18"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0],"type":[1,16,140],"theory,":[2],"an":[3,34,65,69,82,98,158,179],"oracle":[4,28,35,58,70,99,123,130,162],"may":[5],"be":[6],"specified":[7],"abstractly":[8],"by":[9,165,200],"a":[10,31,39,59,138,166,183,191,197],"predicate":[11],"whose":[12,24],"domain":[13],"is":[14,97],"the":[15,21,27,52,57,73,77,150],"of":[17,20,47,111,122,137,141,161,186],"queries":[18],"asked":[19],"oracle,":[22],"and":[23,61,87,144,174],"proofs":[25],"are":[26,118],"answers.":[29],"Such":[30],"specification":[32],"induces":[33],"modality":[36,71,96],"that":[37,94],"captures":[38],"computational":[40],"intuition":[41],"about":[42],"oracles:":[43],"at":[44],"each":[45],"step":[46],"reasoning":[48],"we":[49,55,181],"either":[50],"know":[51],"result,":[53],"or":[54],"ask":[56],"query":[60],"proceed":[62],"upon":[63],"receiving":[64],"answer.":[66],"We":[67,80,125,132,153],"characterize":[68],"as":[72,147],"least":[74],"one":[75],"forcing":[76],"given":[78,119,164],"predicate.":[79],"establish":[81],"adjoint":[83,103],"retraction":[84],"between":[85],"modalities":[86,112],"propositional":[88],"containers,":[89],"from":[90],"which":[91,108],"it":[92],"follows":[93],"every":[95],"modality.":[100],"The":[101],"left":[102],"maps":[104],"sums":[105],"to":[106,114,172,196],"suprema,":[107],"makes":[109],"suprema":[110],"easy":[113],"compute":[115],"when":[116],"they":[117],"in":[120,135,190],"terms":[121,136],"modalities.":[124,131],"also":[126,154],"study":[127],"sheaves":[128,146],"for":[129,149],"describe":[133,145],"sheafification":[134],"quotient-inductive":[139],"computation":[142,163],"trees,":[143,157],"algebras":[148],"corresponding":[151],"monad.":[152],"introduce":[155],"equifoliate":[156],"intensional":[159],"notion":[160],"(non-propositional)":[167],"container.":[168],"Equifoliate":[169],"trees":[170],"descend":[171],"sheaves,":[173],"modally":[175],"cover":[176],"them.":[177],"As":[178],"application,":[180],"give":[182],"concrete":[184],"description":[185],"all":[187],"Lawvere-Tierney":[188],"topologies":[189],"realizability":[192],"topos,":[193],"closely":[194],"related":[195],"game-theoretic":[198],"characterization":[199],"Takayuki":[201],"Kihara.":[202]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-16T00:00:00"}