Not signed in

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

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

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 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 sheaves 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

1. • CommentRowNumber1.
   • CommentAuthorAli Caglayan
   • CommentTimeSep 5th 2018
   • PermaLink
   Author: Ali Caglayan
   Format: MarkdownItexIt can be a bit of a mouthful to write homotopytypetheory when linking externally so while the wiki is young shall we rename it to hott? This obviously breaks many links in the forum and I do not know if there is a way to redirect this?

   It can be a bit of a mouthful to write homotopytypetheory when linking externally so while the wiki is young shall we rename it to hott?

   This obviously breaks many links in the forum and I do not know if there is a way to redirect this?

2. • CommentRowNumber2.
   • CommentAuthorMike Shulman
   • CommentTimeSep 5th 2018
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI was wondering that too. Richard, would it be possible to set up a "web redirect"?

   I was wondering that too. Richard, would it be possible to set up a “web redirect”?

3. • CommentRowNumber3.
   • CommentAuthorRichard Williamson
   • CommentTimeSep 5th 2018
   • PermaLink
   Author: Richard Williamson
   Format: MarkdownItexYes, sounds like a good plan!

   Yes, sounds like a good plan!

4. • CommentRowNumber4.
   • CommentAuthorAli Caglayan
   • CommentTimeSep 5th 2018
   • PermaLink
   Author: Ali Caglayan
   Format: TextCan you change the name and do the web redirect?

   Can you change the name and do the web redirect?
5. • CommentRowNumber5.
   • CommentAuthorRichard Williamson
   • CommentTimeSep 5th 2018
   • PermaLink
   Author: Richard Williamson
   Format: MarkdownItexI have to implement something to do the redirect, apologies for not being clearer. I will implement it as soon as possible, but have a few other things that have higher priority to complete first. Apologies for the inconvenience in the meantime.

   I have to implement something to do the redirect, apologies for not being clearer. I will implement it as soon as possible, but have a few other things that have higher priority to complete first. Apologies for the inconvenience in the meantime.

6. • CommentRowNumber6.
   • CommentAuthorRodMcGuire
   • CommentTimeSep 5th 2018
   • PermaLink
   Author: RodMcGuire
   Format: MarkdownItexA while back when I was trying to set up my own copy of Instiki I had the idea of setting up a "wiki scope" mechanism in which each wiki has an ordered list of other wikis which are used when trying to resolve a reference like `[[foo]]`. If the reference can't be resolved in the current wiki then it is resolved to the first wiki in the list where it can be. For example if the first element in a wiki's scope list is `https://ncatlab.org/nlab` then a reference such as `[[Set]]` will be resolved there if not locally present. This mechanism could get rid of much of the pain of inter wiki linking, though some might think that hiding that the link is to a different wiki dangerously obscures things.

   A while back when I was trying to set up my own copy of Instiki I had the idea of setting up a “wiki scope” mechanism in which each wiki has an ordered list of other wikis which are used when trying to resolve a reference like [[foo]]. If the reference can’t be resolved in the current wiki then it is resolved to the first wiki in the list where it can be.

   For example if the first element in a wiki’s scope list is https://ncatlab.org/nlab then a reference such as [[Set]] will be resolved there if not locally present.

   This mechanism could get rid of much of the pain of inter wiki linking, though some might think that hiding that the link is to a different wiki dangerously obscures things.