Abstract
In this article we give necessary and sufficient conditions for the existence of a pullback of a two sink, in a partial morphism category.
Similar content being viewed by others
References
Adamek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories. Wiley, New York (1990). http://www.tac.mta.ca/tac/reprints/articles/17/tr17.pdf
Asperti, A., Longo, G.: Categories Types and Structures. MIT Press, Cambridge, MA (1991)
Booth, P.I., Brown, R.: Spaces of partial maps, fibred mapping spaces and the compact-open topology. Gen. Topol. Appl. 8, 181–195 (1978)
Corradini, A., Heindel, T., Hermann, F., König, B.: Sesqui-pushout Rewriting. In: Corradini, A., et al. (eds.) ICGT 2006, LNCS 4178, pp 30–45 (2006)
Dyckhoff, R., Tholen, W.: Exponentiable morphisms, partial products and pullback complements. J. Pure Appl. Algebra 49, 103–116 (1987)
Herrlich, H.: On the Representability of Partial Morphisms in Top and in Related Constructs. Springer Lect. Notes Math., vol. 1348, pp 143–153 (1988)
Hosseini, S.N., Mielke, M.V.: Universal monos in partial morphism categories. Appl. Categ. Struct. 17, 435–444, (2009). doi:10.1007/s10485-007-9123-2
Hosseini, S.N., Shir Ali Nasab, A.R.: Finite Products in Partial Morphism Categories. Theory Appl. Categ. 29(10), 302–314 (2014)
Hosseini, S. N., Shir Ali Nasab, A. R.: Equalizers in Partial Morphism Categories, submitted
Johnstone, P.T.: Topos Theory. Academic Press, New York (1977)
Lowen, E., Lowen, R.: A quasitopos containing CONV and MET as full subcategories. Int. J. Math. Math. Sci. 11(3), 41–438 (1988)
Mac Lane, S., Moerdijk, I.: Sheaves in geometry and logic. A First Introduction to Topos Theory. Springer, New York (1992)
Menezes, P.B.: Diagonal Compositionality of Partial Petri Nets. Electronic Notes in Theoretical Computer Science, p 14 (1998)
Mori, M., Kawahara, Y.: Rewriting Fuzzy Graphs, Department of Informatics, Kyushu University 33, Fukuoka 812–81, Japan (1997)
Palmgren, E., Vickers, S.J.: Partial Horn Logic and Cartesian Categories, U.U.D.M. Report 36, ISSN 1101–3591 (2005)
Shir Ali Nasab, A.R., Hosseini, S.N.: Partial pullback complement rewriting. Theor. Comput. Sci. 594, 44–64 (2015). doi:10.1016/j.tcs.2015.04.006
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Shir Ali Nasab, A.R., Hosseini, S.N. Pullback in Partial Morphism Categories. Appl Categor Struct 25, 197–225 (2017). https://doi.org/10.1007/s10485-015-9420-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-015-9420-0