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