{"id":"https://openalex.org/W4239182392","doi":"https://doi.org/10.1016/s1571-0661(04)80011-2","title":"Bireflectivity","display_name":"Bireflectivity","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W4239182392","doi":"https://doi.org/10.1016/s1571-0661(04)80011-2"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80011-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80011-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80011-2","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039178395","display_name":"Peter Freyd","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"P.J. Freyd","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, U.S.A. 19104-6395"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, U.S.A. 19104-6395","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068136684","display_name":"Peter W. O\u2019Hearn","orcid":null},"institutions":[{"id":"https://openalex.org/I70983195","display_name":"Syracuse University","ror":"https://ror.org/025r5qe02","country_code":"US","type":"education","lineage":["https://openalex.org/I70983195"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P.W. O'Hearn","raw_affiliation_strings":["Syracuse University, New York, U.S.A. 13244"],"affiliations":[{"raw_affiliation_string":"Syracuse University, New York, U.S.A. 13244","institution_ids":["https://openalex.org/I70983195"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082619162","display_name":"John Power","orcid":"https://orcid.org/0000-0002-3816-8509"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"A.J. Power","raw_affiliation_strings":["University of Edinburgh, Edinburgh, Scotland, EH9 3JZ"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, Scotland, EH9 3JZ","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031449025","display_name":"Makoto Takeyama","orcid":null},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"M. Takeyama","raw_affiliation_strings":["University of Edinburgh, Edinburgh, Scotland, EH9 3JZ"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, Scotland, EH9 3JZ","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027360535","display_name":"R. D. Tennent","orcid":null},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"R.D. Tennent","raw_affiliation_strings":["Queen's University, Kingston, Canada K7L 3N6"],"affiliations":[{"raw_affiliation_string":"Queen's University, Kingston, Canada K7L 3N6","institution_ids":["https://openalex.org/I204722609"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5039178395"],"corresponding_institution_ids":["https://openalex.org/I79576946"],"apc_list":null,"apc_paid":null,"fwci":0.5889,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.69254479,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"1","issue":null,"first_page":"199","last_page":"213"},"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.9491999745368958,"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.9491999745368958,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8584285974502563},{"id":"https://openalex.org/keywords/subcategory","display_name":"Subcategory","score":0.7744266390800476},{"id":"https://openalex.org/keywords/enriched-category","display_name":"Enriched category","score":0.7202574014663696},{"id":"https://openalex.org/keywords/symmetric-monoidal-category","display_name":"Symmetric monoidal category","score":0.5978392362594604},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.5748353600502014},{"id":"https://openalex.org/keywords/higher-category-theory","display_name":"Higher category theory","score":0.5524809956550598},{"id":"https://openalex.org/keywords/model-category","display_name":"Model category","score":0.47773119807243347},{"id":"https://openalex.org/keywords/equivalence-of-categories","display_name":"Equivalence of categories","score":0.47579845786094666},{"id":"https://openalex.org/keywords/category-theory","display_name":"Category theory","score":0.4749603271484375},{"id":"https://openalex.org/keywords/diagonal","display_name":"Diagonal","score":0.4604511857032776},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.45930182933807373},{"id":"https://openalex.org/keywords/closed-category","display_name":"Closed category","score":0.44977235794067383},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.4440971612930298},{"id":"https://openalex.org/keywords/closed-monoidal-category","display_name":"Closed monoidal category","score":0.4424106478691101},{"id":"https://openalex.org/keywords/monoidal-category","display_name":"Monoidal category","score":0.41772839426994324},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3640393614768982},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.18453189730644226},{"id":"https://openalex.org/keywords/homotopy-category","display_name":"Homotopy category","score":0.16631856560707092}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8584285974502563},{"id":"https://openalex.org/C2780617661","wikidata":"https://www.wikidata.org/wiki/Q541563","display_name":"Subcategory","level":2,"score":0.7744266390800476},{"id":"https://openalex.org/C156163052","wikidata":"https://www.wikidata.org/wiki/Q5379515","display_name":"Enriched category","level":3,"score":0.7202574014663696},{"id":"https://openalex.org/C98912367","wikidata":"https://www.wikidata.org/wiki/Q17103860","display_name":"Symmetric monoidal category","level":3,"score":0.5978392362594604},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5748353600502014},{"id":"https://openalex.org/C76069219","wikidata":"https://www.wikidata.org/wiki/Q5758318","display_name":"Higher category theory","level":4,"score":0.5524809956550598},{"id":"https://openalex.org/C131359564","wikidata":"https://www.wikidata.org/wiki/Q1941896","display_name":"Model category","level":4,"score":0.47773119807243347},{"id":"https://openalex.org/C11846945","wikidata":"https://www.wikidata.org/wiki/Q1082992","display_name":"Equivalence of categories","level":3,"score":0.47579845786094666},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.4749603271484375},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.4604511857032776},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.45930182933807373},{"id":"https://openalex.org/C7879355","wikidata":"https://www.wikidata.org/wiki/Q5135329","display_name":"Closed category","level":3,"score":0.44977235794067383},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.4440971612930298},{"id":"https://openalex.org/C56208153","wikidata":"https://www.wikidata.org/wiki/Q5135347","display_name":"Closed monoidal category","level":4,"score":0.4424106478691101},{"id":"https://openalex.org/C2779904274","wikidata":"https://www.wikidata.org/wiki/Q1945014","display_name":"Monoidal category","level":2,"score":0.41772839426994324},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3640393614768982},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.18453189730644226},{"id":"https://openalex.org/C79236096","wikidata":"https://www.wikidata.org/wiki/Q14775269","display_name":"Homotopy category","level":3,"score":0.16631856560707092},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C5961521","wikidata":"https://www.wikidata.org/wiki/Q746083","display_name":"Homotopy","level":2,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)80011-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80011-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80011-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80011-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W75859641","https://openalex.org/W1557248512","https://openalex.org/W1859542606","https://openalex.org/W1955927414","https://openalex.org/W1986057687","https://openalex.org/W1988982133","https://openalex.org/W1996947986","https://openalex.org/W1999310924","https://openalex.org/W2015034783","https://openalex.org/W6633343006","https://openalex.org/W6642559599"],"related_works":["https://openalex.org/W2288880934","https://openalex.org/W2087192056","https://openalex.org/W1986885420","https://openalex.org/W4244360710","https://openalex.org/W2150762370","https://openalex.org/W1506397055","https://openalex.org/W2156541639","https://openalex.org/W2995772018","https://openalex.org/W4322726812","https://openalex.org/W2118975042"],"abstract_inverted_index":{"Motivated":[0],"by":[1,145],"a":[2,11,20,33,56,77,81,100,119],"model":[3],"for":[4],"syntactic":[5],"control":[6],"of":[7,15,19,41,64,73,122,139,147],"interference,":[8],"we":[9,59,88],"introduce":[10],"general":[12],"categorical":[13],"concept":[14],"bireflectivity.":[16],"Bireflective":[17],"subcategories":[18,24],"category":[21,85],"A":[22,47,54,74],"are":[23],"with":[25,135],"left":[26],"and":[27,67,99,127],"right":[28],"adjoint":[29],"equal,":[30],"subject":[31],"to":[32,107],"coherence":[34],"condition.":[35],"We":[36,116,150],"characterize":[37,60],"them":[38,61],"in":[39,62],"terms":[40,63],"split-idempotent":[42],"natural":[43],"transformations":[44],"on":[45,92],"id":[46],".":[48,149],"In":[49],"the":[50,65,109,136],"special":[51],"case":[52],"that":[53,69,97,146],"is":[55,75,96,112],"presheaf":[57,78],"category,":[58],"domain,":[66],"prove":[68,108],"any":[70],"bireflective":[71,120],"subcategory":[72,121],"itself":[76],"category.":[79],"Given":[80],"small":[82],"symmetric":[83],"monoidal":[84,110,137],"C":[86,93,124,141,148],",":[87,94],"define":[89],"diagonal":[90],"structure":[91,98,111,134,138],"which":[95],"little":[101],"less":[102],"than":[103],"those":[104],"axioms":[105],"required":[106],"finite":[113,132],"product":[114,133],"structure.":[115,154],"then":[117],"obtain":[118],"[":[123,140],"op,":[125,142],"Set]":[126,143],"deduce":[128],"results":[129],"relating":[130],"its":[131],"determined":[144],"also":[151],"investigate":[152],"closed":[153]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-05-12T00:00:00"}