Essential subtopoi of presheaf topoi
Last Post by MatteoCapucci 2 years ago
Topic starter 24/11/2020 11:56 pm
Topic starter 07/01/2021 10:26 am
@ocaramello Uh, I see! Indeed, you/your slides never refer to objects. I mistakenly went for a subcategory, which includes identities, hence objects, but now I understand that's not strictly necessary!