Jonathan Chapman, Frederick Rowbottom
Abstract
Introduction Local set theories Partial function theory `L' Equationals Categories in a topos Topoi in a topos A representation theorem for geometric morphisms Local set theories in S The theory of a topos in S Topologies and sheaves The relative Giraud theorem Appendices.
OpenAlex reports 2 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Introduction Local set theories Partial function theory `L' Equationals Categories in a topos Topoi in a topos A representation theorem for geometric morphisms Local set theories in S The theory of a topos in S Topologies and sheaves The relative Giraud theorem Appendices.
Key concepts: Topos theory, Morphism, Mathematics, Category theory, Representation (politics), Category of sets, Representation theorem, Set (abstract data type)