Not signed in (Sign In)

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

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories accessible adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor galois-theory 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 history homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology newpage nlab noncommutative noncommutative-geometry number 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 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.

Welcome to nForum
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).
    • CommentRowNumber1.
    • CommentAuthorRichard Williamson
    • CommentTimeDec 29th 2021
    • (edited Dec 29th 2021)

    Prompted by signs that the current server is reaching its limits with the existing software, I am going to attempt to carry out the migration to the cloud (Amazon Web Services, aka AWS), that has been intended since we raised funds for this purpose early this year. For those who do not remember, we will be using an AWS account owned by (and billed to) the Topos Institute. Brendan Fong is our principal contact at the Topos Institute.

    The full migration will take a long time. I do not really have time for it myself at the moment, but the time has come that it is necessary to do something. I am going to try to gradually build functionality up; the first goal is simply for the nLab to be viewable (i.e. it will exist in read-only mode to begin with).

    I am now going to disable the current nLab server, to prevent writes to the database whilst I am migrating existing content. My apologies for the inconvenience, but with the tiny amount of time that I have, this is the only simple way to do things cleanly.

    I hope to be able to get read-only mode up this evening European time; I will keep you updated. The nForum will remain up.

    PS - This is not just a question of moving the software over. The old/original Instiki will be completely gone once the migration is complete. The nLab should look the same/similar on the surface, but the only traces of the original code will be the CSS.

    • CommentRowNumber2.
    • CommentAuthorRichard Williamson
    • CommentTimeDec 29th 2021
    • (edited Dec 29th 2021)

    A quick update that everything is now in place for switching to read-only mode in the cloud: a migration script has been written, an S3 bucket has been set up in the cloud, nginx has been set up to make the redirect on the old machine, etc. I am in the process of copying the rendered content of all pages from the old machine to my local machine, and this is taking a while. Once that’s done, things should go fairly swiftly.

    Edit: it’s still copying, and I have to leave off now. Will try to get it into read-only mode in the morning.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeDec 30th 2021

    Thanks, Richard!!

    I see that the first entries are visible now. Hopefully the personal webs will come along, too? :-)

    • CommentRowNumber4.
    • CommentAuthorRichard Williamson
    • CommentTimeDec 30th 2021
    • (edited Dec 30th 2021)

    (NB: This crossed with #3).

    Touch wood, I think that the nLab is now somewhat functional in read-only mode. There are some caveats:

    1. Images and other files are not uploaded.
    2. Redirects do not work.
    3. The top and bottom horizontal menus have been removed.
    4. Currently http is being used from nginx, it seems that it didn’t like a redirect to https, even though when used directly https seems to work. This may cause some security-type warnings to appear.

    Point 1. is easily solved, and I will do it as soon as I have a chance. Point 2. is more involved. I have never liked the way it was done client-side in Instiki; I have always felt it should be done server-side, in which case we would not have this problem. Thus I intend to not fix this for the moment, and rather implement it in the course of implementing editing of pages. Point 3. is deliberate; as I gradually implement editing and further functionality, the menus will come back. Point 4. will be solved once the ability to edit is added, but if the security warnings are a major problem for somebody, I can work on it sooner.

    There may be other things that are missing or no longer work correctly/as before; let me know if so.

    Some further notes:

    1. I have changed the way the context menu works. In fact I have implemented what was requested here and in the thread linked to there. It was implemented by a convoluted CSS hack before which didn’t work properly, and it was easier for me to re-implement it than to migrate the hack.

    2. I also refactored the javascript mostly written by Adeel for theorem numbering, to get rid of the dependency on jQuery. Ideally it should behave exactly the same way as before, i.e. the changes should only be minor ones under the hood, but if you notice anything weird, let me know.

    For those interested, the ’nLab’ in its new read-only mode is a static website, served from an S3 bucket. This is the way I intend things to be in the end, too. You can actually access pages directly at the root URL http://nlab-pages.s3.us-east-2.amazonaws.com/nlab/show/. Currently, requests to ǹcatlab.org and similar are still landing at the nginx server on the old machine, which is redirecting to AWS.

    The old nLab almost functioned statically after major changes I made a few years ago, but it was still not quite static, so some tweaks were needed to get this read-only mode to work, basically combining the static content of the pages with some surrounding stuff. This is what the migration script that I mentioned does.

    To me, the new website seems very snappy, snappier than before, even though the traffic is currently is proceeding via nginx on the old server. This should be the case: AWS should be lightning fast (and essentially never go down).

    The next step will be to get editing functioning. This is considerable work, with a number of sub-parts. I have done some of the work before in preparatory work for this migration, but there is still a lot to do. I will keep updating here, but getting editing functioning is likely to be a matter of several days, not several hours. Other functionality will come gradually after that.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeDec 30th 2021

    Thanks again, Richard, that’s great. We appreciate the work you are investing!

    Allow me to come back to #3 since it has a little bit of urgency for me and maybe others, too: Would it be possible to make the personal webs display, soon?

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeDec 30th 2021

    Hi Richard,

    maybe before looking into implementing editing, maybe the next step might best be to make the display come out consistently? That would help the broad user experience while the migration is underway, and might be a necessary prerequisite for re-starting editing, anyways.

    Regarding redirects, I am afraid that these are used quite abundantly on nnLab pages (such as for plurals, but also more generally) so that them being all broken could be perceived as being somewhat of a pain. Maybe implementing the redirects could be made a priority?

    Just for the record, allow me to mention other glitches I see in the display:

    The literature referencing seems to display incompletely now and the hyperlinks are not working (this might be a general issue with links to page anchors, I can’t check with the source now, but am looking at the output of (infinity,1)-Grothendieck construction).

    Also I see that numbering of Def/Prop/etc.-environments seems to only work only partially now (maybe just for those coded in the new syntax) and that their formatting seems to be off generally (there is a big space between the “Proposition”-header and the first line).

    • CommentRowNumber7.
    • CommentAuthorGuest
    • CommentTimeDec 30th 2021
    I'm getting this XML error whenever I access the new website:

    <Error>
    <Code>AccessDenied</Code>
    <Message>Access Denied</Message>
    <RequestId>24B85KNGMNPFM9J3</RequestId>
    <HostId>
    aTuFbaHVK7SMgHwQdke8X+/sV92UTyWq7fIaBMe4IRhXkpo18YMeBXHE2mQ9aqrFt96ZoKL5GMA=
    </HostId>
    </Error>
    • CommentRowNumber8.
    • CommentAuthorRichard Williamson
    • CommentTimeDec 30th 2021
    • (edited Dec 30th 2021)

    No time for more just now, but just to say that this is going to be a painful period where many things do not work. The current read-only mode is temporary, and hacked together to provide some kind of service while the migration takes place, although some things are being implemented along the way which will remain. It is that or turning everything off completely whilst I make the migration.

    I will address personal webs etc later.

    Guest: which page were you trying to access?

    • CommentRowNumber9.
    • CommentAuthornilesjohnson
    • CommentTimeDec 30th 2021
    • (edited Dec 30th 2021)

    Many thanks for your work on this. I’m more than happy to put up with some bumps along the way to the new servers! I’m not the op from #7, but I get an error like that when trying to access the following:

    However, pages from my browser history redirect and load just fine. For example, this one:

    EDIT: The first batch of broken links was from me trying to get to the top level page; I now see that it is

    http://nlab-pages.s3.us-east-2.amazonaws.com/nlab/show/HomePage

    From there, some links in the side bar work and some don’t. Reading some of the discussion above, I guess at least one of the issues is the plural redirects that Urs mentioned. For example,

    I’m not complaining; I know these things take time. Just noting it here in case other people are following along too.

    • CommentRowNumber10.
    • CommentAuthornilesjohnson
    • CommentTimeDec 30th 2021

    Here’s a separate issue I noticed with the sidebars on the pseudofunctor page: With the sidebar completely expanded (both “2-category theory” and “Higher category theory”), the links for the lower one are not clickable. According to the inspect element feature of my browser, they are blocked by some big mathjax box. For example, in the link to categorification/decategorification, the latter half of the second word is clickable, because it hangs outside of the overlaying mathjax box. But the first word, and most others on the list, are not clickable. Closing the “2-category theory” part of the sidebar moves all the “Higher category theory” links up, and then they are clickable.

    Update: Actually the part of the “Higher category theory” sidebar hanging below the end of the text on the page is still unclickable, so that seems to be a key part of the issue.

    • CommentRowNumber11.
    • CommentAuthorRichard Williamson
    • CommentTimeDec 30th 2021
    • (edited Dec 30th 2021)

    Re #9 and #10: thank you very much, this is helpful! I think that I’ve fixed (in a quick spare moment) the issue with the first four links of #9 now, as long as one accesses them via nginx, i.e. https://ncatlab.org or https://ncatlab.org/nlab/show. I would still recommend to use the standard ncatlab.org/nlab/show/... URLs, though there is no problem (for the moment: I do not guarantee that these URLs will be stable; for afficionados, the HTML code being used for the redirect is 302) with using the direct URLs if one wishes, except that there will be no redirect magic: as you noted, one has to use the exact URL, e.g. to HomePage.

    The other access issues are to do with redirects, as you say.

    Thank you for the note about the context bar, I will look into that. The whole code around the context bars was a mess, so it does not surprise me that there are still things to clean up :-).

    • CommentRowNumber12.
    • CommentAuthorGuest
    • CommentTimeDec 30th 2021
    There is no search bar.
  1. Yes, that is deliberate: as noted above, the current mode is a minimal read-only one. I suggest to use Google (this is in fact what I almost always do, I almost never use the nLab one): just search for nlab + page name, e.g. nlab Kan fibration or whatever. If you are in a country where Google is not available and no other search engine serves an equivalent purpose, let me know.

    • CommentRowNumber14.
    • CommentAuthorRichard Williamson
    • CommentTimeDec 30th 2021
    • (edited Dec 30th 2021)

    Re #3 and #5: Personal webs are something which I was intending to bring up. I have for now activated your personal web on the old server, Urs, and can do this for others on request.

    In general, I would like to suggest to remove the notion of multiple webs from the software. It adds complexity, and breaks down the modularity of it. It is also possibly questionable whether the funds raised for the nLab should be used for hosting personal webs. With regard to what to do with the old/current personal webs, my suggestions are:

    1. That we simply delete those webs which are not of archivable value. We can attempt to send a database dump or something to those concerned, so that they have the content if they ever needed it.
    2. Some of the webs, such as the CatLab, the copy of the IAS foundational year wiki on homotopy type theory, etc, are definitely archive-worthy, but have no need to be edited. I suggest that we host these as static webpages in an S3 bucket. No wiki functionality will be able to applied, i.e. any edits would need to be made manually.
    3. That those who wish to continue with an active personal web pursue the following course: edit/create pages offline using a rendering script (that will be available as a consequence of the current migration), and host the resulting HTML pages somewhere, e.g. an S3 bucket in their own AWS account (or similar for other cloud services), or on a reputable site like github which allows static hosting for free, or on their university website, or wherever. Since they are not collaborative, I see no reason for these personal webs to be full wikis; just the ability to render to HTML from the same kind of syntax should be fine for most purposes. Of course there is also the option of setting up a separate deployment of some version of the wiki software, but that would have to come without any expectation of support, i.e. I would be developing the software with the nLab only in mind (although it will be open-source), and the personal web owner themselves or somebody they know would be responsible for any tweaking/handling updates/etc.
    4. Those affected by 3. can keep using (editing, creating pages, etc) their personal webs on the old server for as long as this is OK with CMU (I see no signs that the server will die), on the understanding that there will be no further updates to the software. This should give plenty of time for a solution à la 3. to be found.

    Such are my suggestions. I realise that any change of this kind can be difficult to digest, but have a think about it.

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeDec 30th 2021

    Thanks, Richard! And I see that even the graphics and the files are there on the personal web, that’s a relief. Thanks!

    I’d be happy with whatever solution there could be, re point 3.

    \,

    Just to note that the personal webs here are not meant to provide generic personal webspace, but as that part of the nnLab where regular nnLab-contributors keep notes that have a clear personal touch to them; mostly personal research notes that go in parallel with edits on the main nnLab but want an author name attached.

    I believe all webs that were active (except Joyal’s, who never interacted with the nnLab) have always been used this way, and that this has been useful for the main nnLab, which has plenty of links to personal webs for further discussion.

    In this sense I think it would be a loss for the nnLab’s main content – and thus for the value that donors get for their money! – if regular contributors would not have a personal web to partially withdraw to.

    That said, a workable solution as in your item 3 could be a good compromise, if a compromise is needed.

  2. We can think some more about it, no need to make a decision now.

    Just a quick note that I have now fixed point 1. from #4, i.e. images and other files are now working in the cloud.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeDec 31st 2021
    • (edited Dec 31st 2021)

    Thanks! That’s excellent.

    And it’s indeed amazing how fast the rendering is now.

    The only two remaining display issues I see at the moment is (i) the redirects and (ii) the Def-environment spacing:

    E.g. at simplicial classifying space, there is a Definition 2.1 etc. which appears with about 1cm of vertical whitespace after “Definition 1”, were there used to be no whitespace, and maybe not even a new line.

    This is particularly apparent for Proof-environments, where this vertical whitespace is clearly undesireable, see e.g. the Proof of Prop. 2.2 at (infinity,1)-Grothendieck construction.

    (The other problems at (infinity,1)-Grothendieck construction that I mentioned above might be problems in the source code which maybe I can fix once editing is back.)

    • CommentRowNumber18.
    • CommentAuthormattecapu
    • CommentTimeDec 31st 2021
    A big thank you for your efforts, Richard. The improvement in snappiness can already be felt, it's so good!
    • CommentRowNumber19.
    • CommentAuthorMike Shulman
    • CommentTimeJan 1st 2022

    There are “personal” webs that are definitely intended as collaborative wikis for multiple people, not just as hosting space for individuals. For instance, the homotopytypetheory web, and the (private) hottmuri web. However, for the long run it would probably be better to integrate the content of the homotopytypetheory web with the main nlab, and we can certainly find alternative solutions for the muri.

    • CommentRowNumber20.
    • CommentAuthorMike Shulman
    • CommentTimeJan 1st 2022

    Would you mind reactivating the hottmuri web on the old server for now, at least? Please leave it private. Thanks, and thanks also for your efforts in doing this migration!

    For my own personal web I would be happy with a static archived version; I haven’t used it for anything for a while and have no plans to use it any more in the future.

    • CommentRowNumber21.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 2nd 2022

    Yes, great speed. Science of Logic is the acid test. Thanks!

    Could you please reactivate my personal web, Richard?

    I agree with Urs in #15 that it would be a shame to lose the facility to write one’s own notes. I wonder how many personal web pages are referenced from pages of the main nnLab. We may be generating a load of dead links, such as the one to Todd’s page from surface diagram.

    • CommentRowNumber22.
    • CommentAuthorGuest
    • CommentTimeJan 2nd 2022
    I'm trying to get to something on Todd's page too. He's a popular guy.
    (Elizabeth Henning as guest)
  3. I have for now re-activated all non-nLab webs on the old CMU server. It will be a while before I’m ready to do something with them anyhow. Nevertheless, noted regarding your personal web, Mike, I may in fact use this to test an early iteration of the cloud nLab syntax-to-HTML renderer, which is coming along.

    • CommentRowNumber24.
    • CommentAuthorRichard Williamson
    • CommentTimeJan 2nd 2022
    • (edited Jan 2nd 2022)

    If somebody would like to do some useful work related to the migration, it would be great if you could help out with removing all occurrences of redirects of the same term to two different pages. I began on this, but it is taking too long, as it is manual work; I need to focus on the actual functionality. As of now I will implement it just to look for the first occurrence. The list of redirects that the new cloud renderer will be using can be fetched at the following link.

    https://nlab-redirects.s3.us-east-2.amazonaws.com/redirects

    It is just a text file, colon-separated. The page name is on the left of the colon, the redirect term on the right. The list of duplicates can easily be obtained on a Unix system by doing something like the following.

    awk -F':' '{print $2}' < redirects | sort | uniq -cd

    The current list is copied at the end of this post.

    What I would like to do is be able to run a script to delete one of the redirects in each case. I.e. the work would be to, for each of these entries, find the two pages in the above file where the redirect is currently used, and manually choose which page should be directed to (you will probably have to visit both nLab pages and see which one fits better, though in some cases it is fairly obvious that one is more specific than the other and should be chosen). For me to be able to run a script, I just need the data in some easily amenable format, e.g. you can provide me with a file (or just paste the contents here) whose lines are of the form

    page name:redirect term to be deleted

    or whatever. Just be absolutely clear about whether the data in your file refers to those which are to be deleted or those which are to be retained! Please make a comment to say that you will do this if you wish to volunteer, so that we do not have two people doing it, leading to a waste of time for one of them.

      2 2-type
      2 cocones
      2 cofibrant replacement functor
      2 cofibrant resolution
      2 cofibrant resolutions
      2 comonadic functors
      2 completely regular space
      2 complex analytic manifold
      2 concrete objects
      2 conformal invariance
      2 ∞-connected (∞,1)-topoi
      2 ∞-connected (∞,1)-topos
      2 ∞-connected (∞,1)-toposes
      2 connection on a principal bundle
      2 connections on principal bundles
      2 ∞-conversion
      2 countably locally discrete sets of subsets
      2 CPO
      2 cpos
      2 C-star dynamical systems
      2 C-star system
      2 C-star systems
      2 C-star-systems
      2 cup product in differential generalized cohomology
      2 cup product in generalized differential cohomology
      2 cup product on differential cohomology
      2 cup product on differential generalized cohomology
      2 cup product on generalized differential cohomology
      2 De Morganisation
      2 derived dg-categories
      2 derived dg-category
      2 diagonal map
      2 Dieudonné's theorem
      2 diffeological groupoids
      2 differentiable (∞,1)-categories
      2 differentiable (∞,1)-category
      2 differentiable (infinity,1)-categories
      2 differential 1-form
      2 differential 1-forms
      2 double groupoids
      2 dual Hopf algebra
      2 empty 154
      2 ∞-equivalence
      2 equivalences of infinity-groupoids
      2 ∞-equivalent
      2 equivariant bordism
      2 error correction
      2 error corrections
      2 étale scheme
      2 fibrant replacement functor
      2 fibrant resolution
      2 fibrant resolutions
      2 fibrant types
      2 fpqc-topology
      2 frame of open subsets
      2 frames of open subsets
      2 ∞-functor
      2 ∞-functors
      2 Galois theories
      2 gauge field
      2 gauge fields
      2 generalized Calabi-Yau spaces
      2 ∞-group
      2 ∞-groups
      2 Haag-Kastler net
      2 Hamiltonian n-form
      2 Hamiltonian n-forms
      2 Hedberg's theorem
      2 Hermitean structure
      2 Hermitean structures
      2 Hermitian metric
      2 higher homotopy van Kampen Theorem
      2 Higher Homotopy van Kampen Theorem
      2 history
      2 HOL light
      2 holomorphic functions
      2 homomorphism of frames
      2 homomorphisms of frames
      2 homotopy 2-types
      2 homotopy 3-types
      2 homotopy localizations
      2 hom-space
      2 hom-spaces
      2 HQFTs
      2 hypothetical judgement
      2 hypothetical judgements
      2 idempotent complete category
      2 idempotent-complete category
      2 indiscrete space
      2 indiscrete spaces
      2 infinity-connected (infinity,1)-topoi
      2 infinity-connected (infinity,1)-toposes
      2 inner automorphism group
      2 inner automorphisms
      2 intersection numbers
      2 invariant state
      2 invertible magmas
      2 Jacobi theta-function
      2 k-monoidal ∞-group
      2 Kuratowski-finite
      2 Kuratowski subfinite
      2 KU-theory
      2 lattice in a vector space
      2 lattices in a vector space
      2 Lefschetz decompositions
      2 Leibniz's law
      2 Lie infinity-groupoids
      2 local base
      2 local bases
      2 localization of a model category
      2 locally connected sites
      2 locally simply-connected space
      2 locally simply-connected spaces
      2 Lorentz Lie algebras
      2 Luis Javier Hernandez
      2 Mark Lawson
      2 model structure on monoids
      2 moderate categories
      2 moderate category
      2 moduli spaces of flat connections
      2 moduli stack of flat connections
      2 moduli stacks of flat connections
      2 monadic category
      2 morphism of frames
      2 morphisms of frames
      2 motivic spectra
      2 multicospan
      2 multicospans
      2 opposite (∞,1)-category
      2 path-connected space
      2 pointed homotopy class
      2 Poisson 2-algebra
      2 Poisson 2-algebras
      2 Poisson formula
      2 polynomials are continuous functions
      2 precompact spaces
      2 predicativity
      2 pre-n-plectic manifold
      2 pre-n-plectic manifolds
      2 presheaf categories
      2 presheaf category
      2 prestack
      2 prestacks
      2 projectively flat connections
      2 projective spaces
      2 proof of negation
      2 pure morphisms
      2 <put page name here>s
      2 quotient Hopf algebra
      2 ramified extension
      2 ramified extensions
      2 reduced spaces
      2 reduced type
      2 reduced types
      2 ∞-reduction
      2 Regge slope
      2 Regge slopes
      2 regular functors
      2 relative (∞,1)-limits
      2 representations up to homotopy
      2 representation up to homotopy
      2 ∞-rule
      2 Selberg zeta function of a Riemann surface
      2 self-adjoint
      2 semi-algebraic set
      2 semi-locally simply-connected space
      2 sigma-locally discrete sets of subsets
      2 singular chain
      2 singular chains
      2 skeleta
      2 skeletons
      2 smooth differential 1-form
      2 smooth differential 1-forms
      2 smooth homotopy types
      2 ∞-space
      2 special linear groups
      2 sphere bundle
      2 sphere bundles
      2 Stone algebra
      2 Stone algebras
      2 strict 2-functors
      2 subterminal
      2 subterminals
      2 subtoposes
      2 super-commutative super-algebra
      2 super-commutative superalgebra
      2 super-commutative super-algebras
      2 super-commutative superalgebras
      2 super infinity-group
      2 super infinity-groups
      2 super smooth ∞-groupoid
      2 symmetric monoidal functors
      2 symplectic orbifolds
      2 syntactic sites
      2 torsion groups
      2 total décalage
      2 totally bounded spaces
      2 transitive closures
      2 tubular neighborhoods
      2 tubular neighbourhoods
      2 tubular neighbourhood theorem
      2 twisted infinity-bundles
      2 underlying
      2 unit of measurement
      2 units of measurement
      2 vertex Poisson algebra
      2 weak fibration
      2 weak fibrations
      2 weak multicolimit
      2 weight lattice
      2 weight lattices
    
    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeJan 2nd 2022

    Hi Richard,

    could ask your machine to output that list expanded such that each item appears together with the name of the two entries that the duplicate redirect points to?

    e.g. if it said

    “skeleta” redirects to: (1) “skeleton” and to (2) “simplicial skeleton”

    “sphere bundle” redirects to: (1) “spherical fibration” and (2) “sphere fiber bundle”

    then I could easily go through the whole list in a few minutes.

    (The above two items I have guessed. The correct answer for those two should be (1) and (2), respectively.)

    • CommentRowNumber26.
    • CommentAuthorRichard Williamson
    • CommentTimeJan 2nd 2022
    • (edited Jan 2nd 2022)

    No problem, good idea. I think the following does what you asked for. The redirect term is on the left of the colon, the page on the right.

    2-type:homotopy 2-type
    2-type:homotopy n-type
    cocones:cocone
    cocones:cone
    cofibrant replacement functor:fibrant replacement
    cofibrant replacement functor:resolution
    cofibrant resolution:fibrant replacement
    cofibrant resolution:resolution
    cofibrant resolutions:fibrant replacement
    cofibrant resolutions:resolution
    comonadic functors:comonadic functor
    comonadic functors:monadic functor
    completely regular space:regular space
    completely regular space:Tychonoff space
    complex analytic manifold:analytic manifold
    complex analytic manifold:complex manifold
    concrete objects:codiscrete object
    concrete objects:concrete object
    conformal invariance:conformal group
    conformal invariance:conformal invariance and scale invariance
    ∞-connected (∞,1)-topoi:infinity-connected (infinity,1)-topos
    ∞-connected (∞,1)-topoi:locally n-connected (n+1,1)-topos
    ∞-connected (∞,1)-topos:infinity-connected (infinity,1)-topos
    ∞-connected (∞,1)-topos:locally n-connected (n+1,1)-topos
    ∞-connected (∞,1)-toposes:infinity-connected (infinity,1)-topos
    ∞-connected (∞,1)-toposes:locally n-connected (n+1,1)-topos
    connection on a principal bundle:connection on a bundle
    connection on a principal bundle:principal connection
    connections on principal bundles:connection on a bundle
    connections on principal bundles:principal connection
    ∞-conversion:beta-reduction
    ∞-conversion:eta-conversion
    countably locally discrete sets of subsets:countably locally discrete set of subsets
    countably locally discrete sets of subsets:locally discrete set of subsets
    CPO:cpo
    CPO:dcpo
    cpos:cpo
    cpos:dcpo
    C-star dynamical systems:C-star dynamical system
    C-star dynamical systems:C-star-system
    C-star system:C-star dynamical system
    C-star system:C-star-system
    C-star systems:C-star dynamical system
    C-star systems:C-star-system
    C-star-systems:C-star dynamical system
    C-star-systems:C-star-system
    cup product in differential generalized cohomology:Beilinson–Deligne cup product
    cup product in differential generalized cohomology:cup product in differential cohomology
    cup product in generalized differential cohomology:Beilinson–Deligne cup product
    cup product in generalized differential cohomology:cup product in differential cohomology
    cup product on differential cohomology:Beilinson–Deligne cup product
    cup product on differential cohomology:cup product in differential cohomology
    cup product on differential generalized cohomology:Beilinson–Deligne cup product
    cup product on differential generalized cohomology:cup product in differential cohomology
    cup product on generalized differential cohomology:Beilinson–Deligne cup product
    cup product on generalized differential cohomology:cup product in differential cohomology
    De Morganisation:De Morganization
    De Morganisation:De Morgan topos
    derived dg-categories:derived category
    derived dg-categories:derived dg-category of a dg-category
    derived dg-category:derived category
    derived dg-category:derived dg-category of a dg-category
    diagonal map:diagonal function
    diagonal map:diagonal morphism
    Dieudonné's theorem:paracompact Hausdorff spaces are normal
    Dieudonné's theorem:paracompact topological space
    diffeological groupoids:concrete smooth infinity-groupoid
    diffeological groupoids:diffeological groupoid
    differentiable (∞,1)-categories:differentiable (infinity,1)-category
    differentiable (∞,1)-categories:Goodwillie-differentiable (infinity,1)-category
    differentiable (∞,1)-category:differentiable (infinity,1)-category
    differentiable (∞,1)-category:Goodwillie-differentiable (infinity,1)-category
    differentiable (infinity,1)-categories:differentiable (infinity,1)-category
    differentiable (infinity,1)-categories:Goodwillie-differentiable (infinity,1)-category
    differential 1-form:cotangent bundle
    differential 1-form:differential form
    differential 1-forms:cotangent bundle
    differential 1-forms:differential form
    double groupoids:double category
    double groupoids:double groupoid
    dual Hopf algebra:dual bialgebra
    dual Hopf algebra:dual gebra
    empty 154:Attempt to Introduce the Concept of Negative Quantities into Philosophy
    empty 154:construction in philosophy
    ∞-equivalence:beta-reduction
    ∞-equivalence:eta-conversion
    equivalences of infinity-groupoids:equivalence of categories
    equivalences of infinity-groupoids:equivalence of infinity-groupoids
    ∞-equivalent:beta-reduction
    ∞-equivalent:eta-conversion
    equivariant bordism:equivariant bordism homology theory
    equivariant bordism:equivariant cobordism theory
    error correction:error correcting code
    error correction:error correction code
    error corrections:error correcting code
    error corrections:error correction code
    étale scheme:Demazure, lectures on p-divisible groups, I.8, constant- and étale schemes
    étale scheme:etale scheme
    fibrant replacement functor:fibrant replacement
    fibrant replacement functor:resolution
    fibrant resolution:fibrant replacement
    fibrant resolution:resolution
    fibrant resolutions:fibrant replacement
    fibrant resolutions:resolution
    fibrant types:fibrant type
    fibrant types:two-level type theory
    fpqc-topology:fpqc site
    fpqc-topology:fpqc topology
    frame of open subsets:category of open subsets
    frame of open subsets:frame of opens
    frames of open subsets:category of open subsets
    frames of open subsets:frame of opens
    ∞-functor:delta-functor
    ∞-functor:n-functor
    ∞-functors:delta-functor
    ∞-functors:n-functor
    Galois theories:Galois Theories
    Galois theories:Galois theory
    gauge field:field (physics)
    gauge field:gauge theory
    gauge fields:field (physics)
    gauge fields:gauge theory
    generalized Calabi-Yau spaces:generalized Calabi-Yau manifold
    generalized Calabi-Yau spaces:generalized Calabi-Yau space
    ∞-group:infinity-group
    ∞-group:Omega-group
    ∞-groups:infinity-group
    ∞-groups:Omega-group
    Haag-Kastler net:causally local net of observables
    Haag-Kastler net:Haag-Kastler axioms
    Hamiltonian n-form:Hamiltonian form
    Hamiltonian n-form:n-plectic geometry
    Hamiltonian n-forms:Hamiltonian form
    Hamiltonian n-forms:n-plectic geometry
    Hedberg's theorem:decidable equality
    Hedberg's theorem:h-set
    Hermitean structure:almost Hermitian structure
    Hermitean structure:Hermitian manifold
    Hermitean structures:almost Hermitian structure
    Hermitean structures:Hermitian manifold
    Hermitian metric:Hermitian form
    Hermitian metric:Hermitian manifold
    higher homotopy van Kampen Theorem:higher homotopy van Kampen theorem
    higher homotopy van Kampen Theorem:higher van Kampen theorem
    Higher Homotopy van Kampen Theorem:higher homotopy van Kampen theorem
    Higher Homotopy van Kampen Theorem:higher van Kampen theorem
    history:history of mathematics
    history:monadic > history
    HOL light:HOL
    HOL light:HOL Light
    holomorphic functions:Dolbeault complex
    holomorphic functions:holomorphic function
    homomorphism of frames:frame
    homomorphism of frames:locale
    homomorphisms of frames:frame
    homomorphisms of frames:locale
    homotopy 2-types:homotopy 2-type
    homotopy 2-types:homotopy n-type
    homotopy 3-types:homotopy 3-type
    homotopy 3-types:homotopy n-type
    homotopy localizations:cohomology localization
    homotopy localizations:localization at geometric homotopies
    hom-space:hom-object
    hom-space:(infinity,1)-categorical hom-space
    hom-spaces:hom-object
    hom-spaces:(infinity,1)-categorical hom-space
    HQFTs:homological quantum field theory
    HQFTs:HQFT
    hypothetical judgement:judgment
    hypothetical judgement:sequent
    hypothetical judgements:judgment
    hypothetical judgements:sequent
    idempotent complete category:Cauchy complete category
    idempotent complete category:Karoubi envelope
    idempotent-complete category:Cauchy complete category
    idempotent-complete category:Karoubi envelope
    indiscrete space:codiscrete space
    indiscrete space:discrete and indiscrete topology
    indiscrete spaces:codiscrete space
    indiscrete spaces:discrete and indiscrete topology
    infinity-connected (infinity,1)-topoi:infinity-connected (infinity,1)-topos
    infinity-connected (infinity,1)-topoi:locally n-connected (n+1,1)-topos
    infinity-connected (infinity,1)-toposes:infinity-connected (infinity,1)-topos
    infinity-connected (infinity,1)-toposes:locally n-connected (n+1,1)-topos
    inner automorphism group:inner automorphism
    inner automorphism group:inner autormorphism
    inner automorphisms:inner automorphism
    inner automorphisms:inner autormorphism
    intersection numbers:intersection number
    intersection numbers:intersection pairing
    invariant state:C-star dynamical system
    invariant state:C-star-system
    invertible magmas:invertible magma
    invertible magmas:invertible quasigroup
    Jacobi theta-function:Jacobi form
    Jacobi theta-function:Jacobi theta function
    k-monoidal ∞-group:abelian infinity-group
    k-monoidal ∞-group:k-monoidal infinity-group
    Kuratowski-finite:finite object
    Kuratowski-finite:finite set
    Kuratowski subfinite:finite object
    Kuratowski subfinite:finite set
    KU-theory:K-theory spectrum
    KU-theory:topological K-theory
    lattice in a vector space:lattice (discrete subgroup)
    lattice in a vector space:lattice (in a vector space, etc.)
    lattices in a vector space:lattice (discrete subgroup)
    lattices in a vector space:lattice (in a vector space, etc.)
    Lefschetz decompositions:hard Lefschetz theorem
    Lefschetz decompositions:Lefschetz decomposition
    Leibniz's law:identity of indiscernibles
    Leibniz's law:Leibniz algebra
    Lie infinity-groupoids:Lie n-groupoid
    Lie infinity-groupoids:smooth infinity-groupoid
    local base:neighborhood
    local base:topological base
    local bases:neighborhood
    local bases:topological base
    localization of a model category:localization of a model category > history
    localization of a model category:localization of model categories
    locally connected sites:locally connected site
    locally connected sites:strongly connected site
    locally simply-connected space:semi-locally simply connected topological space
    locally simply-connected space:semi-locally simply-connected topological space
    locally simply-connected spaces:semi-locally simply connected topological space
    locally simply-connected spaces:semi-locally simply-connected topological space
    Lorentz Lie algebras:Lorentz Lie algebra
    Lorentz Lie algebras:orthogonal Lie algebra
    Luis Javier Hernandez:Luis Javier Hernandez > history
    Luis Javier Hernandez:Luis Javier Hernández Paricio
    Mark Lawson:Mark Lawson > history
    Mark Lawson:Mark V. Lawson
    model structure on monoids:model structure on monoids in a monoidal model category
    model structure on monoids:monoid axiom in a monoidal model category
    moderate categories:large category
    moderate categories:small category
    moderate category:large category
    moderate category:small category
    moduli spaces of flat connections:moduli space of connections
    moduli spaces of flat connections:moduli space of flat connections
    moduli stack of flat connections:moduli space of connections
    moduli stack of flat connections:moduli space of flat connections
    moduli stacks of flat connections:moduli space of connections
    moduli stacks of flat connections:moduli space of flat connections
    monadic category:algebraic category
    monadic category:monadic functor
    morphism of frames:frame
    morphism of frames:locale
    morphisms of frames:frame
    morphisms of frames:locale
    motivic spectra:motivic homotopy theory
    motivic spectra:motivic spectrum
    multicospan:multi-cospan
    multicospan:multispan
    multicospans:multi-cospan
    multicospans:multispan
    opposite (∞,1)-category:opposite (infinity,1)-category
    opposite (∞,1)-category:opposite quasi-category
    path-connected space:2009 June changes
    path-connected space:connected space
    pointed homotopy class:homotopy class
    pointed homotopy class:pointed homotopy type
    Poisson 2-algebra:Gerstenhaber algebra
    Poisson 2-algebra:Poisson n-algebra
    Poisson 2-algebras:Gerstenhaber algebra
    Poisson 2-algebras:Poisson n-algebra
    Poisson formula:group of ideles
    Poisson formula:Poisson summation formula
    polynomials are continuous functions:polynomials are continuous
    polynomials are continuous functions:rational functions are continuous
    precompact spaces:precompact space
    precompact spaces:totally bounded space
    predicativity:predicative mathematics
    predicativity:predicative topos
    pre-n-plectic manifold:n-plectic form
    pre-n-plectic manifold:n-plectic geometry
    pre-n-plectic manifolds:n-plectic form
    pre-n-plectic manifolds:n-plectic geometry
    presheaf categories:category of presheaves
    presheaf categories:presheaf
    presheaf category:category of presheaves
    presheaf category:presheaf
    prestack:(2,1)-presheaf
    prestack:separated (2,1)-presheaf
    prestacks:(2,1)-presheaf
    prestacks:separated (2,1)-presheaf
    projectively flat connections:flat connection
    projectively flat connections:projectively flat connection
    projective spaces:projective space
    projective spaces:projective stack
    proof of negation:proof by contradiction
    proof of negation:refutation by contradiction
    pure morphisms:pure morphism
    pure morphisms:pure subobject
    <put page name here>s:split inclusion of von Neumann algebras
    <put page name here>s:Template page
    quotient Hopf algebra:biideal
    quotient Hopf algebra:quotient bialgebra
    ramified extension:branched cover
    ramified extension:ramification of ideals
    ramified extensions:branched cover
    ramified extensions:ramification of ideals
    reduced spaces:reduced object
    reduced spaces:reduced space
    reduced type:reduced object
    reduced type:reduced space
    reduced types:reduced object
    reduced types:reduced space
    ∞-reduction:beta-reduction
    ∞-reduction:eta-conversion
    Regge slope:Regge trajectory
    Regge slope:string length scale
    Regge slopes:Regge trajectory
    Regge slopes:string length scale
    regular functors:coherent functor
    regular functors:regular functor
    relative (∞,1)-limits:relative (∞,1)-limit
    relative (∞,1)-limits:relative (infinity,1)-limit
    representations up to homotopy:infinity-representation
    representations up to homotopy:Lie infinity-algebroid representation
    representation up to homotopy:infinity-representation
    representation up to homotopy:Lie infinity-algebroid representation
    ∞-rule:beta-reduction
    ∞-rule:eta-conversion
    Selberg zeta function of a Riemann surface:Selberg zeta function
    Selberg zeta function of a Riemann surface:zeta function of a Riemann surface
    self-adjoint:self-adjoint morphism
    self-adjoint:self-adjoint operator
    semi-algebraic set:semialgebraic manifold
    semi-algebraic set:semialgebraic set
    semi-locally simply-connected space:semi-locally simply connected topological space
    semi-locally simply-connected space:semi-locally simply-connected topological space
    sigma-locally discrete sets of subsets:countably locally discrete set of subsets
    sigma-locally discrete sets of subsets:locally discrete set of subsets
    singular chain:singular cohomology
    singular chain:singular homology
    singular chains:singular cohomology
    singular chains:singular homology
    skeleta:simplicial skeleton
    skeleta:skeleton
    skeletons:simplicial skeleton
    skeletons:skeleton
    smooth differential 1-form:cotangent bundle
    smooth differential 1-form:differential form
    smooth differential 1-forms:cotangent bundle
    smooth differential 1-forms:differential form
    smooth homotopy types:smooth homotopy type
    smooth homotopy types:smooth infinity-groupoid
    ∞-space:Gamma-space
    ∞-space:infinity-space
    special linear groups:projective special linear group
    special linear groups:special linear group
    sphere bundle:sphere fiber bundle
    sphere bundle:spherical fibration
    sphere bundles:sphere fiber bundle
    sphere bundles:spherical fibration
    Stone algebra:De Morgan Heyting algebra
    Stone algebra:Stone duality
    Stone algebras:De Morgan Heyting algebra
    Stone algebras:Stone duality
    strict 2-functors:2-functor
    strict 2-functors:strict 2-functor
    subterminal:subsingleton
    subterminal:subterminal object
    subterminals:subsingleton
    subterminals:subterminal object
    subtoposes:geometric embedding
    subtoposes:subtopos
    super-commutative super-algebra:super algebra
    super-commutative super-algebra:supercommutative algebra
    super-commutative superalgebra:super algebra
    super-commutative superalgebra:supercommutative algebra
    super-commutative super-algebras:super algebra
    super-commutative super-algebras:supercommutative algebra
    super-commutative superalgebras:super algebra
    super-commutative superalgebras:supercommutative algebra
    super infinity-group:super formal smooth infinity-groupoid
    super infinity-group:super infinity-groupoid
    super infinity-groups:super formal smooth infinity-groupoid
    super infinity-groups:super infinity-groupoid
    super smooth ∞-groupoid:smooth super infinity-groupoid
    super smooth ∞-groupoid:super formal smooth infinity-groupoid
    symmetric monoidal functors:braided monoidal functor
    symmetric monoidal functors:symmetric monoidal functor
    symplectic orbifolds:symplectic manifold
    symplectic orbifolds:symplectic orbifold
    syntactic sites:syntactic category
    syntactic sites:syntactic site
    torsion groups:torsion group
    torsion groups:torsion subgroup
    total décalage:bisimplicial set
    total décalage:decalage
    totally bounded spaces:precompact space
    totally bounded spaces:totally bounded space
    transitive closures:transitive closure
    transitive closures:transitive set
    tubular neighborhoods:tubular neighborhood
    tubular neighborhoods:tubular neighbourhood
    tubular neighbourhoods:tubular neighborhood
    tubular neighbourhoods:tubular neighbourhood
    tubular neighbourhood theorem:tubular neighborhood theorem
    tubular neighbourhood theorem:tubular neighborhood
    twisted infinity-bundles:twisted ∞-bundles
    twisted infinity-bundles:twisted infinity-bundle
    underlying:forgetful functor
    underlying:underlying set
    unit of measurement:physical unit
    unit of measurement:unit
    units of measurement:physical unit
    units of measurement:unit
    vertex Poisson algebra:Coisson algebra
    vertex Poisson algebra:Poisson vertex algebra
    weak fibration:fibrations of quasi-categories
    weak fibration:Street fibration
    weak fibrations:fibrations of quasi-categories
    weak fibrations:Street fibration
    weak multicolimit:weak colimit
    weak multicolimit:weak multilimit
    weight lattice:root (in representation theory)
    weight lattice:weight (in representation theory)
    weight lattices:root (in representation theory)
    weight lattices:weight (in representation theory)
    
    • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTimeJan 2nd 2022

    Thanks! Will look into it tomorrow.

    • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeJan 2nd 2022

    How to best return the result to you? Maybe like this:

    \,

    2-type:homotopy 2-type

    2-type:homotopy n-type

    (1)

    \,

    cocones:cocone

    cocones:cone

    (1)

    \,

    cofibrant replacement functor:fibrant replacement

    cofibrant replacement functor:resolution

    (1)

    \,

    cofibrant resolution:fibrant replacement

    cofibrant resolution:resolution

    (1)

    \,

    cofibrant resolutions:fibrant replacement

    cofibrant resolutions:resolution

    (1)

    \,

    \,

    (Hm, maybe if we just take the first one by default, we’ll have a good enough match without further struggle…)

    • CommentRowNumber29.
    • CommentAuthorsamwinnick
    • CommentTimeJan 2nd 2022

    I got an error like the one in #7 on http://nlab-pages.s3.us-east-2.amazonaws.com/nlab/show/lifting+property after following a link on http://nlab-pages.s3.us-east-2.amazonaws.com/nlab/show/fibration . The correct result does not appear when searching “nlab lifting property” on google. Other pages have been working fine. Not sure if this is helpful info but anyway there it is. Good luck with the migration and thanks for keeping the site up!

    • CommentRowNumber30.
    • CommentAuthorMike Shulman
    • CommentTimeJan 2nd 2022

    I wonder if we could put a banner at the top of all nLab pages notifying people about the migration in progress? Many people must be wondering about the missing functionality, missing webs, etc.

  4. Re #28:

    How to best return the result to you?

    I think if you just either remove the lines that should not be there, or retain only the lines which should not be there, that would work well.

    (Hm, maybe if we just take the first one by default, we’ll have a good enough match without further struggle…)

    I don’t think so, it seemed a bit random for the ones I have already done.

    • CommentRowNumber32.
    • CommentAuthorRichard Williamson
    • CommentTimeJan 3rd 2022
    • (edited Jan 3rd 2022)

    Re #29: Thank you for getting in touch, yes, this is a ’redirect issue’. It will hopefully be solved fairly soon; I wish to handle these redirects properly server-side rather than write a client-side hack, so before I can fix it I need to have quite a bit of other infrastructure live. For some pages the fix should come quite soon, possibly this evening European time.

    Re #30: I considered this, but decided against it for a few reasons that I’ll not go into now. I think these days people can probably find their way to this page or some other source which indicates what is going on; most people are only using the nLab in a way for which the current read-only mode should be satisfactory, I think. The main priority is to fix the redirects and certain relative links, and I’d rather just complete this asap. As mentioned, for a first group of pages this should come quite soon.

    • CommentRowNumber33.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2022
    • (edited Jan 3rd 2022)

    HI Richard,

    okay, here the first bit of the list of redirects which I think should be there (having removed the ones which, I think, should not):

    2-type:homotopy 2-type
    
    cocones:cocone
    
    cofibrant replacement functor:fibrant replacement
    
    cofibrant resolution:fibrant replacement
    
    cofibrant resolutions:fibrant replacement
    
    comonadic functors:comonadic functor
    
    completely regular space:Tychonoff space
    
    complex analytic manifold:analytic manifold
    
    concrete objects:concrete object
    
    conformal invariance:conformal invariance and scale invariance
    
    ∞-connected (∞,1)-topoi:infinity-connected (infinity,1)-topos
    
    ∞-connected (∞,1)-topos:infinity-connected (infinity,1)-topos
    
    ∞-connected (∞,1)-toposes:infinity-connected (infinity,1)-topos
    
    connection on a principal bundle:principal connection
    
    connections on principal bundles:principal connection
    
    ∞-conversion:eta-conversion
    
    countably locally discrete sets of subsets:countably locally discrete set of subsets
    
    CPO:cpo
    
    cpos:cpo
    
    C-star dynamical systems:C-star dynamical system
    
    C-star system:C-star-system
    
    C-star systems:C-star-system
    
    C-star-systems:C-star-system
    
    cup product in differential generalized cohomology:cup product in differential cohomology
    
    cup product in generalized differential cohomology:cup product in differential cohomology
    
    cup product on differential cohomology:Beilinson–Deligne cup product
    
    cup product on differential generalized cohomology:cup product in differential cohomology
    
    cup product on generalized differential cohomology:cup product in differential cohomology
    
    De Morganisation:De Morganization
    
    derived dg-categories:derived dg-category of a dg-category
    
    derived dg-category:derived dg-category of a dg-category
    
    diagonal map:diagonal function
    
    Dieudonné's theorem:paracompact Hausdorff spaces are normal
    
    diffeological groupoids:diffeological groupoid
    
    differentiable (∞,1)-categories:differentiable (infinity,1)-category
    differentiable (∞,1)-categories:Goodwillie-differentiable (infinity,1)-category
    

    The last item has an issue that needs attention: both differentiable (infinity,1)-category and Goodwillie-differentiable (infinity,1)-category seem to exist as separate pages, but have the same content. One of them should probably be removed and made a redirect to the other. Maybe the second one should be kept, as its more specific.

    More in the following comments…

    • CommentRowNumber34.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2022

    Continuing the list of redirects that should be in place:

    differential 1-form:cotangent bundle
    
    differential 1-forms:cotangent bundle
    
    double groupoids:double groupoid
    
    dual Hopf algebra:dual bialgebra
    

    The following has an issue: Neither of these two redirects should exist:

    empty 154:Attempt to Introduce the Concept of Negative Quantities into Philosophy
    
    empty 154:construction in philosophy
    

    to be continued…

    • CommentRowNumber35.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2022
    • (edited Jan 3rd 2022)

    This item I don’t know about without looking things up, some logician needs to check:

    ∞-equivalence:beta-reduction
    ∞-equivalence:eta-conversion
    
    • CommentRowNumber36.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2022

    Continuing the list of redirects that should be there:

    equivalences of infinity-groupoids:equivalence of infinity-groupoids
    
    equivariant bordism:equivariant bordism homology theory
    

    This item has an issue that needs attention:

    error correction:error correcting code
    error correction:error correction code
    

    The stub entry error correction code should be removed and made a redirect to error correcting code

    • CommentRowNumber37.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2022

    Continuing the list of redirects that should be there:

    étale scheme:etale scheme
    
    fibrant replacement functor:fibrant replacement
    
    fibrant resolution:fibrant replacement
    
    fibrant resolutions:fibrant replacement
    
    fibrant types:fibrant type
    
    fpqc-topology:fpqc topology
    
    frame of open subsets:frame of opens
    
    frames of open subsets:frame of opens
    
    ∞-functor:n-functor
    
    ∞-functors:n-functor
    
    Galois theories:Galois theory
    
    gauge field:gauge theory
    
    gauge fields:gauge theory
    

    The following item has an issue that needs extra attention:

    generalized Calabi-Yau spaces:generalized Calabi-Yau manifold
    
    generalized Calabi-Yau spaces:generalized Calabi-Yau space
    

    The entry generalized Calabi-Yau space (which contains nothing but one reference item) needs to be removed and its title made a redirect to generalized Calabi-Yau space.

    • CommentRowNumber38.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2022

    Continuing the list of redirects that should be there:

    ∞-group:infinity-group
    
    ∞-groups:infinity-group
    
    Haag-Kastler net:causally local net of observables
    
    Hamiltonian n-form:n-plectic geometry
    
    Hamiltonian n-forms:n-plectic geometry
    
    Hedberg's theorem:h-set
    
    
    Hermitean structure:Hermitian manifold
    
    Hermitean structures:Hermitian manifold
    
    Hermitian metric:Hermitian manifold
    

    The following item has an issue that needs extra attention:

    higher homotopy van Kampen Theorem:higher homotopy van Kampen theorem
    higher homotopy van Kampen Theorem:higher van Kampen theorem
    Higher Homotopy van Kampen Theorem:higher homotopy van Kampen theorem
    Higher Homotopy van Kampen Theorem:higher van Kampen theorem
    

    The entries higher homotopy van Kampen theorem and higher van Kampen theorem look like they should be merged, with one title redirecting to the other. Probably “higher van Kampen theorem” is a good enough title.

    • CommentRowNumber39.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2022

    Continuing the list of redirects that should be there:

    history:history of mathematics
    
    HOL light:HOL Light
    
    holomorphic functions:holomorphic function
    
    homomorphism of frames:frame
    
    homomorphisms of frames:frame
    
    homotopy 2-types:homotopy 2-type
    
    homotopy 3-types:homotopy 3-type
    
    homotopy localizations:localization at geometric homotopies
    
    hom-space:(infinity,1)-categorical hom-space
    
    hom-spaces:(infinity,1)-categorical hom-space
    

    The following item has an issue that needs extra attention:

    HQFTs:homological quantum field theory
    HQFTs:HQFT
    

    The stub entry homological quantum field theory should be merged into the more comprehensive HQFT and its title made a redirect.

    • CommentRowNumber40.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2022

    Continuing the list of redirects that should be there:

    hypothetical judgement:sequent
    
    hypothetical judgements:sequent
    
    idempotent complete category:Cauchy complete category
    
    idempotent-complete category:Cauchy complete category
    
    indiscrete space:discrete and indiscrete topology
    
    indiscrete spaces:discrete and indiscrete topology
    
    infinity-connected (infinity,1)-topoi:infinity-connected (infinity,1)-topos
    
    infinity-connected (infinity,1)-toposes:infinity-connected (infinity,1)-topos
    

    The following item has an issue that needs extra attention:

    inner automorphism group:inner automorphism
    inner automorphism group:inner autormorphism
    inner automorphisms:inner automorphism
    inner automorphisms:inner autormorphism
    

    The stub entry with the misspelled title inner autormorphism needs to be deleted for good.

    • CommentRowNumber41.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2022

    Continuing the list of redirects that should be there:

    intersection numbers:intersection number
    
    invariant state:C-star dynamical system
    
    invertible magmas:invertible magma
    
    Jacobi theta-function:Jacobi theta function
    
    k-monoidal ∞-group:k-monoidal infinity-group
    
    Kuratowski-finite:finite set
    
    Kuratowski subfinite:finite set
    
    KU-theory:topological K-theory
    
    lattice in a vector space:lattice (in a vector space, etc.)
    
    lattices in a vector space:lattice (in a vector space, etc.)
    
    
    Lefschetz decompositions:Lefschetz decomposition
    
    Leibniz's law:identity of indiscernibles
    
    Lie infinity-groupoids:Lie n-groupoid
    
    local base:topological base
    
    local bases:topological base
    
    localization of a model category:localization of model categories
    
    locally connected sites:locally connected site
    

    The following item needs special attention:

    locally simply-connected space:semi-locally simply connected topological space
    locally simply-connected space:semi-locally simply-connected topological space
    locally simply-connected spaces:semi-locally simply connected topological space
    locally simply-connected spaces:semi-locally simply-connected topological space
    

    These are duplicate entries, whose titles differ only by a hyphen. They need to be merged, and one title redirected to the other.

    • CommentRowNumber42.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2022

    Continuing the list of redirects that should be there:

    Lorentz Lie algebras:Lorentz Lie algebra
    
    Luis Javier Hernandez:Luis Javier Hernández Paricio
    
    Mark Lawson:Mark V. Lawson
    
    model structure on monoids:model structure on monoids in a monoidal model category
    
    moderate categories:large category
    
    moderate category:large category
    
    moduli spaces of flat connections:moduli space of flat connections
    
    moduli stack of flat connections:moduli space of flat connections
    
    moduli stacks of flat connections:moduli space of flat connections
    
    monadic category:monadic functor
    
    morphism of frames:frame
    
    morphisms of frames:frame
    
    motivic spectra:motivic spectrum
    
    multicospan:multi-cospan
    
    multicospans:multi-cospan
    
    opposite (∞,1)-category:opposite (infinity,1)-category
    
    path-connected space:connected space
    
    pointed homotopy class:homotopy class
    
    Poisson 2-algebra:Gerstenhaber algebra
    
    Poisson 2-algebras:Gerstenhaber algebra
    
    Poisson formula:Poisson summation formula
    
    polynomials are continuous functions:polynomials are continuous
    
    precompact spaces:precompact space
    
    predicativity:predicative mathematics
    
    pre-n-plectic manifold:n-plectic form
    
    pre-n-plectic manifolds:n-plectic form
    
    presheaf categories:category of presheaves
    
    presheaf category:category of presheaves
    
    prestack:(2,1)-presheaf
    
    prestacks:(2,1)-presheaf
    
    projectively flat connections:projectively flat connection
    
    projective spaces:projective space
    
    proof of negation:refutation by contradiction
    
    pure morphisms:pure morphism
    

    The following item needs extra attenion:

    <put page name here>s:split inclusion of von Neumann algebras
    <put page name here>s:Template page
    

    This is some glitch with the code, should be removed in the source.

    • CommentRowNumber43.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2022

    Continuing the list of redirects that should be there:

    quotient Hopf algebra:quotient bialgebra
    
    
    
    ramified extension:ramification of ideals
    
    ramified extensions:ramification of ideals
    
    reduced spaces:reduced space
    
    reduced type:reduced object
    
    reduced types:reduced object
    
    Regge slope:Regge trajectory
    
    Regge slopes:Regge trajectory
    
    regular functors:regular functor
    

    The following item needs extra attention:

    relative (∞,1)-limits:relative (∞,1)-limit
    relative (∞,1)-limits:relative (infinity,1)-limit
    

    These are duplicate entries that need to be merged, with one title redirecting to the other.

    • CommentRowNumber44.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2022

    Continuing with the list of redirects that should be there:

    representations up to homotopy:infinity-representation
    
    representation up to homotopy:infinity-representation
    
    Selberg zeta function of a Riemann surface:zeta function of a Riemann surface
    
    self-adjoint:self-adjoint operator
    
    semi-algebraic set:semialgebraic set
    
    sigma-locally discrete sets of subsets:countably locally discrete set of subsets
    
    singular chain:singular homology
    singular chains:singular homology
    
    skeleta:skeleton
    
    skeletons:skeleton
    
    smooth differential 1-form:cotangent bundle
    smooth differential 1-forms:cotangent bundle
    
    smooth homotopy types:smooth homotopy type
    
    ∞-space:infinity-space
    
    special linear groups:special linear group
    
    sphere bundle:sphere fiber bundle
    
    sphere bundles:sphere fiber bundle
    
    Stone algebra:Stone duality
    
    Stone algebras:Stone duality
    
    strict 2-functors:strict 2-functor
    
    subterminal:subterminal object
    
    subterminals:subterminal object
    
    
    subtoposes:subtopos
    
    • CommentRowNumber45.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2022

    Continuing the list of redirects that should be there:

    super-commutative super-algebra:supercommutative algebra
    
    super-commutative superalgebra:supercommutative algebra
    
    super-commutative super-algebras:supercommutative algebra
    super-commutative superalgebras:supercommutative algebra
    
    super infinity-group:super infinity-groupoid
    super infinity-groups:super infinity-groupoid
    
    super smooth ∞-groupoid:smooth super infinity-groupoid
    
    symmetric monoidal functors:symmetric monoidal functor
    
    symplectic orbifolds:symplectic orbifold
    
    syntactic sites:syntactic site
    
    torsion groups:torsion group
    
    
    total décalage:decalage
    
    totally bounded spaces:totally bounded space
    transitive closures:transitive closure
    

    The following item needs extra attention:

    tubular neighborhoods:tubular neighborhood
    tubular neighborhoods:tubular neighbourhood
    tubular neighbourhoods:tubular neighborhood
    tubular neighbourhoods:tubular neighbourhood
    

    Here tubular neighborhood and tubular neighbourhood is a pair of duplicate entries that need to be merged, and one title made a redirect to the other.

    • CommentRowNumber46.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2022

    Continuing the list of redirects that should be there:

    tubular neighbourhood theorem:tubular neighborhood theorem
    

    The following item needs extra attenion:

    twisted infinity-bundles:twisted ∞-bundles
    twisted infinity-bundles:twisted infinity-bundle
    

    This is a pair of duplicate entries that need to be merged. The one with the plural title should go and be made a redirect.

    • CommentRowNumber47.
    • CommentAuthorUrs
    • CommentTimeJan 3rd 2022

    Continuing the list of redirects that should be there:

    underlying:forgetful functor
    
    unit of measurement:physical unit
    
    units of measurement:physical unit
    
    vertex Poisson algebra:Poisson vertex algebra
    
    weak fibration:Street fibration
    weak fibrations:Street fibration
    
    weak multicolimit:weak multilimit
    
    weight lattice:weight (in representation theory)
    weight lattices:weight (in representation theory)
    

    That’s all (according to #26).

    • CommentRowNumber48.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 5th 2022

    Not to put any pressure on you at all, Richard, but could you give us some idea of when editing functionality on the nnLab will be in place?

    • CommentRowNumber49.
    • CommentAuthorRichard Williamson
    • CommentTimeJan 5th 2022
    • (edited Jan 5th 2022)

    Re #47 etc: Thank you Urs! I will not be carrying out any of the manual page merges etc at this point, I will just link to one or the other of the pages, but we can come back to this once the migration is further advanced. Very good to clear this up!

    Re #48: It is difficult to say, currently I am usually able to manage a couple of hours of work on it in the evening (or night, depending on one’s definition of evening). Progress is going well, we will end up I believe with much better (simpler, more maintainable, more performant, etc) software and infrastructure. The major thing is not editing itself, but rather generation of HTML from the nLab syntax (i.e. enhanced Markdown), i.e. rendering. I have come a long way with this, and in particular two of the major things are now more or less done (internal page links and parsing of theorem environments). I expect to be able to start generating pages using this new cloud renderer soon; exactly when is dependent upon how much time I find, but I think within a few days. Adding the ability to actually edit will come after that; it should be possible via API (everything will be possible via API in the new software, i.e. without a graphical user interface) quite quickly, and a graphical user interface will come fairly soon after that depending on what I prioritise within the migration as a whole.

    By the way, I have been in touch with Brendan, and the costs so far look very promising. I am implementing a very modern, ’serverless’ architecture (there will be no permanent server in the traditional sense, rather we will have a static website + some ’lambda functions’ which fire on editing and for other functionality), and a consequence of this will be that the costs should mainly come from the amount of data we are transferring when people view pages; thus I expect the costs to be a bit more than since I started the migration a few days ago, but not very much more, since all the pages are viewable now, and will actually be significantly smaller in size once the new cloud renderer is in place. That the costs are completely fine so far is thus very encouraging.

    • CommentRowNumber50.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 5th 2022

    Thanks for the update, and of course all the work you’re putting in it!

    It’s like watching the James Webb telescope going through its deployment sequence.

    • CommentRowNumber51.
    • CommentAuthorUrs
    • CommentTimeJan 5th 2022

    Hi Richard,

    sure, I can do the page mergers etc. once editing is back.

    By the way, will we be able, eventually, to keep our usual page URL-s without all the AWS code in them?

    I see that Google searches for our pages are beginning to produce results in the form (for example)

    nLab D-brane – Amazon AWS

    This would seem to be an undue amount of reference to Jeff’s little business, if it stayed that way.

    • CommentRowNumber52.
    • CommentAuthorGuest
    • CommentTimeJan 5th 2022

    It’s like watching the James Webb telescope going through its deployment sequence.

    Hehe!

    By the way, will we be able, eventually, to keep our usual page URL-s without all the AWS code in them?

    Yes, the old URLs still work, and I recommend that people keep using the old URLs in their browser if they have the choice. Google should quickly re-adapt itself to the old URLs once we adjust the DNS to point to AWS directly, rather than via a redirect from the old server as now.

    • CommentRowNumber53.
    • CommentAuthorUrs
    • CommentTimeJan 5th 2022

    re #52 (Richard, probably):

    Thanks. But I am wondering if we can stop the expanded AWS-URL-s from appearing? Maybe not a big deal, just wondering.

    re #48 (David):

    Just to highlight that editing on the personal webs still works! So if you feel like making notes that should eventually go into an nnLab page, you can still write them into your personal Sandbox, and copy that over later.

  5. We cannot stop the AWS URLs from appearing at the moment, but we will able to later in the process. Actually I think that Google should not have changed their links on the basis of a 302, but it could be due to the fact the page links on the nLab are relative, which means that when expanded they are the AWS URLs, not the original ones, so Google’s algorithms may detect a lot of links of this form to a certain page and decide that they must be correct. I am changing the links to be absolute with the new renderer (it makes no difference speed-wise, at least not when the DNS points to the same URL as the relative one).

    • CommentRowNumber55.
    • CommentAuthorleon2k2k2k
    • CommentTimeJan 6th 2022
    Hi Richard, my name is Leon and I am a math grad student. I does DevOps on the side and would be more than happy to help out with the migration. Please let me know what I can do!
  6. Hi Leon, thank you very much for the kind offer and for getting in touch! Actually something that would be very useful would be if you could fetch the redirects file, which I’ll call F, that can be obtained at the link I gave in #24, and then go through Urs’ work in the comments following it, editing F to ensure that no term in F redirects to more than one page. Where Urs mentions that manual work is required, just pick one of the two possibilities to link to as you see fit; feel free to ask here if in doubt.

    • CommentRowNumber57.
    • CommentAuthorleon2k2k2k
    • CommentTimeJan 7th 2022

    I went through Urs’s comments and made the edits in the ’redirects’ file. I didn’t do anything to any of the ones that Urs said that manual work is required. The list of duplicates is much smaller now. https://raw.githubusercontent.com/leon2k2k2k/nlab-redirect/main/redirects

  7. Thank you very much Leon, I will make use of that soon! There will be a lot more work to do very soon. At the moment I’d like to do the main API programming work myself as I think a singularity of vision will be helpful, but there will no doubt be a lot of scripted work that will need doing to make things compatible, etc, where your help would be very useful.

    As a quick update to everyone, I now have a renderer with decent functionality (not everything yet, but enough to render many pages, including fixing redirects on those pages) working locally. I need to test it a little more, but it will not be long now before we will start to see page generation, and after that the possibility of editing, using it.

    • CommentRowNumber59.
    • CommentAuthorUrs
    • CommentTimeJan 9th 2022
    • (edited Jan 9th 2022)

    Sounds great.

    Just a thought: Might it be easily possible to make one auxiliary nLab page (e.g the Sandbox) be editable for the meantime? That would allow us to keep making notes and copy&paste them over later.

    I have been doing this in the Sandbox of my personal web, but it would be better to be in the main nnLab web, to see that links work.

    • CommentRowNumber60.
    • CommentAuthorzskoda
    • CommentTimeJan 9th 2022

    Urs 50

    You mean crosslinks with the nnLab ? I suppose if we make links to external stuff the syntax from external web is the same and for the nnLab links work now and we need to just erase nlab: from within the brackets when migrating paragraphs, so I am not sure what else scenario may bring problems. Or there is something else in mind ? (I am asking as I was planning to do few things the same way in coming days and I want to anticipate possible problems).

    • CommentRowNumber61.
    • CommentAuthorRichard Williamson
    • CommentTimeJan 12th 2022
    • (edited Jan 12th 2022)

    Just a quick note that the page outer automorphism has been rendered with the new renderer. It may not seem like much, but most of the hard work in getting a lot of things to work is now completed by the fact that that works. There are numerous major changes to the way the rendering was done before, which I’ll summarise at a later point rather than go into now; for now, please just check whether things look/work satisfactorily. Redirects should now work, for instance.

    The next step will involve moving a large batch of pages to being rendered by the new renderer, and allowing editing of these via API. I have not been feeling too well for the past few days and am fitting this work into very late hours, but I don’t expect this next step to take very long.

    (If you happen to have viewed this page whilst I was working on it, the Javascript files it relies on may have been cached, and if for example redirects do not work, this is the likely cause; let me know if so, and I can let you know how to force an update).

    • CommentRowNumber62.
    • CommentAuthorUrs
    • CommentTimeJan 12th 2022
    • (edited Jan 12th 2022)

    Thanks, looks good!

    Let’s see, the pointer at outer automorphism to R-symmetry group does not redirect to R-symmetry at the moment.

    (Maybe it’s my Javascript, as you say, but I think that I have not been on this page for ages.)

    • CommentRowNumber63.
    • CommentAuthorRichard Williamson
    • CommentTimeJan 12th 2022
    • (edited Jan 12th 2022)

    Hmm, that redirect works for me currently (there are a couple of others on the page too: ’0-truncated’, and ’inner automorphisms’, maybe more), but I did need to refresh the page for some reason first. That shouldn’t be necessary; let’s keep an eye on it and see if it stabilises.

    I should say that trying to use redirects on the nForum will still not work. Eventually the nForum will be updated/replaced, but not until the migration of the nLab itself is completed.

    • CommentRowNumber64.
    • CommentAuthorUrs
    • CommentTimeJan 12th 2022

    Regarding the redirects:

    I have tried again from the entry, refreshing first, but it doesn’t work for me. I also tried links at random other entries, for instance to “Drinfel’d” at chiral algebra, but it doesn’t work for me (XML error “AccessDenied”).

    (I am on Win+Firefox, if that matters.)

    • CommentRowNumber65.
    • CommentAuthorRichard Williamson
    • CommentTimeJan 12th 2022
    • (edited Jan 12th 2022)

    Only outer automorphism has been rendered using the new renderer so far, so redirects will still not work on other pages. I’ll look into why it’s not working for you; if anyone else reading this can test as well and see if it works for them, that would be appreciated!

    Edit: I think this may be a Firefox-specific issue, which I’ll address later. If it doesn’t work for somebody in a different browser, please let me know.

    • CommentRowNumber66.
    • CommentAuthorHurkyl
    • CommentTimeJan 12th 2022
    • (edited Jan 12th 2022)

    The “outer automorphism” page is misbehaving.

    When I CTRL-click links, my expectation is that nothing happens in the current tab and a new tab is opened with the target of the link.

    What is actually happening (e.g. by CTRL-clicking on the “group” link in the “outer automorphism” nLab page) is that both the current tab navigates to the target of the link and I get a new tab with the target of the link.

    SHIFT-click (which should have the behavior ’open link in new window’) has the same problem.

    I suppose this is just the new renderer; while the “outer automorphism” page is misbehaving in this fashion, the “group” page is not.

    I’m running Microsoft Edge, version 97.0.1072.55 (Official build) (64-bit) on Windows 10.

    • CommentRowNumber67.
    • CommentAuthorUrs
    • CommentTimeJan 12th 2022

    Just to add that I checked the page on my phone now (Android+Firefox) and there the redirecting works!

    • CommentRowNumber68.
    • CommentAuthornilesjohnson
    • CommentTimeJan 12th 2022

    I checked with the brave browser and the first one (R-symmetry group) failed, but then succeeded after a full refresh. But then I tried a different redirect link (0-truncation) and that one failed, but then worked again after a refresh. I also have the same unexpected behaviour reported in #66 for Ctrl-click and Ctrl-Shift-click. Weirdly, after further testing, a Ctrl-click on a redirect link (R-symmetry group) failed in the new tab, but succeeded in the original tab (which should not have changed).

    • CommentRowNumber69.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJan 12th 2022

    Hyperlinks are completely broken for outer automorphism in the Firefox browser. Simple click, control+click, and shift+click do not work at all. The problem appears to be caused by the embedded JavaScript. Why is it necessary to modify the standard behavior of clicks in the first place?

    • CommentRowNumber70.
    • CommentAuthorRichard Williamson
    • CommentTimeJan 12th 2022
    • (edited Jan 13th 2022)

    Regarding #69, I have been experimenting with different things for the last couple of hours, and broke things at various points. I do have something which works to some extent now with regard to Ctrl+Click and Shift+Click, etc, but I am not happy with it. I wish to change the behaviour of clicks for important reasons that I do not have time to go into just now, but will explain at a later point if this can be got to work.

    (Edit 13th of January: I am still working on this page, and at any given time until further notice things may not work on this page.)

    • CommentRowNumber71.
    • CommentAuthorRichard Williamson
    • CommentTimeJan 14th 2022
    • (edited Jan 14th 2022)

    I have now implemented redirect functionality across the whole of the (new) nLab, in a way which also works on the nForum, I believe. Quite a simple thing in the end, my apologies that it has taken so long.

    Let me know if there any issues.

    • CommentRowNumber72.
    • CommentAuthorUrs
    • CommentTimeJan 14th 2022

    Fantastic! Thanks.

    • CommentRowNumber73.
    • CommentAuthorUrs
    • CommentTimeJan 14th 2022

    With that out of the way, and hoping not to get on your nerves,allow me to raise again the issue of the Definition/Theorem/Proof-environments: They have, since migration, ca 1cm of superfluous whitespace between their headline und their bulk text, and it looks weird. To my mind, this is the last issue now in between us and a perfect display functionality of the pages!

    • CommentRowNumber74.
    • CommentAuthorUrs
    • CommentTimeJan 17th 2022

    Hi Richard,

    I just see one subtle problem in a redirect: In trying to look at look at

    I am being redirected to

    But the latter is (beyond its grammatically broken title) a puny stub, while the former is (or was) a well-developed entry.

    Can we recover this?

    • CommentRowNumber75.
    • CommentAuthorHurkyl
    • CommentTimeJan 17th 2022
    • (edited Jan 17th 2022)

    Nevermind – just saw #4 already mentioned http urls.

    It’s probably worth noting that google seems to already be indexing the new domain with http links; e.g. my first hit for “topos nlab” is the page http://nlab-pages.s3.us-east-2.amazonaws.com/nlab/show/topos . Could this cause problems down the road?

    • CommentRowNumber76.
    • CommentAuthorGuest
    • CommentTimeJan 21st 2022
    > The full migration will take a long time. I do not really have time for it myself at the moment, but the time has come that it is necessary to do something. I am going to try to gradually build functionality up; the first goal is simply for the nLab to be viewable (i.e. it will exist in read-only mode to begin with).

    Dear sirs, excuse me, but it looks like at the meantime I can only view the pages' content, but not the history of editing. Could you please make the history viewable as well? Maybe not even the whole history, but just the list of authors and editing times, as was available previously via the links of the form https://ncatlab.org/nlab/history/A-n+space. Sometimes I want to know who wrote the piece of text I am reading through, it is inconvenient when everything is anonymous...
    • CommentRowNumber77.
    • CommentAuthorRichard Williamson
    • CommentTimeJan 21st 2022
    • (edited Jan 21st 2022)

    Migration update: I have now rendered comma category using the new renderer. This is a much more complex page than the other one which has been rendered using the new renderer, outer automorphism, and I am now in a position to render a large number of pages. There are a few pieces of functionality the renderer still needs, but the only significant one from a code point of view work are the Tikz/XyMatrix figures; I know how I am going to do this, but it is requires a little extra infrastructure.

    Please take a close look at comma category and explore it to see if anything does not work, or if you’d prefer anything to change. There are numerous major changes to the way things are done from the old nLab, which I don’t wish to discuss now; once the migration is completed, I’ll try to summarise all of the major changes. However, I would like to draw attention to the context menu; I think that the issues from #10 are now fixed, but please check. I have also tweaked the CSS quite a bit from before, please let me if it is OK, or if there’s anything you’d like tweaking. The actual implementation of the context menus is completely different now: they now are not regular pages, but instead can be found at /context/show, or /context/source for the source, i.e.

    At comma category, I think that the issue mentioned in #73 is fixed. I have changed the underlying HTML of theorem environments in the new renderer, and there is not an immediate way to fix the old pages, so I will leave them for the moment; once they are rendered using the new renderer, the problem should disappear.

    Before I do a mass rendering, I wish to put basic edit functionality in place, at least via API, so that all new pages can be edited. This should not take too long, but in any case is what I will focus on next. Then there will come a mass rendering, and at that point things will really start to be taking shape.

    Regarding #76, I’m afraid I’ll have to ask for your patience for the moment; history is coming soon, possibly at the same time as the edits (definitely at the same time for newly made edits at least), but things have to be taken step by step.

    Regarding #74, thank you for raising this; this happened precisely because of the existence of a redirect with the same name as the page. This was essentially a bug in the old Instiki; it will not be possible to create redirects in this situation with the new software. I will run some script at a later point to try to find all such occurrences; for now, please continue to raise them if you notice them, and I’ll fix them manually. I have fixed this one manually now, rendering it with the new renderer to group actions on spheres, although there might be some caching in nginx/your browser which prevents this from working correctly for a little while.

    Regarding #75: no, Google changed very quickly (within a day) when we began the migration, and I expect it will change back very quickly once the DNS points directly to AWS rather than being redirected there via nginx on the old server.

    Apologies that it took so long between the previous update and this one, I was completely tied up with other things for some days, and was slowed down for some other reasons in addition.

    • CommentRowNumber78.
    • CommentAuthorUrs
    • CommentTimeJan 22nd 2022

    The entry comma category looks great! Thanks.

    Regarding group actions on spheres: This still shows an old stub version. The latest version had a long well-developed discussion with several subsections (you and me had talked about it somewhere, recently). Hopefully we didn’t lose the page?

    • CommentRowNumber79.
    • CommentAuthorRichard Williamson
    • CommentTimeJan 22nd 2022
    • (edited Jan 22nd 2022)

    No, the nLab in the state it was in when I started the migration is sitting safe and sound on the old server (backed up on various people’s machines). There was a bug in how I was extracting the content from the old server which omitted some of the content before feeding it into the new renderer; I have now fixed that bug, but I see now that this page is quite large and complex, and I need to work a little on the new renderer before I can render it. No time now, but I’ll do so as soon as I can, probably later today.

    I see by the way that the CSS of the context menus can be improved a bit on a mobile phone, I’ll address that when I get a chance.

    • CommentRowNumber80.
    • CommentAuthorUrs
    • CommentTimeJan 22nd 2022

    Thanks! No rush. But it’s good to hear that this page I wrote is still with us.

    • CommentRowNumber81.
    • CommentAuthorjesuslop
    • CommentTimeJan 22nd 2022

    If xy-pic is being migrated, I’d like to advertise a suggestion left at GitHub (basically to change “UseTwocells” to “UseAllTwocells” in the preamble, allowing to draw more kinds of shapes). Not a priority, really.

  8. Sorry for not having addressed that issue; I had seen it, but had not an opportunity to do it before the migration. I’m happy to do that and it is essentially trivial, so I just need to remember; just remind me if I forget!

    • CommentRowNumber83.
    • CommentAuthorRichard Williamson
    • CommentTimeJan 24th 2022
    • (edited Jan 24th 2022)

    I have now rendered group actions on spheres using the new renderer. I needed to add some further functionality to the latter and to robustify some aspects of it to get it to work, so things are coming along. Please let me know if anything looks wrong on this page. There are a number of things to check: an equation reference for instance. I had particular trouble trying to repair the fact that Instiki, or more probably its underlying Markdown renderer Maruku, was extremely permissive with regard to list syntax, in a way that is not really in accordance with the Markdown spec (albeit the latter is somewhat loosely defined and often somewhat loosely interpreted), and which is not permitted by the new underlying Markdown renderer (a Python library called mistletoe). Thus please especially check that all the numbered lists render correctly.

    I am aware of one small issue, namely that any LaTeX in the context menu is not rendering; I will fix this when I get a chance.

    • CommentRowNumber84.
    • CommentAuthorUrs
    • CommentTimeJan 24th 2022

    Looks good to me. Thanks!!

    • CommentRowNumber85.
    • CommentAuthorUrs
    • CommentTimeJan 25th 2022

    One minor issue:

    It used to be the case that, when following a link to an anchor inside a page, the target paragraph would be highlighted by a gray background box.

    (We had introduced this years back when we found that, otherwise, it can be hard for the reader to figure out where exactly they are being pointed to. This is particularly relevant for pointers to reference items, but I found it useful also more generally.)

    Could this feature be brought back?

    • CommentRowNumber86.
    • CommentAuthoramelia.liao
    • CommentTimeFeb 1st 2022

    Found a tiny issue: kernel is redirecting to kernle instead.

  9. Thank you Amélia! This was the same kind of bug as that discussed in #77 (at ’Regarding #74…’), namely the old Instiki had allowed a redirect to be created for a term which was already used as a page name. I have corrected it now, and have rendered kernel using the new renderer (this was again quite a useful page to try the renderer on, allowing me to fix a few small things). You may have to clear your browser cache to see it.

    As a general update, I now have an edit page that loads page source, and am working on completing the editing process (submission, interaction with the nForum, page history, etc). Apologies for the slowness, as usual, I have had limited time and have again been briefly ill. Nevertheless, it is not so far from being deployed. There are so many corner cases in the nLab page sources that I am reluctant to carry out a mass migration of pages to the new renderer yet; the more ’tricky’ individual pages I am able to try it on to catch corner cases, the better. Thus I would like please people to suggest some pages that they would like to work on in the immediate term (with the caveat that it might take me a week or more before I’m ready to deploy the edit page); let us say max 20 pages per person for the moment. I will then allow editing only for these to begin with.

    • CommentRowNumber88.
    • CommentAuthorUrs
    • CommentTimeFeb 1st 2022

    I’d enjoy if the entry Knizhnik-Zamolodchikov equation could be edited. Not because there is much on it at the moment, but because I’d like to work on it.

    • CommentRowNumber89.
    • CommentAuthorUrs
    • CommentTimeFeb 4th 2022
    • (edited Feb 4th 2022)

    Jast a propos, not of particular urgency:

    The wave of edit announcements this morning was puzzling [edit: not just for me, as I see here] until I opened the edits and saw that they pertained all to the HoTT sub-web, which (I didn’t think about this before) must be editable because I asked you to keep sub-webs editable, but also is the only sub-web that automatically sends edit announcements to the nForum.

    It’s more confusing than it ought to be since many of the subjects (like “monoid”) exist on the nnLab and would be expected to direct to the nnLab and to provide, among various other perspectives, that of HoTT.

    I find it unfortunate and ill-conceived that the HoTT web decided for this parallelism instead of integrating into the nnLab. While that’s not in our control, could we maybe make the distinction clearer by prefixing edit announcement from the HoTT-web by “HoTT”?

    So I am suggesting that instead of just “monoid” the thread for their edits should be titled “HoTT:monoid”.

    I am aware that the “Category” of these threads is already distinguished as “HoTT: Latest changes”, but (at least on my browser) this is in such small font and faint coloring compared to the title that it’s bound to be missed on scanning over the main page.

    • CommentRowNumber90.
    • CommentAuthorDmitri Pavlov
    • CommentTimeFeb 5th 2022
    • CommentRowNumber91.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 6th 2022

    Yes, because if someone wants to link to an nLab page, they cut and paste what’s in the browser bar. This problem has been happening for weeks, and it’s going to be annoying to update all these temporary link people are using.

    Perhaps a notice at the top of each page giving a ’share’ link like many services do, so that people can get the real (currently redirecting) URL?

    • CommentRowNumber92.
    • CommentAuthorUrs
    • CommentTimeFeb 6th 2022

    The issue was raised already last month (#53). Richard had said in #54 that he means to fix this when the new renderer goes live, which 4 days ago in #87 he said might be in a week.

  10. Just a quick clarification that the links are not temporary; they will continue to work even when the DNS for ncatlab.org has been switched to point to the new site. I wished to reserve the right to change the AWS root URL earlier on in the process, but I’m now happy with it, and it will stay.

    I have, however, contacted Adeel now to initiate the process of changing the DNS. This will break personal web URLs, but we can probably work around that once I have a chance to look at it. It also has the disadvantage that history links, etc, will result in a generic 404 rather than a message referring to the migration, but this should not affect many people. The DNS for the nForum will continue to point to the old machine.

    I am on track with regard making editing live, several components are in fact live already, but I do not wish to indicate how to use them until everything is in place.

    • CommentRowNumber94.
    • CommentAuthorjesuslop
    • CommentTimeFeb 6th 2022

    Not sure if this has already been spotted but when the target of a nLab redirect has non-ascii characters, as appears to happen in for example

    http://ncatlab.org/nlab/show/limit+in+a+quasi-category (target (∞, 1)-limit)

    http://ncatlab.org/nlab/show/etale+space

    the redirect doesn’t happen but ends in error NoSuchKey.

    • CommentRowNumber95.
    • CommentAuthorRichard Williamson
    • CommentTimeFeb 6th 2022
    • (edited Feb 6th 2022)

    Thank you very much for spotting this Jesus, I’ll look into it as soon as I get a chance.

    On a different note, I am in the process of changing the DNS. There are a number of components involved in this, and I think there is no way to avoid some temporary downtime for at least some things. It is possible that everything, including the nForum, will go down. Personal webs will definitely go down, but I will bring them back up at the latest tomorrow (Monday) evening, European time. Apologies for the inconvenience, but there seems to be a kind of vicious circle in that in order for SSL to work, I need a certificate whose verification step requires that DNS is working, and without the SSL certificate I cannot make the redirect back to the Saunders machine needed for personal webs to work. The nForum ’redirect’ back to the Saunders machine is purely DNS, so will hopefully work without downtime, but we’ll see.

    • CommentRowNumber96.
    • CommentAuthorRichard Williamson
    • CommentTimeFeb 6th 2022
    • (edited Feb 7th 2022)

    To access personal webs temporarily until the redirect is in place, I have set things up on the old machine so that you can use the IP address of the CMU machine directly, e.g. http://128.2.67.291/schreiber/show/HomePage. It only works with http; the proper redirect once it is in place should work with https.

    • CommentRowNumber97.
    • CommentAuthoraerskine
    • CommentTimeFeb 6th 2022
    @Richard Williamson I'm a lurker here - in my professional life I have recently done the letsencrypt/Route53 DNS dance on AWS. Assuming that is the route you are going, I'd be happy to lend a hand or offer advice to avoid downtime for everyone.
    • CommentRowNumber98.
    • CommentAuthorRichard Williamson
    • CommentTimeFeb 7th 2022
    • (edited Feb 7th 2022)

    Hi, thank you very much for the offer! The DNS is now live and working, I believe. Redirects to the old server for personal webs are not yet working, but this is not a DNS matter; I will fix this later today. For now, hopefully using the IP address as in #96 provides a temporary workaround.

    We are (now) using Route 53, but not letsencrypt; we are instead using Amazon’s certificate manager. The ’vicious circle’ I mentioned was due to the fact that I was setting up an AWS CloudFront distribution, and needed an SSL certificate for that in order for https to work.

    On that note, to go back to something mentioned already in #1, https should now work. I have, for now at least, allowed http as well, as there are no significant security risks that I see in doing so for the nLab itself.

    It may take a while before Google re-indexes to use https://ncatlab.org again, because the internal page links generated by the old Instiki software were relative, and thus the preference https://ncatlab.org may not readily become apparent to Google (it depends upon how their algorithms work), but it should happen once the pages are rendered using the new renderer.

    • CommentRowNumber99.
    • CommentAuthorRichard Williamson
    • CommentTimeFeb 7th 2022
    • (edited Feb 7th 2022)

    I think that redirects to the old server for personal webs are now working, e.g. HomePage (schreiber). I briefly brought down the nForum in the process due to some misconfiguration of nginx on the old server, but I think everything is now working. In other words, the DNS migration is now complete, and the new nLab now has SSL :-).

    • CommentRowNumber100.
    • CommentAuthorGuest
    • CommentTimeFeb 7th 2022

    Typing ncatlab.org into a browser still redirects to https://nlab-pages.s3.us-east-2.amazonaws.com/nlab/show/HomePage rather than https://ncatlab.org/nlab/show/HomePage