{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:02:27Z","timestamp":1762459347366},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,12,11]],"date-time":"2015-12-11T00:00:00Z","timestamp":1449792000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1007\/s10485-015-9420-0","type":"journal-article","created":{"date-parts":[[2015,12,11]],"date-time":"2015-12-11T05:19:58Z","timestamp":1449811198000},"page":"197-225","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Pullback in Partial Morphism Categories"],"prefix":"10.1007","volume":"25","author":[{"given":"A. R.","family":"Shir Ali Nasab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. N.","family":"Hosseini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,11]]},"reference":[{"key":"9420_CR1","volume-title":"Abstract and concrete categories","author":"J Adamek","year":"1990","unstructured":"Adamek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories. Wiley, New York (1990). \n                        http:\/\/www.tac.mta.ca\/tac\/reprints\/articles\/17\/tr17.pdf"},{"key":"9420_CR2","volume-title":"Categories Types and Structures","author":"A Asperti","year":"1991","unstructured":"Asperti, A., Longo, G.: Categories Types and Structures. MIT Press, Cambridge, MA (1991)"},{"key":"9420_CR3","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0016-660X(78)90049-1","volume":"8","author":"PI Booth","year":"1978","unstructured":"Booth, P.I., Brown, R.: Spaces of partial maps, fibred mapping spaces and the compact-open topology. Gen. Topol. Appl. 8, 181\u2013195 (1978)","journal-title":"Gen. Topol. Appl."},{"key":"9420_CR4","doi-asserted-by":"publisher","unstructured":"Corradini, A., Heindel, T., Hermann, F., K\u00f6nig, B.: Sesqui-pushout Rewriting. In: Corradini, A., et al. (eds.) ICGT 2006, LNCS 4178, pp 30\u201345 (2006)","DOI":"10.1007\/11841883_4"},{"key":"9420_CR5","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0022-4049(87)90124-1","volume":"49","author":"R Dyckhoff","year":"1987","unstructured":"Dyckhoff, R., Tholen, W.: Exponentiable morphisms, partial products and pullback complements. J. Pure Appl. Algebra 49, 103\u2013116 (1987)","journal-title":"J. Pure Appl. Algebra"},{"key":"9420_CR6","doi-asserted-by":"publisher","unstructured":"Herrlich, H.: On the Representability of Partial Morphisms in Top and in Related Constructs. Springer Lect. Notes Math., vol. 1348, pp 143\u2013153 (1988)","DOI":"10.1007\/BFb0081356"},{"key":"9420_CR7","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/s10485-007-9123-2","volume":"17","author":"SN Hosseini","year":"2009","unstructured":"Hosseini, S.N., Mielke, M.V.: Universal monos in partial morphism categories. Appl. Categ. Struct. 17, 435\u2013444, (2009). doi:\n                        10.1007\/s10485-007-9123-2","journal-title":"Appl. Categ. Struct."},{"issue":"10","key":"9420_CR8","first-page":"302","volume":"29","author":"SN Hosseini","year":"2014","unstructured":"Hosseini, S.N., Shir Ali Nasab, A.R.: Finite Products in Partial Morphism Categories. Theory Appl. Categ. 29(10), 302\u2013314 (2014)","journal-title":"Theory Appl. Categ."},{"key":"9420_CR9","unstructured":"Hosseini, S. N., Shir Ali Nasab, A. R.: Equalizers in Partial Morphism Categories, submitted"},{"key":"9420_CR10","volume-title":"Topos Theory","author":"PT Johnstone","year":"1977","unstructured":"Johnstone, P.T.: Topos Theory. Academic Press, New York (1977)"},{"issue":"3","key":"9420_CR11","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1155\/S016117128800050X","volume":"11","author":"E Lowen","year":"1988","unstructured":"Lowen, E., Lowen, R.: A quasitopos containing CONV and MET as full subcategories. Int. J. Math. Math. Sci. 11(3), 41\u2013438 (1988)","journal-title":"Int. J. Math. Math. Sci."},{"key":"9420_CR12","volume-title":"A First Introduction to Topos Theory","author":"S Mac Lane","year":"1992","unstructured":"Mac Lane, S., Moerdijk, I.: Sheaves in geometry and logic. A First Introduction to Topos Theory. Springer, New York (1992)"},{"key":"9420_CR13","doi-asserted-by":"publisher","unstructured":"Menezes, P.B.: Diagonal Compositionality of Partial Petri Nets. Electronic Notes in Theoretical Computer Science, p 14 (1998)","DOI":"10.1016\/S1571-0661(05)80240-3"},{"key":"9420_CR14","unstructured":"Mori, M., Kawahara, Y.: Rewriting Fuzzy Graphs, Department of Informatics, Kyushu University 33, Fukuoka 812\u201381, Japan (1997)"},{"key":"9420_CR15","unstructured":"Palmgren, E., Vickers, S.J.: Partial Horn Logic and Cartesian Categories, U.U.D.M. Report 36, ISSN 1101\u20133591 (2005)"},{"key":"9420_CR16","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/j.tcs.2015.04.006","volume":"594","author":"AR Shir Ali Nasab","year":"2015","unstructured":"Shir Ali Nasab, A.R., Hosseini, S.N.: Partial pullback complement rewriting. Theor. Comput. Sci. 594, 44\u201364 (2015). doi:\n                        10.1016\/j.tcs.2015.04.006","journal-title":"Theor. Comput. Sci."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-015-9420-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-015-9420-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-015-9420-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-015-9420-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T18:26:02Z","timestamp":1559154362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-015-9420-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,11]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["9420"],"URL":"https:\/\/doi.org\/10.1007\/s10485-015-9420-0","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,11]]}}}