Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added pointer to:
added pointer to:
So, I have tried to clean up this entry by adding more numbered environments for the various definitions and statements and more cross-links between them.
For the proposition that regular epis with kernel pairs are effective epis I have adjoined the reference to Taylor 1999 by one to Borceux 1994.
Then I made explicit the resulting statement and proof (here) that in a regular category effective epis are preserved by pullback.
(Should copy much of this over to effective epimorphism, too.)
So, I have tried to clean up this entry by adding more numbered environments for the various definitions and statements and more cross-links between them.
For the proposition that regular epis with kernel pairs are effective epis I have adjoined the reference to Taylor 1999 by one to Borceux 1994.
Then I made explicit the resulting statement and proof (here) that in a regular category effective epis are preserved by pullback.
(Should copy much of this over to effective epimorphism, too.)
added pointer to
for the claim that every epimorphism in a topos is regular
1 to 6 of 6