# 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 some lines on the relation to D-brane charge (spun off from additions I just made to twisted differential cohomoloy), and added more references

• Created page with definitions and some examples.

• Created page about Novikov fields, another kind of generalized power series field. I’m looking for a good notation for these along the lines of $k[[x]]$ for power series rings, $k((x))$ for Laurent series fields, $k((x^G))$ for Hahn series fields; the only notation in the literature seems to be $\Lambda(k)$, which doesn’t suggest its meaning to me and clashes with exterior algebras.

• There’s a first stab at it.

• Created page, with examples and links

• Brane Quantization

Ammar Husain

• Formatting fix

• The cut rule for linear logic used to be stated as

If $\Gamma \vdash A$ and $A \vdash \Delta$, then $\Gamma \vdash \Delta$.

I don’t think this is general enough, so I corrected it to

If $\Gamma \vdash A, \Phi$ and $\Psi,A \vdash \Delta$, then $\Psi,\Gamma \vdash \Delta,\Phi$.

• a minimum, just so that the link works

• This is my first (substantial) contribution to the nLab, so forgive my likely ineptitude. This wants to be a initial stub, everything is basically scraped from the reference and this post: https://golem.ph.utexas.edu/category/2019/07/structured_cospans.html Clearly a lot of material can be added, included a better definition and clearer examples. It’s also quite necessary to make a page for decorated cospans. I might start it myself later this month.

mattecapu

• TODO: section 4 of the paper, and examples.

mattecapu

• Someone anonymous (probably from Gottingen) had changed simplicial homotopy. The old version seems to have had a different convention on the ordeing of the parts which was not ’wrong’ but was slightly different from some sources. I have added a note to the entry pointing out the existence of different conventions, and have cleaned up the use of $\Delta^n$ instead of the more usual $\Delta[n]$ in that entry.

I checked back in the linked entry simplex, there, and found that the entry was a bit confusing as to the simplicial set $\Delta[n]$. I have altered the structure and wording slightly to clarify things (I hope).

• Matthew Headrick, Lectures on entanglement entropy in field theory and holography (arXiv:1907.08126)
• Grothendieck Construction

Ammar Husain

• Fixed link to Leonardo Rastelli, Lectures on open/closed string duality

Anonymous

• added to coalgebra for an endofunctor the example of the real line as the terminal coalgebra for some endofunctor on Posets.

There are more such characterizations of the real line, and similar. I can't dig them out right now as I am on a shky connection. But maybe somebody else can. Or I'll do it later.

• Create page to complete a link.

• created the page for Mealy morphisms and just put in one reference

Tim Hosgood

• Created new entry on Moore machines to link with new entry on Meely machines.