nLab
subtopos

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

For E a topos, a subtopos is another topos F equipped with a geometric embedding F↪E.

Created on March 22, 2010 15:16:34 by Urs Schreiber (131.211.36.96)
Edit | Views: Print | TeX | Source | Linked from: coverage, geometric embedding