{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T03:32:57Z","timestamp":1764732777708,"version":"3.37.3"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,1,4]],"date-time":"2019-01-04T00:00:00Z","timestamp":1546560000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001230","name":"Macquarie University","doi-asserted-by":"publisher","award":["Research Training Program scholarship"],"award-info":[{"award-number":["Research Training Program scholarship"]}],"id":[{"id":"10.13039\/501100001230","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s10485-018-09555-5","type":"journal-article","created":{"date-parts":[[2019,1,4]],"date-time":"2019-01-04T01:34:15Z","timestamp":1546565655000},"page":"289-310","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Presheaves Over a Join Restriction Category"],"prefix":"10.1007","volume":"27","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4328-3544","authenticated-orcid":false,"given":"Daniel","family":"Lin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,1,4]]},"reference":[{"key":"9555_CR1","first-page":"307","volume":"16","author":"JRB Cockett","year":"2006","unstructured":"Cockett, J.R.B., Guo, X.: Stable meet semilattice fibrations and free restriction categories. Theory Appl. Categ. 16, 307\u2013341 (2006)","journal-title":"Theory Appl. Categ."},{"key":"9555_CR2","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/S0304-3975(00)00382-0","volume":"270","author":"JRB Cockett","year":"2002","unstructured":"Cockett, J.R.B., Lack, S.: Restriction categories I: categories of partial maps. Theor. Comput. Sci. 270, 223\u2013259 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"9555_CR3","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0304-3975(01)00245-6","volume":"294","author":"JRB Cockett","year":"2003","unstructured":"Cockett, J.R.B., Lack, S.: Restriction categories II: partial map classification. Theor. Comput. Sci. 294, 61\u2013102 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"9555_CR4","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1017\/S0960129509007543","volume":"19","author":"JRB Cockett","year":"2009","unstructured":"Cockett, J.R.B., Manes, E.: Boolean and classical restriction categories. Math. Struct. Comput. Sci. 19, 357\u2013416 (2009)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9555_CR5","unstructured":"DeWolf, D.: Restriction category perspectives of partial computation and geometry. Ph.D. Thesis, Dalhousie University (2017)"},{"key":"9555_CR6","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1017\/S0022481200029649","volume":"52","author":"R Paola Di","year":"1987","unstructured":"Di Paola, R., Heller, A.: Dominical categories: recursion theory without elements. J. Symb. Log. 52, 594\u2013635 (1987)","journal-title":"J. Symb. Log."},{"key":"9555_CR7","unstructured":"Garner, R., Lin, D.: Cocompletion of restriction categories (under review)"},{"key":"9555_CR8","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/BF01765319","volume":"157","author":"M Grandis","year":"1990","unstructured":"Grandis, M.: Cohesive categories and manifolds. Ann. Mat. Pura Appl. 157, 199\u2013244 (1990)","journal-title":"Ann. Mat. Pura Appl."},{"key":"9555_CR9","unstructured":"Guo, X.: Products, joins, meets and ranges in restriction categories. Ph.D. Thesis, University of Calgary (2012)"},{"key":"9555_CR10","volume-title":"Sketches of an Elephant: A Topos Theory Compendium","author":"P Johnstone","year":"2002","unstructured":"Johnstone, P.: Sketches of an Elephant: A Topos Theory Compendium, vol. 1. Oxford University Press, New York (2002)"},{"key":"9555_CR11","unstructured":"Kelly, G.M.: Basic Concepts of Enriched Category Theory. Cambridge University Press, Cambridge (1972) (Republished in Theory and Applications of Category, No. 10, 2005)"},{"key":"9555_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0927-0","volume-title":"Sheaves in Geometry and Logic","author":"S Mac Lane","year":"1994","unstructured":"Mac Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic. Springer, New York (1994)"},{"key":"9555_CR13","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90034-X","volume":"79","author":"E Robinson","year":"1988","unstructured":"Robinson, E., Rosolini, G.: Categories of partial maps. Inf. Comput. 79, 95\u2013130 (1988)","journal-title":"Inf. Comput."},{"key":"9555_CR14","unstructured":"Rosolini, G.: Continuity and effectiveness in topoi. Ph.D. Thesis, University of Oxford (1986)"},{"key":"9555_CR15","first-page":"1","volume":"4","author":"R Street","year":"2004","unstructured":"Street, R.: Cauchy characterization of enriched categories. Repr. Theory Appl. Categ. 4, 1\u201316 (2004)","journal-title":"Repr. Theory Appl. Categ."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-018-09555-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-018-09555-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-018-09555-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,3]],"date-time":"2020-01-03T19:08:53Z","timestamp":1578078533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-018-09555-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,4]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["9555"],"URL":"https:\/\/doi.org\/10.1007\/s10485-018-09555-5","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2019,1,4]]},"assertion":[{"value":"23 January 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 December 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 January 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}