3 thoughts on “Joyal: Arithmetisation dans le topos

    1. It talks mostly about classifying toposes, but also gives at least a rough definition and some examples of what Joyal thinks should be an arithmetic universe:

      Universe arithmetique: Topos ÷ chose [sic] qui ne sont pas invariant par j* (Arithmetic universe: topos ÷ things which are not invariant under j*)
      1. pretopos
      2. free categories on [internal] graphs exist


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.