Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps. First, we recall definitions of finiteness spaces and describe their basic properties deduced from the general theory of linearly topologised spaces. Then we give...

Adámek, Herrlich, and Reiterman showed that a cocomplete category A is cocomplete if there exists a small (full) subcategory B such that every A-object is a colimit of B-objects. The authors of the present paper strengthened the result to totality in the sense of Street and Walters. Here we weaken the hypothesis, assuming only that the colimit closure is attained by transfinite iteration of the...

This article presents a reflection about care, self-care and caring for oneself and establishes these issues' relations with the paradigms of totality and simultaneity. On the first part of the text, care and its general aspects are contextualized; the second part discusses about care in Martin Heidegger's philosophical perspective; the third part explores self-care on Dorothea Orem's conceptio...

We definea novel inference system for strictness and totality analysis for the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those terms that definitely denote bottom (i.e. do not evaluate to WHNF) whereas totality information identifies those terms that definitely do not denote bottom (i.e. do evaluate to WHNF). The analysis is presented as an...

Stewardship is not a new concept for public policy, but has not been used to its optimum by the health policy-makers. Although it is being practiced in most successful models of health system, but the onus to this function is still due till date. Lately, few experts in World Health Organization (WHO) have realized its importance and have been raising the issue at different platforms to pursue t...

ions, if you like) of a specific set of social relations we can then comprehend how these social relations are reflected and refracted within the concept ‘population’. Only now the concept ‘population’ can be understood as inhering within a specific determining totality. Thus the concept ‘population’ is not the beginning of the analysis but its result. That is to say, the diverse determination(...