Pullback in partial morphism categories

DOI10.1007/s10485-015-9420-0zbMath1397.18006OpenAlexW2227599417MaRDI QIDQ2397325

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

Publication date: 22 May 2017

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-015-9420-0

zbMATH Keywords

pullbackrelative productpartial morphism categoryrelative partial morphism classifier

Mathematics Subject Classification ID

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

Related Items

Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs ⋮ Unnamed Item ⋮ Partial pullback complement rewriting

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partial Horn logic and Cartesian categories
• Universal monos in partial morphism categories
• Exponentiable morphisms, partial products and pullback complements
• A quasitopos containing CONV and MET as full subcategories
• Sheaves in geometry and logic: a first introduction to topos theory
• Partial pullback complement rewriting
• Sesqui-Pushout Rewriting
• Spaces of partial maps, fibred mapping spaces and the compact-open topology