Not signed in (Sign In)

A discussion forum about contributions to the nLab wiki and related areas of mathematics, physics, and philosophy.

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

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundle bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched etcs fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie lie-theory limits linear linear-algebra locale localization logic manifolds mathematics measure measure-theory modal modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

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

If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

- Discussion Type
- discussion topicDaisuke Tambara
- Category Latest Changes
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active Oct 5th 2021

- Discussion Type
- discussion topicempty 209
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active Oct 5th 2021

Andre Joyal just created on the nLab an entry titled CatLab

- Discussion Type
- discussion topicGord Sinnamon
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 5th 2021

- Discussion Type
- discussion topicidempotent adjunction
- Category Latest Changes
- Started by barakat
- Comments 10
- Last comment by Urs
- Last Active Oct 5th 2021

- I made a small change in idempotent adjunction. If I didn't miss something the words reflective and coreflective had to be replaced in one sentence.

---

It then follows that F and G restrict to an equivalence of categories between the full images of F and of G (which are, respectively,

a reflective subcategory of D and a coreflective subcategory of C)

->

a coreflective subcategory of D and a reflective subcategory of C)

---

I would even suggest to add:

---

a coreflective subcategory of D and a reflective subcategory of C, both equivalent to the intermediate category E in 11)

---

I don't know how to refer to 11. properly.

- Discussion Type
- discussion topicArthur H. Stone
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 2
- Last comment by Urs
- Last Active Oct 5th 2021

Created:

Not to be confused with Arthur Lewis Stone.

Arthur Harold Stone was a general topologist. He got his PhD degree in 1941 from Princeton University, advised by Solomon Lefschetz.

## Related entries

- Discussion Type
- discussion topicLawvere's fixed point theorem
- Category Latest Changes
- Started by Urs
- Comments 41
- Last comment by DavidRoberts
- Last Active Oct 5th 2021

We have several entries that used to mention

*Lawvere’s fixed point theorem*without linking to it. I have now created a brief entry with citations and linked to it from relevant entries.

- Discussion Type
- discussion topicdiagonal argument
- Category Latest Changes
- Started by Todd_Trimble
- Comments 4
- Last comment by DavidRoberts
- Last Active Oct 5th 2021

I added to and revised the Idea section of diagonal argument, and added some references.

- Discussion Type
- discussion topicArthur L. Stone
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Oct 5th 2021

- Discussion Type
- discussion topicHarry Applegate
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 4th 2021

- Discussion Type
- discussion topiccomonad
- Category Latest Changes
- Started by David_Corfield
- Comments 2
- Last comment by Urs
- Last Active Oct 4th 2021

- Discussion Type
- discussion topicidempotent monad
- Category Latest Changes
- Started by Todd_Trimble
- Comments 5
- Last comment by Urs
- Last Active Oct 4th 2021

I added more to idempotent monad, in particular fixing a mistake that had been on there a long time (on the associated idempotent monad). I had wanted to give an example that addresses Mike’s query box at the bottom, but before going further, I wanted to track down the reference of Joyal-Tierney, or perhaps have someone like Zoran fill in some material on classical descent theory for commutative algebras (he wrote an MO answer about this once) to illustrate the associated idempotent monad.

Some of this (condition 2 in the proposition in the section on algebras) was written as a preparatory step for a to-be-written nLab article on Day’s reflection theorem for symmetric monoidal closed categories, which came up in email with Harry and Ross Street.

- Discussion Type
- discussion topicJohn L. MacDonald
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 4th 2021

- Discussion Type
- discussion topicGrothendieck universe
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Oct 4th 2021

added at

*Grothendieck universe*at References a pointer to the proof that these are sets of $\kappa$-small sets for inaccessible $\kappa$. (also at inaccessible cardinal)

- Discussion Type
- discussion topictype-theoretic definition of category
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Oct 4th 2021

cross-linked this old entry with

*internal category in homotopy type theory*

- Discussion Type
- discussion topicphilosophy
- Category Latest Changes
- Started by zskoda
- Comments 13
- Last comment by DavidRoberts
- Last Active Oct 4th 2021

Several recent updates to literature at philosophy, the latest being

