{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:06:37Z","timestamp":1761955597576,"version":"build-2065373602"},"reference-count":18,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"unspecified","delay-in-days":5117,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1995,3]]},"abstract":"<jats:p>By establishing an appropriate equivalence, we observe that the theory of semi-functors can be fully embedded in the theory of (ordinary) functors. As a result, standard properties and constructions on functors extend automatically to semi-functors.<\/jats:p>","DOI":"10.1017\/s096012950000061x","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T04:00:42Z","timestamp":1236139242000},"page":"1-8","source":"Crossref","is-referenced-by-count":14,"title":["A remark on the theory of semi-functors"],"prefix":"10.1017","volume":"5","author":[{"given":"R.","family":"Hoofman","sequence":"first","affiliation":[]},{"given":"I.","family":"Moerdijk","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"S096012950000061X_ref017","doi-asserted-by":"publisher","DOI":"10.2307\/2273831"},{"volume-title":"Information Systems as Coalgebras","year":"1993","author":"Hoofman","key":"S096012950000061X_ref006"},{"key":"S096012950000061X_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013457"},{"key":"S096012950000061X_ref011","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0063101"},{"key":"S096012950000061X_ref008","unstructured":"Hoofman R. and Moerdijk I. (1994) On the Extensionalization of Second-Order Models (manuscript)."},{"key":"S096012950000061X_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90062-3"},{"key":"S096012950000061X_ref013","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"S096012950000061X_ref009","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001341"},{"key":"S096012950000061X_ref018","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(72)90019-9"},{"key":"S096012950000061X_ref001","doi-asserted-by":"publisher","DOI":"10.2307\/2273784"},{"volume-title":"Introduction to Higher Order Categorical Logic","year":"1986","author":"Lambek","key":"S096012950000061X_ref012"},{"volume-title":"Categories, Allegories","year":"1989","author":"Freyd","key":"S096012950000061X_ref002"},{"key":"S096012950000061X_ref005","doi-asserted-by":"publisher","DOI":"10.1017\/S096012950000013X"},{"key":"S096012950000061X_ref016","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/092\/1003208"},{"key":"S096012950000061X_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023875"},{"key":"S096012950000061X_ref010","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(82)90796-3"},{"key":"S096012950000061X_ref015","doi-asserted-by":"publisher","DOI":"10.1017\/S096012950000150X"},{"key":"S096012950000061X_ref014","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18508-9_28"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S096012950000061X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T15:11:53Z","timestamp":1557846713000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S096012950000061X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,3]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,3]]}},"alternative-id":["S096012950000061X"],"URL":"https:\/\/doi.org\/10.1017\/s096012950000061x","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"type":"print","value":"0960-1295"},{"type":"electronic","value":"1469-8072"}],"subject":[],"published":{"date-parts":[[1995,3]]}}}