1
$\begingroup$

In

http://www.staff.science.uu.nl/~ooste110/syllabi/toposmoeder.pdf

on p55 the following three facts are stated without proof:

Every topos is a regular category;

Every topos has finite colimits, and the initial object is strict;

In every topos, every operation $$\phi^{\sharp}:\mathrm{Sub}(X)\rightarrow \mathrm{Sub}(Y)$$ along $\phi:X\rightarrow Y$ has a right adjoint.

Could someone possibly help me with the proof of these three statements, particularly the first?

$\endgroup$

1 Answer 1

2
$\begingroup$

A good general reference for such facts is Peter Johnstone's book "Topos Theory" but I think these results were also proved in Peter Freyd's 1972 article "Aspects of Topoi".

$\endgroup$
1
  • 3
    $\begingroup$ A more recent reference (1992) that can also help is "Sheaves in geometry and logic" by MacLane and Moerdijk. They prove these facts both in case of Grothendieck topoi and also in the general setting using the axioms of topoi. $\endgroup$
    – godelian
    Feb 18, 2011 at 21:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.