- Mikhail Gromov,
*Ergostructures, Ergologic and the Universal Learning Problem: Chapters 1, 2.*, pdf;*Structures, Learning and Ergosystems: Chapters 1-4, 6*(2011) pdf

which is more into cognition and language problem, but still very relevant, and by a top mathematician. As these 2 are still manuscripts I put them under articles, though I should eventually classify those as books…

- Mikhail Gromov,

- Discussion Type
- discussion topicenriched model category
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Oct 4th 2021

added publication data for:

- Bertrand Guillou, Peter May,
*Enriched model categories and presheaf categories*, New York J. Math. 26 (2020) 37–9 (arXiv:1110.3567, , NYJM:2020/26-3)

- Bertrand Guillou, Peter May,

- Discussion Type
- discussion topicJoyal-Tierney calculus
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Oct 4th 2021

For some $n$Lab work that I will do in the next days, I want to be able, for convenience, to refer the reader to an entry which exhibits the iterated lifting-property-calculus that is nicely discussed in the appendix of the article by Joyal-Tierney on complete Segal spaces:

For the moment I titled that entry

*Joyal-Tierney calculus*. Not sure, though, if that is a good name. Suggestions would be welcome.

- Discussion Type
- discussion topicevil
- Category Latest Changes
- Started by DavidRoberts
- Comments 43
- Last comment by Keith Harbaugh
- Last Active Oct 3rd 2021

I added a reference in the section on terminology to Makkai’s ’Towards a categorical foundation of mathematics’, where he defines what he calls the ’Principle of Isomorphism’. This is essentially what ’evil’ captures, I think, and it is handy to have a published version with a sensible name to which to refer people.

Here’s a wild thought: what about renaming the page principle of isomorphism and having evil redirect there. It would necessitate a rewrite of the page, but still contain material about the jokey names (evil, kosher etc). I recall that someone here told how some of these in-jokes are off-putting to outsiders or newcomers (Zoran, maybe?). Just an idea.

- Discussion Type
- discussion topicClover May
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 3rd 2021

- Discussion Type
- discussion topicJocelyne Ishak
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 3rd 2021

- Discussion Type
- discussion topicChristy Hazel
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 3rd 2021

brief

`category:people`

-entry for hyperlinking references at*rational equivariant K-theory*

- Discussion Type
- discussion topicrational equivariant stable homotopy theory
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active Oct 3rd 2021

I have started

*rational equivariant stable homotopy theory*, but so far there is nothing but references.

- Discussion Type
- discussion topicequivariant K-theory
- Category Latest Changes
- Started by Urs
- Comments 25
- Last comment by Urs
- Last Active Oct 3rd 2021

added to

*equivariant K-theory*comments on the relation to the operator K-theory of crossed product algebras and to the ordinary K-theory of homotopy quotient spaces (Borel constructions). Also added a bunch of references.(Also finally added references to Green and Julg at

*Green-Julg theorem*).This all deserves to be prettified further, but I have to quit now.

- Discussion Type
- discussion topicWeight and mass
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by Richard Williamson
- Last Active Oct 3rd 2021

- Discussion Type
- discussion topicbi-terminal object
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by Urs
- Last Active Oct 3rd 2021

- Discussion Type
- discussion topicbi-initial object
- Category Latest Changes
- Started by nLab edit announcer
- Comments 2
- Last comment by Urs
- Last Active Oct 3rd 2021

- Discussion Type
- discussion topicpro-object in an (infinity,1)-category
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 3rd 2021

- Discussion Type
- discussion topicpro-left adjoint
- Category Latest Changes
- Started by Tim_Porter
- Comments 2
- Last comment by Urs
- Last Active Oct 3rd 2021

added a cross reference to prorepresentable functor

The link to Marc Hoyois notes is dead. Perhaps his higher Galois theory has much the same content (as I do not know the notes refered to here and his webpage does not seem to list this pdf file.)

- Discussion Type
- discussion topicLocally Presentable and Accessible Categories
- Category Latest Changes
- Started by Mike Shulman
- Comments 5
- Last comment by Urs
- Last Active Oct 3rd 2021

I have created Locally Presentable and Accessible Categories, with redirect LPAC, since we seem to refer to it a lot. I also added it as a reference to compact object, where it was surprisingly absent.

