Not signed in (Sign In)

Discussion Feed
- RSS2
- ATOM

Not signed in

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

Discussion Tag Cloud

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: fibrant type

1 to 3 of 3

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

created fibrant type with an Idea-section
- 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
- 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

1 to 3 of 3