ترغب بنشر مسار تعليمي؟ اضغط هنا

Fraction, Restriction and Range Categories from Non-Monic Classes of Morphisms

426   0   0.0 ( 0 )
 نشر من قبل Walter Tholen Dr
 تاريخ النشر 2019
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

For a composition-closed and pullback-stable class S of morphisms in a category C containing all isomorphisms, we form the category Span(C,S) of S-spans (s,f) in C with first leg s lying in S, and give an alternative construction of its quotient category C[S^{-1}] of S-fractions. Instead of trying to turn S-morphisms directly into isomorphisms, we turn them separately into retractions and into sections in a universal manner, thus obtaining the quotient categories Retr( C,S) and Sect(C,S). The fraction category C[S^{-1}] is their largest joint quotient category. Without confining S to be a class of monomorphisms of C, we show that Sect(C,S) admits a quotient category, Par(C,S), whose name is justified by two facts. On one hand, for S a class of monomorphisms in C, it returns the category of S-spans in C, also called S-partial maps in this case; on the other hand, we prove that Par(C,S) is a split restriction category (in the sense of Cockett and Lack). A further quotient construction produces even a range category (in the sense of Cockett, Guo and Hofstra), RaPar(C,S), which is still large enough to admit C[S^{-1}] as its quotient. Both, Par and RaPar, are the left adjoints of global 2-adjunctions. When restricting these to their fixed objects, one obtains precisely the 2-equivalences by which their name givers characterized restriction and range categories. Hence, both Par(C,S)$ and RaPar(C,S may be naturally presented as Par(D,T)$ and RaPa(D,T), respectively, where now T is a class of monomorphisms in D. In summary, while there is no {em a priori} need for the exclusive consideration of classes of monomorphisms, one may resort to them naturally

قيم البحث

اقرأ أيضاً

Restriction categories were introduced to provide an axiomatic setting for the study of partially defined mappings; they are categories equipped with an operation called restriction which assigns to every morphism an endomorphism of its domain, to be thought of as the partial identity that is defined to just the same degree as the original map. In this paper, we show that restriction categories can be identified with emph{enriched categories} in the sense of Kelly for a suitable enrichment base. By varying that base appropriately, we are also able to capture the notions of join and range restriction category in terms of enriched category theory.
We combine two recent ideas: cartesian differential categories, and restriction categories. The result is a new structure which axiomatizes the category of smooth maps defined on open subsets of $R^n$ in a way that is completely algebraic. We also gi ve other models for the resulting structure, discuss what it means for a partial map to be additive or linear, and show that differential restriction structure can be lifted through various completion operations.
Restriction categories were established to handle maps that are partially defined with respect to composition. Tensor topology realises that monoidal categories have an intrinsic notion of space, and deals with objects and maps that are partially def ined with respect to this spatial structure. We introduce a construction that turns a firm monoidal category into a restriction category and axiomatise the monoidal restriction categories that arise this way, called tensor-restriction categories.
126 - Yasuhide Numata 2016
In this paper, we consider categories with colored morphisms and functors such that morphisms assigned to morphisms with a common color have a common color. In this paper, we construct a morphism-colored functor such that any morphism-colored functor from a given small morphism-colored groupoid to any discrete morphism-colored category factors through it. We also apply the main result to a schemoid constructed from a Hamming scheme.
92 - Liang Kong , Ingo Runkel 2008
We consider algebras in a modular tensor category C. If the trace pairing of an algebra A in C is non-degenerate we associate to A a commutative algebra Z(A), called the full centre, in a doubled version of the category C. We prove that two simple al gebras with non-degenerate trace pairing are Morita-equivalent if and only if their full centres are isomorphic as algebras. This result has an interesting interpretation in two-dimensional rational conformal field theory; it implies that there cannot be several incompatible sets of boundary conditions for a given bulk theory.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا