اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدWeak fiber products in a bicategory of fractions
31
0
0.0
(
0
)
تأليف
Matteo Tommasini
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
We fix any pair $(mathbf{mathscr{C}},mathbf{W})$ consisting of a bicategory and a class of morphisms in it, admitting a bicalculus of fractions, i.e. a localization of $mathbf{mathscr{C}}$ with respect to the class $mathbf{W}$. In the resulting bicategory of fractions, we identify necessary and sufficient conditions for the existence of weak fiber products.
قيم البحث
اقرأ أيضاً
A new categorical framework is provided for dealing with multiple arguments in a programming language with effects, for example in a language with imperative features. Like related frameworks (Monads, Arrows, Freyd categories), we distinguish two kin
ds of functions. In addition, we also distinguish two kinds of equations. Then, we are able to define a kind of product, that generalizes the usual categorical product. This yields a powerful tool for deriving many results about languages with effects.
We fix any bicategory $mathscr{A}$ together with a class of morphisms $mathbf{W}_{mathscr{A}}$, such that there is a bicategory of fractions $mathscr{A}[mathbf{W}_{mathscr{A}}^{-1}]$. Given another such pair $(mathscr{B},mathbf{W}_{mathscr{B}})$ and
any pseudofunctor $mathcal{F}:mathscr{A}rightarrowmathscr{B}$, we find necessary and sufficient conditions in order to have an induced equivalence of bicategories from $mathscr{A}[mathbf{W}_{mathscr{A}}^{-1}]$ to $mathscr{B}[mathbf{W}_{mathscr{B}}^{-1}]$. In particular, this gives necessary and sufficient conditions in order to have an equivalence from any bicategory of fractions $mathscr{A}[mathbf{W}_{mathscr{A}}^{-1}]$ to any given bicategory $mathscr{B}$.
We fix any bicategory $mathscr{A}$ together with a class of morphisms $mathbf{W}_{mathscr{A}}$, such that there is a bicategory of fractions $mathscr{A}[mathbf{W}_{mathscr{A}}^{-1}]$. Given another such pair $(mathscr{B},mathbf{W}_{mathscr{B}})$ and
any pseudofunctor $mathcal{F}:mathscr{A}rightarrowmathscr{B}$, we find necessary and sufficient conditions in order to have an induced pseudofunctor $mathcal{G}:mathscr{A}[mathbf{W}_{mathscr{A}}^{-1}]rightarrow mathscr{B}[mathbf{W}_{mathscr{B}}^{-1}]$. Moreover, we give a simple description of $mathcal{G}$ in the case when the class $mathbf{W}_{mathscr{B}}$ is right saturated.
We define a bicategory in which the 0-cells are the entwinings over variable rings. The 1-cells are triples of a bimodule and two maps of bimodules which satisfy an additional hexagon, two pentagons and two (co)unit triangles; and the 2-cells are the
maps of bimodules satisfying two simple compatibilities. The operation of getting the composed coring from a given entwining, is promoted here to a canonical morphism of bicategories from a bicategory of entwinings to the Streets bicategory of corings.
We give an abstract categorical treatment of Plonka sums and products using lax and oplax morphisms of monads. Plonka sums were originally defined as operations on algebras of regular theories. Their arities are sup-semilattices. It turns out that ev
en more general operations are available on the categories of algebras of semi-analytic monads. Their arities are the categories of the regular polynomials over any sup-semilattice, i.e. any algebra for the terminal semi-analytic monad. We also show that similar operations can be defined on any category of algebras of any analytic monad. This time we can allow the arities to be the categories of linear polynomials over any commutative monoid, i.e. any algebra for the terminal analytic monad. There are also dual operations of Plonka products. They can be defined on Kleisli categories of commutative monads.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
