Not signed in (Sign In)

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 book 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 gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft 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).
  1. Hello,

    Is it a better idea to add images instead of writing latex code and rendering it here? Diagrams do not seem to be as good as in say some wordpress site.

    There are some restrictions on what codes one can render (I guess tikzcd is not possible to render). So, I think it is better to add images so that it looks better.

  2. Good idea in my view! Just upload the pictures to the nLab, so they do not disappear. I have ideas of including tikz in my reworking of the rendering, but no idea when I will find the time.

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeJul 10th 2018

    I would actually say no: please use the nLab math formatting facilities whenever possible. The big problem with uploading pictures is that it is much more difficult for other people editing a page to modify them. The fact that anyone can edit any part of a page is fundamental to the meaning of a wiki like the nLab; it’s regrettable that our diagrams don’t look quite as nice, but I don’t think a slightly improved appearance justifies breaking the basic nature of a wiki. (When it comes to diagrams that literally can’t be reproduced in our wiki-syntax, then I think it’s more acceptable, but I generally just try to avoid such diagrams.)

    Diagrams should definitely go on the Technical TODO List (nlabmeta)!

    • CommentRowNumber4.
    • CommentAuthorRodMcGuire
    • CommentTimeJul 10th 2018

    please use the nLab math formatting facilities whenever possible. The big problem with uploading pictures is that it is much more difficult for other people editing a page to modify them.

    I agree, that is at least for images that have been generated rather that captured by a screen grab.

    The nLab could use some sort of subsystem for generated images that keeps around their source code and can regenerate them as PNGs or SVG. Wikipedia sort of has a convention of providing source for images but doesn’t address regeneration. See https://en.wikipedia.org/wiki/File:5_lemma.svg, https://en.wikipedia.org/wiki/File:2-commutative-diagram.pdf.svg, and https://en.wikipedia.org/wiki/File:Categorical_pullback_(expanded).svg.

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeJul 10th 2018

    Instiki does include an SVG editor. However, in practice it doesn’t seem to be very practical. Maybe the ideal would be a syntax that one could type into the source of a page that would result in the server rendering a standalone latex document to get an image that it would save and then automatically include when displaying the page.

    Of course, another disadvantage with images of any sort is that they don’t scale the way text does when a page is zoomed.

    • CommentRowNumber6.
    • CommentAuthorRodMcGuire
    • CommentTimeJul 11th 2018

    Of course, another disadvantage with images of any sort is that they don’t scale the way text does when a page is zoomed.

    A .svg file is an image file that can be anywhere that say a .png file can, and they do scale. The Wikipedia examples I listed above indicate that there is a way to go from tex to svg.

    One does want SVG files not to contain characters but instead svg encodings of them to avoid the layout problems caused by different people having different default fonts.

  3. How about posting the diagram as well as code hidden just near the diagram?

    % something when you render in some latex compiler will hide that something.

    So, you can write the code in that % so that it is not visible unless you try to edit and any one who want to edit the diagram can use the code.

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeJul 11th 2018

    Sorry, of course in #5 I meant to say “bitmap images”. SVG is, as it says on the tin, the Scalable Vector Graphics format. Converting LaTeX/TikZ to SVG seems like a good idea, although judging by the answers here we might have to go through PDF or DVI first.

    I don’t think instiki currently has a way to insert “comments” in the source that aren’t rendered at all in the browser, does it? If it did, I suppose including the source alongside the image would be one approach, but it would require every editor to manually compile, image-ify, and re-upload the diagram, which isn’t ideal.

  4. Mike’s points are good ones. Maybe you could use standard nLab code for simple diagrams, Praphulla, and images for the others. You should be able to use HTML, so you could include the source code inside a

    <div style="hidden">
    

    block or similiar. Maybe give it an id that allows us to recognise it as containing diagram source.

    Definitely I’d suggest not to use the SVG editor. Actually I would like to remove it from the nLab, just haven’t got around to suggesting it yet.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJul 11th 2018

    Definitely I’d suggest not to use the SVG editor. Actually I would like to remove it from the nLab, just haven’t got around to suggesting it yet.

    When you do find the time (thanks!) maybe also remove the button right above, saying “Make this page and S5 slide show”. The only effect this button has had in the past is that users accidently generated spurious edits, which we then had to undo.

  5. Thanks @Richard williamson. I will try doing like that next time :)

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJul 11th 2018

    Praphulla Koushik, which diagrams specifically do you want to typeset?

  6. @Urs : Hello Sir,

    Most of the commutative diagrams, for example the diagram in https://ncatlab.org/nlab/show/cokernel

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJul 11th 2018
    • (edited Jul 11th 2018)

    For such simple diagrams, the available array-hacks seem to be sufficient:

    A f B (po) 1 coker(f) \array{ A &\stackrel{f}{\longrightarrow}& B \\ \big\downarrow &{}^{(po)}& \big\downarrow \\ 1 &\longrightarrow& coker(f) }

    To make this come out decently, just be sure to stretch the arrows:

    For horizontal arrows use \longrightarrow instead of \to or \rightarrow and similarly \longleftarrow etc.

    For vertical arrows use \big\downarrow instead of just \downarrow, etc.

    The above is typeset with

      \array{
        A &\stackrel{f}{\longrightarrow}& B
        \\
        \big\downarrow &{}^{(po)}& \big\downarrow
        \\
        1 
          &\longrightarrow& 
        coker(f)
      }
    

    It’s not perfect, but also not too bad.

  7. @Urs :

    It looks definitely better. I will try to imitate this idea where I think a diagram can be made better.

    Thanks.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeJul 11th 2018

    Okay, good. You can further stretch horizontal arrows by labeling them with sufficient whitespace, such as \overset{\phantom{AAAAA}}{\longrightarrow}

    AAA\overset{\phantom{AAA}}{\longrightarrow}

    AAAA\overset{\phantom{AAAA}}{\longrightarrow}

    AAAAA\overset{\phantom{AAAAA}}{\longrightarrow}

    AAAAAA\overset{\phantom{AAAAAA}}{\longrightarrow}

    AAAAAAA\overset{\phantom{AAAAAAA}}{\longrightarrow}

    AAAAAAAA\overset{\phantom{AAAAAAAA}}{\longrightarrow}

    AAAAAAAAA\overset{\phantom{AAAAAAAAA}}{\longrightarrow}

    AAAAAAAAAA\overset{\phantom{AAAAAAAAAA}}{\longrightarrow}

    For instance adjunctions etc. come out well this way:

    𝒞AARAAL𝒟 \mathcal{C} \underoverset {\underset{\phantom{AA}R\phantom{AA}}{\longrightarrow}} {\overset{L}{\longleftarrow}} {\bot} \mathcal{D}

    generated from

         \mathcal{C}
           \underoverset
             {\underset{\phantom{AA}R\phantom{AA}}{\longrightarrow}}
             {\overset{L}{\longleftarrow}}
             {\bot}
         \mathcal{D}