Redirected from "horizontal weight systems are cohomology of loop space of configuration space".
Structured -topos where
(1) is an -topos
(2) is a geometry, i.e. is an essentially small -category with finite limits, which is idempotent complete, is an admissible structure in .
(3) is a -structure (aka “structure sheaf”) on , i.e. a functor which is
(3a) left exact
(3b) induces a jointly epimorphic family in the image of (i.e. every covering sieve consisting of admissible morphisms on an object of induces an effective epimorphism out of the product of the images…)
Revision on December 15, 2012 at 03:00:36 by
Stephan Alexander Spahn?.
See the history of this page for a list of all contributions to it.