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. But allow me to suggest that a 2-line comment should be a Remark (\begin{remark} comment \end{remark}
) and not a section all by itself.
I was going to fix it, merging it with the other “warning” to a list of remarks. But I am unsure where that other warning ends and where maybe some new definitions begins and what it really means.
If you know, please have a look, maybe you can clean this up.
We have available a beautiful list of numbered environments to help with organizing material in a transparent way:
\begin{definition} ... \end{definition}
\begin{remark} ... \end{remark}
\begin{proposition} ... \end{proposition}
\begin{proof} ... \end{proof}
Let’s make ample use of this. It helps not only the reader to read, but also the author to organize their thoughts.
In contrast, sections should by-and-large stick to the pattern
Idea
Definition
Properties
Examples
Related concepts
References
So that’s what the Template page is meant to be for, that is linked to from How to organize and write content.
I have tried to brush up the entry:
Gave the definition a numbered environment and a label, so that it can be pointed to;
removed the section “Warning”, moving its content to dense subcategory
(the section contained an alternative definition of “dense subcategory” – maybe the two entries want to be merged, but I won’t look into that now)
made the “other warning”, on the class of dense functors not being closed under composition a numbered remark,
made the counter-example that proved this claim a numbered example.
Re #4: Thanks for the suggestions, Urs, sorry I saw them only now. I’ll try to follow your stylistic guidelines in the future.
Thanks!
I have made your Ind category a redirect, so that it points as expected; and I have hyperlinked categories of sheaves.
Newbie question related to the last edit: is there an example of a non-pointwise density comonad isomorphic to the identity?
Link to absolutely dense functor.
1 to 16 of 16