On Inverse Categories with Split Idempotents
نویسندگان
چکیده
We present some special properties of inverse categories with split idempotents. First, we examine a Clifford-Leech type theorem relative to such inverse categories. The connection with right cancellative categories with pushouts is illustrated by simple examples. Finally, some basic properties of inverse categories with split idempotents and kernels are studied in terms of split idempotents which generate (right or left) principal ideals of annihilators.
منابع مشابه
O ct 2 00 6 Restriction categories III : colimits , partial limits , and extensivity
A restriction category is an abstract formulation for a category of partial maps, defined in terms of certain specified idempotents called the restriction idempotents. All categories of partial maps are restriction categories; conversely, a restriction category is a category of partial maps if and only if the restriction idempotents split. Restriction categories facilitate reasoning about parti...
متن کاملSemigroups with inverse skeletons and Zappa-Sz$acute{rm e}$p products
The aim of this paper is to study semigroups possessing $E$-regular elements, where an element $a$ of a semigroup $S$ is {em $E$-regular} if $a$ has an inverse $a^circ$ such that $aa^circ,a^circ a$ lie in $ Esubseteq E(S)$. Where $S$ possesses `enough' (in a precisely defined way) $E$-regular elements, analogues of Green's lemmas and even of Green's theorem hold, where Green's relations ${mathc...
متن کاملRestriction categories III: colimits, partial limits and extensivity
A restriction category is an abstract formulation for a category of partial maps, defined in terms of certain specified idempotents called the restriction idempotents. All categories of partial maps are restriction categories; conversely, a restriction category is a category of partial maps if and only if the restriction idempotents split. Restriction categories facilitate reasoning about parti...
متن کاملIdempotents in intensional type theory
We study idempotents in intensional Martin-Löf type theory, and in particular the question of when and whether they split. We show that in the presence of propositional truncation and Voevodsky’s univalence axiom, there exist idempotents that do not split; thus in plain MLTT not all idempotents can be proven to split. On the other hand, assuming only function extensionality, an idempotent can b...
متن کاملUniversity of Calgary What Is a Differential Partial Combinatory Algebra? University of Calgary Faculty of Graduate Studies
In this thesis we combine Turing categories with Cartesian left additive restriction categories and again with differential restriction categories. The result of the first combination is a new structure which models nondeterministic computation. The result of the second combination is a structure which models the notion of linear resource consumption. We also study the structural background req...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015