- Discussion Type
- discussion topicHo(Cat)
- Category Latest Changes
- Started by Mike Shulman
- Comments 12
- Last comment by Urs
- Last Active Oct 3rd 2021

Created Ho(Cat), mainly as a place to put a counterexample showing that it doesn't have pullbacks. If anyone has a simpler one, please contribute it.

- Discussion Type
- discussion topicpolymorphism
- Category Latest Changes
- Started by Mike Shulman
- Comments 6
- Last comment by Corbin
- Last Active Oct 2nd 2021

Created polymorphism.

- Discussion Type
- discussion topicflavour anomaly
- Category Latest Changes
- Started by Urs
- Comments 173
- Last comment by Urs
- Last Active Oct 2nd 2021

- Discussion Type
- discussion topicdiffeological space
- Category Latest Changes
- Started by Urs
- Comments 71
- Last comment by Urs
- Last Active Oct 1st 2021

seeing Eric create diffeology I became annoyed by the poor state that the entry diffeological space was in. So I spent some minutes expanding and editing it. Still far from perfect, but a step in the right direction, I think.

(One day I should add details on how the various sites in use are equivalent to using CartSp)

- Discussion Type
- discussion topictopological homotopy type is cohesive shape of continuous diffeology -- proposition
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Oct 1st 2021

a bare proposition (Christensen-Wu 13, Prop. 4.14) to be

`!include`

-ed into relevant entries (such as at*diffeological space*and at*Delta-generated topological space*)

- Discussion Type
- discussion topiccoherent module
- Category Latest Changes
- Started by Tim_Porter
- Comments 6
- Last comment by Urs
- Last Active Oct 1st 2021

Someone anonymous has changed the wording in coherent module. I think it is correct but it is a bit incoherent. They changed ’Noetherian ring’ to ’coherent ring’ but have not defined that concept. Can someone who knows the terminology better than me check this out? It probably just needs a line saying what a coherent ring is.

- Discussion Type
- discussion topicfinitely presented module
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 1st 2021

- Discussion Type
- discussion topiccoherent ring
- Category Latest Changes
- Started by John Baez
- Comments 3
- Last comment by Urs
- Last Active Oct 1st 2021

- Discussion Type
- discussion topicCW complex
- Category Latest Changes
- Started by Tim_Porter
- Comments 8
- Last comment by Urs
- Last Active Oct 1st 2021

- Discussion Type
- discussion topicDelta-generated topological space
- Category Latest Changes
- Started by Mike Shulman
- Comments 19
- Last comment by Urs
- Last Active Oct 1st 2021

Stub for Delta-generated space.

- Discussion Type
- discussion topicJ. Arthur Seebach
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 1st 2021

- Discussion Type
- discussion topicLynn Arthur Steen
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 1st 2021

- Discussion Type
- discussion topicCounterexamples in Topology
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Oct 1st 2021

- Discussion Type
- discussion topicnice topological space
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Oct 1st 2021

moving the following old discussion from out of the entry to here, just for the record (it concerns a bygone version of the entry):

+– {: .query} Tim: As I read the entry on nice topological spaces, it really refers to ’nice categories’ rather than ’nice spaces’! I have always thought of spaces such as CW-complexes and polyhedra as being ’locally nice’, but the corresponding categories are certainly not ’nice’ in the sense of nice topological space. Perhaps we need to adjust that other entry in some way.

*Toby*: You're right, I think I've been linking that page wrongly. (I just now did it again on homotopy type!) Perhaps we should write locally nice space or locally nice topological space (you pick), and I'll fix all of the links tomorrow.Tim:I suggest locally nice space. (For some time I worked in Shape Theory where local singularities were allowed so the spaces were not locally nice!) There would need to be an entry on locally nice. I suggets various meanings are discussed briefly, e.g. locally contractible, locally Euclidean, … and so on, but each with a minimum on it as the real stuff is in CW-complex etc and these are the ’ideas’.

Mike: Why not change the page nice topological space to be about CW-complexes and so on, and move the existing material there to something like convenient category of spaces, which is also a historically valid term? I am probably to blame for the current misleading content of nice topological space and I’d be happy to have this changed.

