# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• added a line on $Pin_\pm(n)$, and added pointer to the example of Pin(2)

• created an entry modal type theory; tried to collect pointers I could find to articles which discuss the interpretation of modalities in terms of (co)monads. I was expecting to find much less, but there are a whole lot of articles discussing this. Also cross-linked with monad (in computer science).

• Adding reference to A Syntax for Higher Inductive-Inductive Types Ambrus Kaposi and András Kovács

Bas Spitters

• added some actual text to the category:people entry Roger Penrose

• $T,F$ are additive subcategories, thus contain $0$

Anonymous

• brief category:people-entry for hyperlinking references at geometric algebra

• added to orientifold some basic notions on orientifold circle $n$-bundles.

• time to give this a table-for-inclusion, for cross-linking relevant entries

• slightly expanded the section Duality with M-theory, mentioning more of the MO-planes and giving more pointers

• to be !includeed as a floating table of contents into relevant entries

• this used to lazily redirect to Hořava-Witten theory

am splitting it off now to, eventually, do it more justice. But just a stub for the time being

• Page created, but author did not leave any comments.

• I added a synthetic definition to projective line, which I learned from here. However, I’m still trying to understand the terminology used; and, as I remarked, with my current understanding the definition doesn’t seem right.

• Have added to HowTo a description for how to label equations

In the course of this I restructured the section “How to make links to subsections of a page” by giving it a few descriptively-titled subsections.

• I added a sentence about the internal $(\infty, 1)$-topos structure.