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.
Thanks for adding good stuff!
On formatting:
I have slightly adjusted the typesetting of the (co)limits by placing their indices below the arrow:
$$
A_{\square}[S]
\;=\;
\underset
{\underset{ A'\subseteq A }{ \rightarrow }}
{\lim}
\;
\underset
{\underset{i}{\leftarrow}}
{\lim}
\;
A'\big[S_{i}\big]
$$
By the way, just by enclosing technical terms in double square brackets, they get automatically hyperlinked to their respective entries, which is much of what the point of the wiki is about.
This certainly works for basics like ring ([[ring]]
), subring ([[subring]]
), profinite integers ([[profinite integers]]
) etc.
For something like “condensed $A$-modules” we can typeset as [[condensed module|condensed $A$-modules]]
and then create an entry titled “condensed module”.
By the way, do you mean to write “derived $\infty$-category”, or is this rather just “$\infty$-category”?
The question is whether you mean just the homotopy category. This matters later when the entry speaks about the map of hom-objects being an “isomorphism”. From looking (just) at Mann’s abstract, I suspect this is really meant to be an equivalence of hom-spaces (i.e. of hom-$\infty$-groupoids)?
I see, thanks. So let’s say:
… the (“derived”) $\infty$-category of chain complexes of…
with pointer to “(infinity,1)-category of chain complexes”.
and so I have expanded the “the canonical map … is an isomorphism” to:
the canonical map of mapping objects … is an equivalence
1 to 14 of 14