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

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

• brief category:people-entry for hyperlinking references

• just a stub for the moment, in order to make links work

I interlinked that with the entry Kan fibrant replacement, where the subdivision $nerve \circ Face$ appears.

• expanded (here) the remark on homotopy groups of Omega-spectra just a bit more

• Cited today’s preprint by Pradic-Brown showing that CSB is equivalent to LEM.

• noticed that the Idea-section at ring spectrum didn’t at all address the evident subtlety here. Have expanded now to make this clear.

• copied over, from overcategory, statement and proof of computing limits in undercategories

• Added Rainer Vogt’s file as a reference here as well.

• Finally made a page for the concept mentioned by Mike in a 2016 n-Café discussion.

I’d be interested in examples that weren’t already relevance monoidal categories (ie, not symmetric).

• I have added pointer to the second of Postnikov’s original articles on the matter:

• M. M. Postnikov, Issledovaniya po gomotopičeskoĭ teorii nepreryvnyh otobraženiĭ. I. Algebraičeskaya teoriya sistem. II. Naturalʹnaya sistema i gomotopičeskiĭ tip. (Russian) $[$_Investigations in homotopy theory of continuous mappings. I. The algebraic theory of systems. II. The natural system and homotopy type._$]$ Trudy Mat. Inst. Steklov. no. 46. Izdat. Akad. Nauk SSSR, Moscow, 1955. (mathnet:tm1182)

Is there any linkable online trace of Postnikov’s first article:

• M. M. Postnikov, Determination of the homology groups of a space by means of the homotopy invariants, Doklady Akad. Nauk SSSR (N.S.) 76: 359–362 (1951)

?

• fixed notation in the second formula in the proof of this Prop.:

(The adjoined base point $(-)_+$ to the symmetric group factor was previously displayed below the formula beneath the underbrace below the symmetric group symbol that it really belonged to. And in the second line of that formula under the brace, the corresponding $(-)_+$ had been missing.)

• coming here to add “selected writings”, I have adjusted/updated the wording a little

• I added a reference to a paper of mine

Amnon Yekutieli

• have expanded the list of “Selected writings”: more entries, more complete bib-info

• have been expanding the list of examples slightly

• a brief stub, to make links work

• brief category:people-entry for hyperlinking refetences ar bound state

• 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$.

• I have created a stub for this at Petri net. I hope to develop the links with higher dimensional automata and also with linear logic.

• starting something, on Conner-Floyd’s $(U,fr)$-bordism theory