Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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.
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.
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.
1 to 3 of 3