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 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-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive constructive-mathematics 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 geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-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 nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory 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.
    • CommentAuthorJoshua Meyers
    • CommentTimeDec 29th 2021
    • (edited Dec 29th 2021)

    Linked to from https://ncatlab.org/nlab/show/orthogonal+factorization+system and https://ncatlab.org/nlab/show/final+functor

    Todo: add more proofs of this result.

    For some reason the xymatrixes were causing errors so I had to comment them out to submit. Here is an example error:

    An error occurred when running pdflatex on the following diagram. \xymatrix@=5em{e \ar[r]^\gamma \ar[dr]_{\gamma’} & GFc \ar[d]^{Gf} \ & GFc’} The error was: Timed out

    How can I fix this?

    v1, current

    • CommentRowNumber2.
    • CommentAuthorJoshua Meyers
    • CommentTimeDec 29th 2021

    Typo fixes

    v1, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeDec 29th 2021

    For the xymatrix to display, they must not be enclosed by any other environment and the delimiters must be aligned to the far left.

    (I was going to fix it, but, since last night, all attempts to submit tikzcd or xymatrix to the nnLab time out.)

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeDec 29th 2021

    Now the xymatrix is rendering. Also made the author links come out and added publication data.

    diff, v2, current

    • CommentRowNumber5.
    • CommentAuthorGuest
    • CommentTimeDec 29th 2021
    Thanks!
    • CommentRowNumber6.
    • CommentAuthorJoshua Meyers
    • CommentTimeDec 29th 2021
    I just tried to do some typo fixes, but xymatrix is timing out again. Any idea what's happening?
    • CommentRowNumber7.
    • CommentAuthorJoshua Meyers
    • CommentTimeDec 29th 2021
    Just tried tikzcd instead...it still timed out. I know that it is not just a typo because I copied one of the example tikzcds from https://ncatlab.org/nlab/show/HowTo and that made it time out. Any suggestions?
    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeDec 29th 2021
    • (edited Dec 29th 2021)

    According to Richard here, the server has apparently reached the point where it can’t handle the size of the nnLab anymore, and we need to wait for Richard to, thankfully, migrate us to a better server.

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

    I think editing this page may be triggering the problems, as it is deeply nested in the rest of the nLab, so it may be best to hold off for a while.

  1. Tweak diagrams to be centred on the page.

    v3, current

    • CommentRowNumber11.
    • CommentAuthorRodMcGuire
    • CommentTimeApr 20th 2022

    where do the sources for the tikzcd diagrams on this page live?

    The page source only has stuff like

    <img src="/nlab/diagrams/show/20220421002920849955">

  2. Answered here :-).

    • CommentRowNumber13.
    • CommentAuthorTim_Porter
    • CommentTimeApr 21st 2022

    I corrected the title of the first referenced paper. Thanks RIchard for all the work.

    • CommentRowNumber14.
    • CommentAuthorRichard Williamson
    • CommentTimeApr 21st 2022
    • (edited Apr 21st 2022)

    Great! So far the edits seem to have gone through fine. There is no diff functionality yet, but if people wish to see what has changed they can of course do so locally, e.g.:

    curl https://ncatlab.org/nlab/history/source/comprehensive%20factorization%20system/5 > /tmp/revision_5
    curl https://ncatlab.org/nlab/history/source/comprehensive%20factorization%20system/6 > /tmp/revision_6
    vimdiff /tmp/revision_5 /tmp/revision_6
    

    Here, for those who are not familiar with it, curl is just a command-line way to fetch the content of a webpage (or execute other HTTP methods), one can equally well visit the page and download the content.

  3. linked domain to nLab article on domains

    testing comments

    v7, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)