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 have split off the section on points-to-pieces transform from cohesive topos and expanded slightly, pointing also to comparison map between algebraic and topological K-theory
I have added to the Examples a section Bundle equivalence and concordance with a quick note on how the points-to-pieces-transform applied to an internal hom of the form gives the canonical map from -principal bundles with equivalences between them to -principal bundles with concordances between them.
I noticed that at points-to-pieces transform there had been no mentioning of its incarnation in global equivariant homotopy theory; so I went and briefly added a pointer: here
I had some trouble remembering, or making Google remember, where we recorded that “pieces have points” is equivalent to “discrete objects are concrete”.
I have now made a brief remark on that here, where this is more likely to be found (hopefully). I’ll want to turn this into a more comprehensive and polished discussion, but no time right now.
1 to 5 of 5