Николай Иваныч (nivanych) wrote in category_theory,
Николай Иваныч
nivanych
category_theory

Новый термин узнал — The Schanuel topos

The Schanuel topos (also called the Myhill-Schanuel topos) is the Grothendieck topos of combinatorial functors.
It plays an important role in computer science in the theory of name-binding calculi and in William Lawvere’s approach to petit toposes.
http://ncatlab.org/nlab/show/Schanuel+topos
И вроде, у Johnstone'а это есть, но как-то пропустил...
Subscribe
  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 3 comments