cogenerating set
Recently Published Documents


TOTAL DOCUMENTS

1
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Author(s):  
John Haigh

We show that if {Gi}J ε I is a generating set for an (elementary) topos ℰ then {P(Gi)}iεI is a cogenerating set for x2130;. From this we show that if topos ℰ contains an object G whose subobjects generate ℰ, then ΩG is a cogenerator for ℰ. Let denote the topos of finite sets and functions. We also show that if ℰ1 is a topos and ℰ2 is a bounded -topos then every geometric morphism ℰ1 → ℰ2 is essential.


Sign in / Sign up

Export Citation Format

Share Document