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 definitions 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 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 nlab noncommutative noncommutative-geometry number-theory object 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).

nLab > Latest Changes: Kenzo

Bottom of Page

1 to 5 of 5

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeOct 30th 2022

    a category:reference-page for the constructive algebraic topology software

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeOct 31st 2022

    Added a pointer to Mitchell’s re-write of Kenzo in Haskell:

    diff, v2, current

    • CommentRowNumber3.
    • CommentAuthorjin
    • CommentTimeDec 28th 2024

    Add some personal notes that would help people new to kenzo to start working on it directly. However, the note is not nicely formatted.

    Feel free to remove it if it’s inappropriate.

    diff, v3, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeDec 28th 2024
    • (edited Dec 28th 2024)

    I have worked on the formatting. Please have a look to see if anything further needs adjustment.

    Some hints on formatting with our software here:

    • For in-line verbatim rendering: enclose in single inverted commas.

    • For displayed verbatim rendering such as for code snippets: indent by 5+ whitespaces.

    • For hierarchically typeset headers: type “## Top level header” then “### Second level header”, and so on.

    • Examples can be enclosed in “\begin{example}...\end{example}”, etc.

    diff, v4, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeDec 29th 2024

    Besides the formatting, your text may deserve some adjustment, too. A few phrases seem out of place or at least out of context, such as

    • “warning hasn’t compiled” (twice)

    • “In this version of Kenzo…” (which version? and why is this in a begin_quote-environment? maybe this could just be deleted)

    • “This looks like a 2-sphere to me” (what is the reader to make of this comment?)

    • “Do it as exercise! .. Answer on page 14.” (either add proper context or delete)

    Now that I write this, and looking over the entire addition, I am not sure how useful this can really be to readers in this form. Maybe it would be more useful to point readers dirctly to an actual Kenzo manual. I have added now to the entry more explicit pointer to www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/Kenzo-doc.pdf.

1 to 5 of 5

  1.