# 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.

• I have cross-linked the two entries homotopical algebra and higher algebra.

At homotopical algebra I moved the text that had existed there into a subsection “History”, because that’s what it is about, right? I added a section “Idea” but so far only included a link to higher algebra there. We could maybe merge the two entries.

• I have been adding to AdS/CFT in the section AdS7 / CFT6 a (of course incomplete) list of available evidence for what is going on.

This is triggered by the fact that we have a proposal for a precise formalization of the effective 7d theory.

• one possible bit of information at flux

• I have added an explanatory paragraph to n-poset in reply to this MO question.

Also, at poset itself I have added a word (“hence”) to indicate that if something is a category with at most one morphism between any ordered pair of objects, then it is already implied that if there are two morphisms back and forth between two objects, then these are equal.

• at n-connected/n-truncated factorization system I have created an Examples-section with a brief indication of what this factorization “means” for low values of $n$ (from $n= -2$ to $n = 0$).

• I plan to redo measurable space, and the outline of the plan is now at the bottom.

For the nonce, I’ve moved some material to a new article sigma-algebra, and some of that thence to the previous stub Borel subset.

• I wrote about the boolean algebra of idempotents in a commutative ring. There’s also stuff in there about projection operators (that page doesn’t exist).