Not signed in

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

Site 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: isomorphism in a Segal type

Bottom of Page

1 to 3 of 3

- CommentRowNumber1.
- CommentAuthorGuest
- CommentTimeMay 21st 2023
- PermaLink
Author: Guest
Format: MarkdownItexstarting page on isomorphisms in a Segal type <a href="https://ncatlab.org/nlab/revision/isomorphism+in+a+Segal+type/1">v1</a>, <a href="https://ncatlab.org/nlab/show/isomorphism+in+a+Segal+type">current</a>

starting page on isomorphisms in a Segal type

v1, current
- CommentRowNumber2.
- CommentAuthorUrs
- CommentTimeMay 21st 2023
- (edited May 21st 2023)
- PermaLink
Author: Urs
Format: MarkdownItexIt looks like for this entry it is important to declare what is meant by "morphism" and to refer to *[[hom type]]*. So after the word "morphism" I have added a parenthetical > ([[term]] of [[hom type]]) also I touched the formatting of the formula that now looks as follows: $$ \big(x \cong_A y\big) \;\;\coloneqq\;\; \sum_{ \mathclap{ f \colon \mathrm{hom}_A(x, y) } } \mathrm{isIso}(f) $$ <a href="https://ncatlab.org/nlab/revision/diff/isomorphism+in+a+Segal+type/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/isomorphism+in+a+Segal+type/2">v2</a>, <a href="https://ncatlab.org/nlab/show/isomorphism+in+a+Segal+type">current</a>

It looks like for this entry it is important to declare what is meant by “morphism” and to refer to hom type.

So after the word “morphism” I have added a parenthetical

(term of hom type)

also I touched the formatting of the formula that now looks as follows:
$<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"><semantics><mrow><mo maxsize="1.2em" minsize="1.2em">(</mo><mi>x</mi><msub><mo>≅</mo> <mi>A</mi></msub><mi>y</mi><mo maxsize="1.2em" minsize="1.2em">)</mo><mspace width="0.27778em"/><mspace width="0.27778em"/><mo>≔</mo><mspace width="0.27778em"/><mspace width="0.27778em"/><munder><mo lspace="0.16667em" rspace="0.16667em">∑</mo> <mpadded width="0px" lspace="-50%width"><mrow><mi>f</mi><mo lspace="0.11111em">:</mo><msub><mi mathvariant="normal">hom</mi> <mi>A</mi></msub><mo stretchy="false">(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo stretchy="false">)</mo></mrow></mpadded></munder><mi mathvariant="normal">isIso</mi><mo stretchy="false">(</mo><mi>f</mi><mo stretchy="false">)</mo></mrow><annotation encoding="application/x-tex"> \big(x \cong_A y\big) \;\;\coloneqq\;\; \sum_{ \mathclap{ f \colon \mathrm{hom}_A(x, y) } } \mathrm{isIso}(f) </annotation></semantics></math>$
diff, v2, current
- CommentRowNumber3.
- CommentAuthornLab edit announcer
- CommentTimeAug 9th 2024
- PermaLink
Author: nLab edit announcer
Format: MarkdownItexAdded reference * {#GWB24} [[Daniel Gratzer]], [[Jonathan Weinberger]], [[Ulrik Buchholtz]], *Directed univalence in simplicial homotopy type theory* ([arXiv:2407.09146](https://arxiv.org/abs/2407.09146)) Anonymouse <a href="https://ncatlab.org/nlab/revision/diff/isomorphism+in+a+Segal+type/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/isomorphism+in+a+Segal+type/3">v3</a>, <a href="https://ncatlab.org/nlab/show/isomorphism+in+a+Segal+type">current</a>
Added reference
- {#GWB24} Daniel Gratzer, Jonathan Weinberger, Ulrik Buchholtz, Directed univalence in simplicial homotopy type theory (arXiv:2407.09146)
Anonymouse

diff, v3, current

1 to 3 of 3

nForum

Discussion Feed

Not signed in

Site Tag Cloud

nLab > Latest Changes: isomorphism in a Segal type