Partial morphisms in categories of effective objects (Q1109126)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Partial morphisms in categories of effective objects |
scientific article; zbMATH DE number 4069153
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Partial morphisms in categories of effective objects |
scientific article; zbMATH DE number 4069153 |
Statements
Partial morphisms in categories of effective objects (English)
0 references
1988
0 references
The paper discusses in great length the category GEN of so-called generalized numbered sets and effective morphisms. Depending on a fairly general parameter L, an object in GEN is a set X which comes equipped with a directed set of suitable ``L-computable'' partial functions of X into X whose images cover X. GEN is finally exhibited as the quasitopos of separated presheaves w.r.t. a suitable Grothendieck topology. \(\{\) There are close interrelationships of this paper with \textit{G. Rosolini}'s Ph. D. thesis [Continuity and Effectiveness in Topoi'' (Oxford, 1986)\(\}\).
0 references
partial cartesian closed category
0 references
generalized numbered sets
0 references
effective morphisms
0 references
quasitopos of separated presheaves
0 references
Grothendieck topology
0 references
0 references
0.91272104
0 references
0.9059119
0 references
0.8976937
0 references
0.8955654
0 references
0.8877275
0 references
0 references
0.8865666
0 references
