Jonathan Chapman, Frederick Rowbottom
Abstract
Abstract The logical approach to topos theory, working with a language for a topos, has been hampered by difficulties in tackling proofs involving a geometric morphism (the most important notion of morphism between topoi). This is unfortunate, since a topos gives a radical notion of ‘set’ (or at least, of higher-order logic) and this approach deals with it as such.
A significance statement is not available in the OpenAlex record.
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.
Abstract The logical approach to topos theory, working with a language for a topos, has been hampered by difficulties in tackling proofs involving a geometric morphism (the most important notion of morphism between topoi). This is unfortunate, since a topos gives a radical notion of ‘set’ (or at least, of higher-order logic) and this approach deals with it as such.
Key concepts: Topos theory, Morphism, Mathematical proof, Mathematics, Set (abstract data type), Category of sets, Pure mathematics, Computer science