×
Shir Ali Nasab, A. R.; Hosseini, S. N.

Pullback in partial morphism categories. (English) Zbl 1397.18006

Appl. Categ. Struct. 25, No. 2, 197-225 (2017).
Summary: In this article we give necessary and sufficient conditions for the existence of a pullback of a two sink, in a partial morphism category.

Cited in 4 Documents

MSC:

18A30 Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)
18B99 Special categories

Keywords:

partial morphism category; relative product; relative partial morphism classifier; pullback
Cite Review PDF
Full Text: DOI

References:

[1] 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 · Zbl 0695.18001
[2] Asperti, A., Longo, G.: Categories Types and Structures. MIT Press, Cambridge, MA (1991) · Zbl 0783.18001
[3] Booth, P.I., Brown, R.: Spaces of partial maps, fibred mapping spaces and the compact-open topology. Gen. Topol. Appl. 8, 181-195 (1978) · Zbl 0373.54012 · doi:10.1016/0016-660X(78)90049-1
[4] 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) · Zbl 1156.68423
[5] Dyckhoff, R., Tholen, W.: Exponentiable morphisms, partial products and pullback complements. J. Pure Appl. Algebra 49, 103-116 (1987) · Zbl 0659.18003 · doi:10.1016/0022-4049(87)90124-1
[6] Herrlich, H.: On the Representability of Partial Morphisms in Top and in Related Constructs. Springer Lect. Notes Math., vol. 1348, pp 143-153 (1988) · Zbl 0662.18004
[7] 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 · Zbl 1192.18001 · doi:10.1007/s10485-007-9123-2
[8] Hosseini, S.N., Shir Ali Nasab, A.R.: Finite Products in Partial Morphism Categories. Theory Appl. Categ. 29(10), 302-314 (2014) · Zbl 1304.18004
[9] Hosseini, S. N., Shir Ali Nasab, A. R.: Equalizers in Partial Morphism Categories, submitted · Zbl 1304.18004
[10] Johnstone, P.T.: Topos Theory. Academic Press, New York (1977) · Zbl 0368.18001
[11] Lowen, E., Lowen, R.: A quasitopos containing CONV and MET as full subcategories. Int. J. Math. Math. Sci. 11(3), 41-438 (1988) · Zbl 0672.54003 · doi:10.1155/S016117128800050X
[12] Mac Lane, S.; Moerdijk, I., Sheaves in geometry and logic. (1992), New York · Zbl 0822.18001
[13] Menezes, P.B.: Diagonal Compositionality of Partial Petri Nets. Electronic Notes in Theoretical Computer Science, p 14 (1998) · Zbl 0659.18003
[14] Mori, M., Kawahara, Y.: Rewriting Fuzzy Graphs, Department of Informatics, Kyushu University 33, Fukuoka 812-81, Japan (1997) · Zbl 0672.54003
[15] Palmgren, E., Vickers, S.J.: Partial Horn Logic and Cartesian Categories, U.U.D.M. Report 36, ISSN 1101-3591 (2005) · Zbl 1109.03022
[16] 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 · Zbl 1328.68104 · doi:10.1016/j.tcs.2015.04.006
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.