Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

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: models in presheaf toposes

Bottom of Page

1 to 3 of 3

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJul 3rd 2013
    • (edited Jul 3rd 2013)

    created models in presheaf toposes with the statement of the fact that T-models in presheaves are presheaves of T-models, at least for T a geometric theory.

    Added a pointer to this from the corresponding discussion at group object.

    • CommentRowNumber2.
    • CommentAuthorSridharRamesh
    • CommentTimeJul 4th 2013

    Is geometric logic more restrictive than necessary for this result? The same is true even for T a theory making use of infinitary limits, no?

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJul 4th 2013

    Yeah, so I just put down Johnstone’s cor. D1.2.4 which of course in its full form in the book has a second part of the statement which does depend on finite limits.

    Please feel invited to edit the entry further.

1 to 3 of 3

  1.