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.
added to homotopy fixed point a discussion of how the traditional ad-hoc formula that one finds in much of the literature (namely ) follows form first principles.
(This is for completeness, not because it is a big deal.)
added pointer to:
1 to 3 of 3