Is type theory not a mathematical theory?

[Gary Fixler]

Is it part of one of the other theories?

https://en.wikipedia.org/wiki/List_of_mathematical_theories

[Joseph Abrahamson]

Type Theory could be said to be related to a few on that list... But much more accurate is to say that that list is pretty incomplete. Maybe even more accurate is to say that I can't imagine any way to make that list complete in a way which would satisfy all, or even most, people.

But as long as we're at it

- Category Theory
- Computation Theory
- Set Theory
- Proof Theory
- Sheaf/Topos Theory

are all pretty closely related.

On Fri, Dec 18, 2015 at 2:32 PM Gary Fixler <gfi...@gmail.com> wrote:

Is it part of one of the other theories?

https://en.wikipedia.org/wiki/List_of_mathematical_theories

--
You received this message because you are subscribed to the Google Groups "Type Theory Study Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email to type-theory-study...@googlegroups.com.
To post to this group, send email to type-theory...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/type-theory-study-group/8b9a8962-3fb5-4c2e-ae6e-964a3490e0f0%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.