The essentials of a Set Theory are to allow us to gather multiple contexts without contradictions and software is no exception. In fact software has billions of users which far out numbers the constructions used in math. The Topos is a collection of diagram constructions invented to gather the mathematics of sets in a flexible format that can explore multiple forms of Set Theory. Over the past few videos we have been putting together the ingredients necessary for this special structure. Come along for a computational tour of the elementary topos.
