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.
   • CommentAuthorzskoda
   • CommentTimeMay 15th 2011
   • (edited May 15th 2011)
   • PermaLink
   Author: zskoda
   Format: MarkdownItexNew entry [[representable morphism]], in the sense of Grothendieck school. The notion is used at [[closed immersion of schemes]] where I just made some changes.

   New entry representable morphism, in the sense of Grothendieck school. The notion is used at closed immersion of schemes where I just made some changes.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeMay 16th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have added a link to the existing [[representable morphism of stacks]]

   I have added a link to the existing representable morphism of stacks

3. • CommentRowNumber3.
   • CommentAuthorzskoda
   • CommentTimeMay 16th 2011
   • PermaLink
   Author: zskoda
   Format: MarkdownItexOh thanks, I forgot of its existence. It will need more work though... :=)

   Oh thanks, I forgot of its existence. It will need more work though… :=)

4. • CommentRowNumber4.
   • CommentAuthorMike Shulman
   • CommentTimeOct 5th 2012
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI clarified [[representable morphism]] as suggested by a query, and removed the query.

   I clarified representable morphism as suggested by a query, and removed the query.

5. • CommentRowNumber5.
   • CommentAuthorAli Caglayan
   • CommentTimeDec 21st 2018
   • PermaLink
   Author: Ali Caglayan
   Format: MarkdownItexAre there any category theoretic references on this notion? Everything I've found has been geometry related.

   Are there any category theoretic references on this notion? Everything I’ve found has been geometry related.

6. • CommentRowNumber6.
   • CommentAuthorMike Shulman
   • CommentTimeDec 22nd 2018
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexWell, there's [Natural models of type theory](https://arxiv.org/abs/1406.3219)...

   Well, there’s Natural models of type theory…

7. • CommentRowNumber7.
   • CommentAuthorAli Caglayan
   • CommentTimeDec 22nd 2018
   • PermaLink
   Author: Ali Caglayan
   Format: MarkdownItexYes thats what I've been reading, I haven't made this clear. It seems strange to me no category theorists have studied this notion since Grothendieck. In fact Awodey is the only writing I could find that uses it for reasons other than geometry.

   Yes thats what I’ve been reading, I haven’t made this clear. It seems strange to me no category theorists have studied this notion since Grothendieck. In fact Awodey is the only writing I could find that uses it for reasons other than geometry.

8. • CommentRowNumber8.
   • CommentAuthorGuest
   • CommentTimeJun 11th 2019
   • PermaLink
   Author: Guest
   Format: TextThe sentence "The main role of properties of spaces have to be done in a relative setup" doesn't really mean anything.

   The sentence "The main role of properties of spaces have to be done in a relative setup" doesn't really mean anything.
9. • CommentRowNumber9.
   • CommentAuthorMike Shulman
   • CommentTimeJun 11th 2019
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI believe I know what the intended meaning was, but I certainly agree that it was not very clear. I tried to clarify it. <a href="https://ncatlab.org/nlab/revision/diff/representable+morphism/6">diff</a>, <a href="https://ncatlab.org/nlab/revision/representable+morphism/6">v6</a>, <a href="https://ncatlab.org/nlab/show/representable+morphism">current</a>

   I believe I know what the intended meaning was, but I certainly agree that it was not very clear. I tried to clarify it.

   diff, v6, current

10. • CommentRowNumber10.
    • CommentAuthorMike Shulman
    • CommentTimeJun 11th 2019
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexBy the way, regarding #7, I believe representable morphisms (of $Cat$-valued (pre)sheaves, rather than sheaves of sets) are implicitly present in the discussion of "comprehension schemes" in section B1.3 of *Sketches of an Elephant*. But it's some work to extract them.

    By the way, regarding #7, I believe representable morphisms (of $Cat$-valued (pre)sheaves, rather than sheaves of sets) are implicitly present in the discussion of “comprehension schemes” in section B1.3 of Sketches of an Elephant. But it’s some work to extract them.

11. • CommentRowNumber11.
    • CommentAuthoranuyts
    • CommentTimeMar 4th 2024
    • PermaLink
    Author: anuyts
    Format: MarkdownItexredirects representable natural transformation <a href="https://ncatlab.org/nlab/revision/diff/representable+morphism/8">diff</a>, <a href="https://ncatlab.org/nlab/revision/representable+morphism/8">v8</a>, <a href="https://ncatlab.org/nlab/show/representable+morphism">current</a>

    redirects representable natural transformation

    diff, v8, current