This paper uncovers the fundamental relationship between total and partial computation in the form of an equivalence of certain categories. This equivalence involves on the one hand effectuses, which are categories for total computation, introduced by Jacobs for the study of quantum/effect logic. On the other hand, it involves what we call FinPACs with effects; they are finitely partially addit...

In this paper, some categorical properties of the category ${bf Cpo}_{{bf Act}text{-}S}$ of all {cpo $S$-acts}, cpo's equipped with actions of a monoid $S$ on them, and strict continuous action-preserving maps between them is considered. In particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. Also, we show that the forgetful functor from...

We show that the quotient of a Hom-finite triangulated category C by the kernel of the functor HomC(T, −), where T is a rigid object, is preabelian. We further show that the class of regular morphisms in the quotient admit a calculus of left and right fractions. It follows that the Gabriel-Zisman localisation of the quotient at the class of regular morphisms is abelian. We show that it is equiv...

in this paper we construct the category of coverings of fundamental generalized lie group-groupoid associatedwith a connected generalized lie group. we show that this category is equivalent to the category of coverings of aconnected generalized lie group. in addition, we prove the category of coverings of generalized lie groupgroupoidand the category of actions of this generalized lie group-gro...

The total surgery obstruction s(X) of a finite n-dimensional Poincaré complex X is an element of a certain abelian group Sn(X) with the property that s(X) = 0 if and only if X is homotopy equivalent to a closed ndimensional topological manifold for n ≥ 5. These are the notes of the second of three talks which want to give a brief overview of the techniques used from algebraic surgery theory to ...

Temporariness has become an increasingly salient feature in international migration that presents itself as fragmented, non-linear, including different intermediate stops and multiple returns new departures. This special issue proposes a analytical framework brings together the role of policies defining migrants temporary migrant’s own agency perceiving their project or permanent. The proposed ...

BACKGROUND In medical practice many, essentially continuous, clinical parameters tend to be categorised by physicians for ease of decision-making. Indeed, categorisation is a common practice both in medical research and in the development of clinical prediction rules, particularly where the ensuing models are to be applied in daily clinical practice to support clinicians in the decision-making ...