A pre-cohesive geometric morphism p : E → S satisfies Continuity if the canonical p!(Xp ∗S) → (p!X) S is an iso for every X in E and S in S. We show that if S = Set and E is a presheaf topos then, p satisfies Continuity ...

En este artículo se presenta una construcción del proceso de localización para campos uniformes separados utilizando un teorema de existencia de campos uniformes de J. Varela. A partir de esta construcción y otros resultados ...

In sheaf theory we have at our disposal the so called "germination process" by means of which a sheaf can be obtained, in a natural manner, from data provided by a presheaf. Essentially, "germination" is a stalk producing ...

We strengthen a result of Lawvere by proving that every pre-cohesive geometric morphism p: E --> S has a canonical intensive quality s: E --> L. We also discuss examples among bounded pre-cohesive p: E --> S and, in ...

Let (C, ⊗, 1) be an abelian symmetric monoidal category satisfying certain exactness conditions. In this paper we define a presheaf P n C on the category of commutative algebras in C and we prove that this functor is a ...

We present a category-theoretical analysis, based on the concept of generic figures, of a diagrammatic system for propositional logic (Peirce’s Existential Graphs α). The straightforward construction of a presheaf category ...