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 your contributions!
Allow me to mention some hints on editing:
To provide a minimum of context for the unsuspecting reader happening upon an entry, best to hyperlink the key terms. In the entry at hand it is absolutely crucial to hyperlink categorical model of dependent type theory right at the beginning. (Imagine a string theorist passes by and wants to understand what the entry is saying. We cannot assume that they know their categorical type theory.)
And then one can go on to hyperlink: type, context, fibration, Π-type, monad, substitution, since knowing all of these is essential for your entry to make sense to the reader. (Maybe most readers who just came back from learning about categorical semantics of dependent type theory can be expected to know all these terms, and not have a need to remind themselves, but for the remaining ones who do need reminder the wiki tries to make it easy to provide them with their hyperlinks.)
For more and broader context best to insert the relevant “floating context menu” at the very top of an entry. Here:
+-- {: .rightHandSide}
+-- {: .toc .clickDown tabindex="0"}
### Context
#### Type theory
+-- {: .hide}
[[!include type theory - contents]]
=--
#### Category theory
+-- {: .hide}
[[!include category theory - contents]]
=--
=--
=--
Finally, let me highlight that top-level sections should start with double hash
## Top section titles
instead of single hash. I know this is counter-intuitive, and I admit that I forget what exactly goes wrong when sticking with the single hash.
And finally, not to forget to add the
\tableofcontents
1 to 3 of 3