*Toby*: I thought that nice topological space was supposed to be about special kinds of spaces, such as locally compact Hausdorff spaces, whose full subcategories of $\Sp$ are also nice. (Sort of a counterpoint to the dichotomy between nice objects and nice categories, whose theme is better fit by the example of locally Euclidean spaces). CW-complexes also apply —if you're interested in the homotopy categories.Mike: Well, that’s not what I thought. (-: I don’t really know any type of space that is nice

*and*whose corresponding subcategory of Top is also nice. The category of locally compact Hausdorff spaces, for instance, is not really all that nice. In fact, I can’t think of anything particularly good about it. I don’t even see any reason for it to be complete or cocomplete!I think it would be better, and less confusing, to have separate pages for “nice spaces” and “nice categories of spaces,” or whatever we call them. And, as I said, I don’t see any need to invent a new term like “locally nice.”

When algebraic topologists (and, by extension, people talking about $\infty$-groupoids) say “nice space” they usually mean either (1) an object of some convenient category of spaces, or (2) a CW-complex-like space, between which weak homotopy equivalences are homotopy equivalences. Actually, there is a precise term for the latter sort: an m-cofibrant space, aka a space of the (non-weak) homotopy type of a CW complex.

*Toby*: I thought the full subcategory of locally compact Hausdorff spaces was cartesian closed? Maybe not, and it's not mentioned above.But you can see that most of the examples above list nice properties of their full subcategories. And the page begins by talking about what a lousy category $\Top$ is. So it seems clearly wrong that you can't make $\Top$ a nicer category by taking a full subcategory of nice spaces. (Not all of the examples are subcategories, of course.)

Mike: It’s true that locally compact Hausdorff spaces are exponentiable in $Top$. However, I don’t think there’s any reason why the exponential should again be locally compact Hausdorff.

I guess you are right that one could argue that compactly generated spaces themselves are “nice,” although I think the main reason they are important is that the category

*of*compactly generated spaces is nice. I propose the following:- Move the current content of this page to convenient category of spaces.
- Create m-cofibrant space (I’ll do that in a minute).
- Update most links to point to one or the other of the above, since I think that in most places one or the other of them is what is meant.
- At nice topological space, list many niceness properties of topological spaces. Some of them, like compact generation, will also produce a convenient category of spaces; others, like CW complexes, will be in particular m-cofibrant; and yet others, like locally contractible spacees, will do neither.

*Toby*: I believe that the compact Hausdorff reflection (the Stone–Čech compactification) of $Y^X$ is an exponential object.Anyway, your plan sounds fine, although nice category of spaces might be another title. (I guess that it's up to whoever gets around to writing it first.) Although I'm not sure that people really mean m-cofibrant spaces when they speak of nice topological spaces when doing homotopy theory; how do we know that they aren't referring to CW-complexes? (which is what I always assumed that

*I*meant).Mike: I guess nice category of spaces would fit better with the existing cumbersomely-named dichotomy between nice objects and nice categories. I should have said that when people say “nice topological space” as a means of not having to worry about weak homotopy equivalences, they might as well mean (or maybe even “should” mean) m-cofibrant space. If people do mean CW-complex for some more precise reason (such as wanting to induct up the cells), then they can say “CW complex” instead.

Re: exponentials, the Stone-Čech compactification of $Y^X$ will (as long as $Y^X$ isn’t already compact) have more points than $Y^X$; but by the isomorphism $Hom(1,Y^X)\cong Hom(X,Y)$, points of an exponential space

*have*to be in bijection with continuous maps $X\to Y$.*Toby*: OK, I'll have to check how exactly they use the category of locally compact Hausdorff spaces. (One way is to get compactly generated spaces, of course, but I thought that there was more to it than that.) But anyway, I'm happy with your plan and will help you carry it out.=–

- Discussion Type
- discussion topiciterated loop space
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Oct 1st 2021

- Discussion Type
- discussion topicpointed model category
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 5
- Last comment by Urs
- Last Active Oct 1st 2021

- Discussion Type
- discussion topicaccessible (infinity,1)-category
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by David_Corfield
- Last Active Oct 1st 2021

added pointer to:

- Charles Rezk,
*Generalizing accessible ∞-categories*, 2021 (pdf).

- Charles Rezk,

- Discussion Type
- discussion topicGeoffrey Penington
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Tim_Porter
- Last Active Oct 1st 2021

brief

`category:people`

