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

A note on the category of equivalence relations

131   0   0.0 ( 0 )
 نشر من قبل Luca San Mauro
 تاريخ النشر 2021
  مجال البحث
والبحث باللغة English




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

We make some beginning observations about the category $mathbb{E}mathrm{q}$ of equivalence relations on the set of natural numbers, where a morphism between two equivalence relations $R,S$ is a mapping from the set of $R$-equivalence classes to that of $S$-equivalence classes, which is induced by a computable function. We also consider some full subcategories of $mathbb{E}mathrm{q}$, such as the category $mathbb{E}mathrm{q}(Sigma^0_1)$ of computably enumerable equivalence relations (called ceers), the category $mathbb{E}mathrm{q}(Pi^0_1)$ of co-computably enumerable equivalence relations, and the category $mathbb{E}mathrm{q}(mathrm{Dark}^*)$ whose objects are the so-called dark ceers plus the ceers with finitely many equivalence classes. Although in all these categories the monomorphisms coincide with the injective morphisms, we show that in $mathbb{E}mathrm{q}(Sigma^0_1)$ the epimorphisms coincide with the onto morphisms, but in $mathbb{E}mathrm{q}(Pi^0_1)$ there are epimorphisms that are not onto. Moreover, $mathbb{E}mathrm{q}$, $mathbb{E}mathrm{q}(Sigma^0_1)$, and $mathbb{E}mathrm{q}(mathrm{Dark}^*)$ are closed under finite products, binary coproducts, and coequalizers, but we give an example of two morphisms in $mathbb{E}mathrm{q}(Pi^0_1)$ whose coequalizer in $mathbb{E}mathrm{q}$ is not an object of $mathbb{E}mathrm{q}(Pi^0_1)$.



قيم البحث

اقرأ أيضاً

We show that doubly degenerate Penon tricategories give symmetric rather than braided monoidal categories. We prove that Penon tricategories cannot give all tricategories, but we show that a slightly modified version of the definition rectifies the s ituation. We give the modified definition, using non-reflexive rather than reflexive globular sets, and show that the problem with doubly degenerate tricategories does not arise.
For a category $mathbb{C}$, a small category $mathbb{I}$, and a pre-cover relation $sqsubset$ on $mathbb C$ we prove, under certain completeness assumptions on $mathbb C$, that a morphism $g: Bto C$ in the functor category $mathbb {C}^{mathbb I}$ adm its an image with respect to the pre-cover relation on $mathbb C^{mathbb I}$ induced by $sqsubset$ as soon as each component of $g$ admits an image with respect to $sqsubset$. We then apply this to show that if a pointed category $mathbb{C}$ is: (i) algebraically cartesian closed; (ii) exact protomodular and action accessible; or (iii) admits normalizers, then the same is true of each functor category $mathbb{C}^{mathbb I}$ with $mathbb{I}$ finite. In addition, our results give explicit constructions of images in functor categories using limits and images in the underlying category. In particular, they can be used to give explicit constructions of both centralizers and normalizers in functor categories using limits and centralizers or normalizers (respectively) in the underlying category.
74 - Lingyuan Ye 2021
In this paper, we use a categorical and functorial set up to model the syntax and inference of logics of algebraic signature, extending previous works on algebraisation of logics. The main feature of this work is that structurality, or invariance und er substitution of variables, are modelled by functoriality in this paper, resulting in a much clearer framework for algebraisation. It also provides a very nice conceptual understanding of various existing results already established in the literatures, and derives several new results as well.
73 - Tomas Crhak 2018
In The factorization of the Giry monad (arXiv:1707.00488v2) the author asserts that the category of convex spaces is equivalent to the category of Eilenberg-Moore algebras over the Giry monad. Some of the statements employed in the proof of this clai m have been refuted in our earlier paper (arXiv:1803.07956). Building on the results of that paper we prove that no such equivalence exists and a parallel statement is proved for the category of super convex spaces.
91 - Matthew Burke 2017
We generalise the construction of the Lie algebroid of a Lie groupoid so that it can be carried out in any tangent category. First we reconstruct the bijection between left invariant vector fields and source constant tangent vectors based at an ident ity element for a groupoid in a category equipped with an endofunctor that has a retraction onto the identity functor. Second we use the full structure of a tangent category to construct the algebroid of a groupoid. Finally we show how the classical result concerning the splitting of the tangent bundle of a Lie group can be carried out for any pregroupoid.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

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