In the section Geometry I fixed two problems, that were pointed out by Stephan Spahn in another thread: where it said “2-out-of-3” it should read “2/3 of 2-out-of-3” or better, probably: “right cancellability”. And the statement of closure under retracts was missing.
The whole entry would deserve some polishing. Maybe later.
]]>I once again rewrote the Idea-section of geometry (for structured (infinity,1)-toposes), trying to highlight the general concept better, starting from the statement that a geometry is category equipped compatibly with two dual structures/properties: that of a site and that of an essentially algebraic theory.
]]>I rewrote the Idea-section of geometry (for structured (infinity,1)-toposes), tring to make it more to the point and much shorter. Also highlighted the relation to oo-algebraic theories.
]]>