{"id":"https://openalex.org/W2011044821","doi":"https://doi.org/10.1017/s096012950000013x","title":"The theory of semi-functors","display_name":"The theory of semi-functors","publication_year":1993,"publication_date":"1993-03-01","ids":{"openalex":"https://openalex.org/W2011044821","doi":"https://doi.org/10.1017/s096012950000013x","mag":"2011044821"},"language":"en","primary_location":{"id":"doi:10.1017/s096012950000013x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s096012950000013x","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067071454","display_name":"R. Hoofman","orcid":null},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Raymond Hoofman","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands","Department of Mathematics and Computer Science, University of Amsterdam, Plantage Muidergracht 24, 1018 TV, Amsterdam, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Amsterdam, Plantage Muidergracht 24, 1018 TV, Amsterdam, The Netherlands#TAB#","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5067071454"],"corresponding_institution_ids":["https://openalex.org/I887064364"],"apc_list":null,"apc_paid":null,"fwci":2.9138,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.90562996,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"3","issue":"1","first_page":"93","last_page":"128"},"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.9988999962806702,"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.9988999962806702,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.987500011920929,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9797999858856201,"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/functor","display_name":"Functor","score":0.9040272235870361},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7571256160736084},{"id":"https://openalex.org/keywords/functor-category","display_name":"Functor category","score":0.7176051735877991},{"id":"https://openalex.org/keywords/adjoint-functors","display_name":"Adjoint functors","score":0.7165795564651489},{"id":"https://openalex.org/keywords/adjunction","display_name":"Adjunction","score":0.712129533290863},{"id":"https://openalex.org/keywords/natural-transformation","display_name":"Natural transformation","score":0.7084289193153381},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.5919095873832703},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.5325934290885925},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.4894329607486725},{"id":"https://openalex.org/keywords/natural","display_name":"Natural (archaeology)","score":0.46183228492736816},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.44012826681137085},{"id":"https://openalex.org/keywords/derived-functor","display_name":"Derived functor","score":0.42725294828414917},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07432746887207031}],"concepts":[{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.9040272235870361},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7571256160736084},{"id":"https://openalex.org/C48808802","wikidata":"https://www.wikidata.org/wiki/Q2007878","display_name":"Functor category","level":3,"score":0.7176051735877991},{"id":"https://openalex.org/C153778094","wikidata":"https://www.wikidata.org/wiki/Q357858","display_name":"Adjoint functors","level":3,"score":0.7165795564651489},{"id":"https://openalex.org/C2780580338","wikidata":"https://www.wikidata.org/wiki/Q577835","display_name":"Adjunction","level":2,"score":0.712129533290863},{"id":"https://openalex.org/C99633028","wikidata":"https://www.wikidata.org/wiki/Q1442189","display_name":"Natural transformation","level":3,"score":0.7084289193153381},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5919095873832703},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5325934290885925},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.4894329607486725},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.46183228492736816},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.44012826681137085},{"id":"https://openalex.org/C6778880","wikidata":"https://www.wikidata.org/wiki/Q320245","display_name":"Derived functor","level":3,"score":0.42725294828414917},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07432746887207031},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s096012950000013x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s096012950000013x","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.46000000834465027}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W75859641","https://openalex.org/W128738456","https://openalex.org/W971532156","https://openalex.org/W1550394161","https://openalex.org/W1554770436","https://openalex.org/W1562388578","https://openalex.org/W1568551114","https://openalex.org/W2021433230","https://openalex.org/W2049362364","https://openalex.org/W2050289409","https://openalex.org/W2052447934","https://openalex.org/W2054969282","https://openalex.org/W2092954762","https://openalex.org/W2107903102","https://openalex.org/W2120713972","https://openalex.org/W2324455841","https://openalex.org/W2911865844","https://openalex.org/W4241603199","https://openalex.org/W4242408290"],"related_works":["https://openalex.org/W3145831108","https://openalex.org/W3198515066","https://openalex.org/W1611975502","https://openalex.org/W1998151214","https://openalex.org/W4211038545","https://openalex.org/W3100012360","https://openalex.org/W2048522079","https://openalex.org/W2902815837","https://openalex.org/W1976332150","https://openalex.org/W2887836968"],"abstract_inverted_index":{"The":[0],"notion":[1,58,99,114],"of":[2,17,19,30,48,59,86,100,112,115,120],"semi-functor":[3],"was":[4],"introduced":[5],"in":[6,9,32,50,67,83,105,125],"Hayashi":[7,106],"(1985)":[8,107],"order":[10],"to":[11,117],"make":[12],"possible":[13],"a":[14,141],"category-theoretical":[15],"characterization":[16],"models":[18],"the":[20,27,45,57,84,98,109,113,118,129,135],"non-extensional":[21],"typed":[22],"lambda":[23],"calculus.":[24],"Motivated":[25],"by":[26],"further":[28],"use":[29],"semi-functors":[31,49,76,88,132],"Martini":[33],"(1987),":[34],"Jacobs":[35],"(1991)":[36],"and":[37,41,70,89,133,140],"Hoofman":[38],"(1992a),":[39],"(1992b)":[40],"(1992c),":[42],"we":[43,95],"consider":[44],"general":[46],"theory":[47],"this":[51,68,126],"paper.":[52],"It":[53],"turns":[54],"out":[55],"that":[56,71,97],"semi":[60,90],"natural":[61,91],"transformation":[62],"plays":[63],"an":[64],"important":[65],"part":[66],"theory,":[69],"various":[72],"categorical":[73],"notions":[74,82],"involving":[75],"can":[77],"be":[78],"viewed":[79],"as":[80,103],"2-categorical":[81],"2-category":[85],"categories,":[87],"transformations.":[92],"In":[93],"particular,":[94],"find":[96],"normal":[101],"semi-adjunction":[102],"defined":[104],"is":[108],"canonical":[110],"generalization":[111],"adjunction":[116],"world":[119],"semi-functors.":[121],"Further":[122],"topics":[123],"covered":[124],"paper":[127],"are":[128],"relation":[130],"between":[131],"splittings,":[134],"Karoubi":[136],"envelope":[137],"construction,":[138],"semi-comonads,":[139],"semi-adjoint":[142],"functor":[143],"theorem.":[144]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}