-entry for hyperlinking references at*black hole information paradox*,*holographic entanglement entropy*and elsewhere

- Discussion Type
- discussion topicregular cardinal
- Category Latest Changes
- Started by Urs
- Comments 23
- Last comment by Dmitri Pavlov
- Last Active Sep 30th 2021

I gave regular cardinal its own page.

Because I am envisioning readers who know the basic concept of a cardinal, but might forget what “regular” means when they learn, say, about locally representable category. Formerly the Lab would just have pointed them to a long entry cardinal on cardinals in general, where the one-line definition they would be looking for was hidden somewhere. Now instead the link goes to a page where the definition is the first sentence.

Looks better to me, but let me know what you think.

- Discussion Type
- discussion topicRegular axiom is stronger than hausdroff axiom
- Category Latest Changes
- Started by nLab edit announcer
- Comments 8
- Last comment by Richard Williamson
- Last Active Sep 30th 2021

- Discussion Type
- discussion topiccompactly generated topological space
- Category Latest Changes
- Started by Todd_Trimble
- Comments 79
- Last comment by Urs
- Last Active Sep 30th 2021

I left a counter-query underneath Zoran’s query at compactly generated space. It may be time for a clean-up of this article; the query boxes have been left dangling and unanswered for quite some time. Either proofs or references to detailed proofs would be welcome.

- Discussion Type
- discussion topicsemi-topological 4d Chern-Simons theory
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active Sep 30th 2021

- Discussion Type
- discussion topicmodel structure on compactly generated topological spaces
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Sep 30th 2021

I am finally giving this its own page, for ease of cross-linking.

Currently this mainly contains pointers to the theorems and proofs that I had once written for

*Introduction to Homotopy Theory*and copied from there to*classical model structure on topological spaces*.Currently this just concerns the model structure on k-spaces. Should add a remark on further restriction to CGWH spaces.

- Discussion Type
- discussion topicregular space
- Category Latest Changes
- Started by Mike Shulman
- Comments 14
- Last comment by Urs
- Last Active Sep 30th 2021

I added to regular space a remark that any regular space admits a naturally defined apartness relation.

- Discussion Type
- discussion topicdifferential cohomology diagram
- Category Latest Changes
- Started by David_Corfield
- Comments 8
- Last comment by Urs
- Last Active Sep 29th 2021

Added

For discussion of the hexagon in an equivariant setting, see

- Andreas Kübel, Andreas Thom,
*Equivariant Differential Cohomology*, (arXiv:1510.06392)

- Andreas Kübel, Andreas Thom,

- Discussion Type
- discussion topiceffective epimorphism
- Category Latest Changes
- Started by nLab edit announcer
- Comments 3
- Last comment by Urs
- Last Active Sep 29th 2021

- Discussion Type
- discussion topicclosed category
- Category Latest Changes
- Started by Tobias Fritz
- Comments 51
- Last comment by gintaras
- Last Active Sep 29th 2021

A query box has been added:

I suspect there is a variant of the definition involving a transformation $R^Z_{X Y} \colon [X,Y] \to [[Y,Z],[X,Z]]$ rather than $L$. Is this correct? If so, how do these two definitions relate? Can one of them be expressed in terms of the other? Or is there a refined definition which comprises both $L$ and $R$?

- Discussion Type
- discussion topicHe Wang
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Sep 29th 2021

- Discussion Type
- discussion topictwisted de Rham cohomology
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Urs
- Last Active Sep 29th 2021

added pointer to the original article:

- Ryan Rohm, Edward Witten, around (23) and appendix of:
*The antisymmetric tensor field in superstring theory*, Annals of Physics Volume 170, Issue 2, September 1986, Pages 454-489 (doi:10.1016/0003-4916(86)90099-0)

- Ryan Rohm, Edward Witten, around (23) and appendix of:

- Discussion Type
- discussion topiccomplexity theory
- Category Latest Changes
- Started by Corbin
- Comments 3
- Last comment by Urs
- Last Active Sep 28th 2021

Unstub the page with a basic but original blurb. Compare and contrast my article list of complexity classes on esowiki, which has a very different audience.

- Discussion Type
- discussion topicSYK-model and AdS2-CFT1 -- references
- Category Latest Changes
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active Sep 28th 2021