Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeMay 12th 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexcreated _[[fibrant type]]_ with an Idea-section

   created fibrant type with an Idea-section

2. • CommentRowNumber2.
   • CommentAuthoranuyts
   • CommentTimeFeb 14th 2023
   • PermaLink
   Author: anuyts
   Format: MarkdownItexExtend definition of fibrant types to open types. <a href="https://ncatlab.org/nlab/revision/diff/fibrant+type/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/fibrant+type/2">v2</a>, <a href="https://ncatlab.org/nlab/show/fibrant+type">current</a>

   Extend definition of fibrant types to open types.

   diff, v2, current

3. • CommentRowNumber3.
   • CommentAuthoranuyts
   • CommentTimeFeb 14th 2023
   • PermaLink
   Author: anuyts
   Format: MarkdownItexCite contextual fibrancy. <a href="https://ncatlab.org/nlab/revision/diff/fibrant+type/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/fibrant+type/2">v2</a>, <a href="https://ncatlab.org/nlab/show/fibrant+type">current</a>

   Cite contextual fibrancy.

   diff, v2, current

4. • CommentRowNumber4.
   • CommentAuthorMike Shulman
   • CommentTimeFeb 23rd 2024
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexReplace HTS by 2LTT, which is the modern version. <a href="https://ncatlab.org/nlab/revision/diff/fibrant+type/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/fibrant+type/4">v4</a>, <a href="https://ncatlab.org/nlab/show/fibrant+type">current</a>

   Replace HTS by 2LTT, which is the modern version.

   diff, v4, current