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.
Spent all day with being distracted from this single thing that I planned to finish this morning: now at least a rough sketch is done
at infinitesimal interval object in the last section with the long section name I mean to define the "infinitesimal singular simplicial complex" in a new way.
Anders Kock defines this guy for "formal manifols", roughly, for spaces that have an atlas by vector spaces. There the simple definition applies recalled at infinitesimal singular simplicial complex.
But there should be a definition for arbitrary microlinear spaces, And it should be such that it is almost manfestly the inifnitesimal version of the path oo-groupoid construction described at interval object. This is what I am aiming to describe here.
One crucial thing is that we want that morphisms out of the objects in degree k of the infinitesimal singular simplicial complex that vanish on degenerate k-simplices are automatically fiberwise skew-linear. Seeing this in the construction that I am presenting there seems to be different to the way Anders Kock describes it in the other setup. This is the main thing I need to check again when i am more awake.
1 to 1 of 1