Topos Theory (Part 6)

I’m explaining why any presheaf category is an elementary topos, meaning that • it has finite colimits; • it has finite limits; • it’s cartesian closed. • it has a subboject classifier. Last time I tackled the first two bullet points; now let’s do the third. For starters, what’s a cartesian closed category, and why […]