Lax Pullback Complements in Partial Morphism Categories
Quaestiones mathematicae(2023)
摘要
The goal of this article is to characterize the lax pullback complement of a given partial morphism along a total morphism, in an -partial morphism category, where is an exponentiable stable system. To achieve this, we first show that if a lax pullback complement of a partial morphism exists in the partial morphism category, then a lax pullback complement of its total part exists in the base category. For the converse, we consider two cases. In the first case the base category is assumed to be adhesive and the morphism along which we take the lax pullback complement is admissible (i.e., its pushout along a monomorphism forms a pullback complement square), while in the second case the base category is -cohesive, however the morphism along which we take the lax pullback complement is an arbitrary total morphism. Finally as a byproduct we provide the connection between exponentials in the partial morphism category and its base category.
更多查看译文
关键词
(Distributivity) pullback,(lax) pullback complement,(couniversal, exponentiable, admissible) morphism,(adhesive, cohesive, extensive, partial morphism, polynomial) category,graph rewriting
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要