The Azimuth Project
Topos

References

The first part of this book gives a review of some topos theory as well as some enriched category theory: