Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
domain_of_discourse [2015/10/10 13:45] nikolaj |
domain_of_discourse [2015/10/10 13:46] nikolaj |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| I also use the following types to classify the bulk of other entries in the wiki and these are the entries with formal content. | I also use the following types to classify the bulk of other entries in the wiki and these are the entries with formal content. | ||
| - | * ${\mathfrak D}_\mathrm{Propositions}$ ... [[Propositions]] | ||
| * ${\mathfrak D}_\mathrm{Sets}$ ... [[Sets]] | * ${\mathfrak D}_\mathrm{Sets}$ ... [[Sets]] | ||
| * ${\mathfrak D}_{\to}$ ... [[Functions]] | * ${\mathfrak D}_{\to}$ ... [[Functions]] | ||
