Abstract maths

  • Thread starter tgt
  • Start date
  • #1
tgt
520
2
Category theory is considered extremely abstract. What are some other branches of mathematics which are considered as abstract or even more abstract then category theory?
 

Answers and Replies

  • #2
34
0
I don't think I'm in a position to answer this fully. Things like sheaf theory, cohomology theories, algebraic geometry can be pretty abstract.. they use category theory to some extent, but I don't know if they're 'more abstract'. Logic seems to me to be on an equal footing with category theory in terms of how abstract it can get, but a logician might disagree. Universal algebra is another example, though I've never learnt any.
 
  • #3
HallsofIvy
Science Advisor
Homework Helper
41,833
961
I rather expect that, in order to determine which of "category theory", "set theory", "logic", or "universal algebra" are more or less abstract, you will need an abstract definition of "abstract"!
 
  • #4
tgt
520
2
For ease of comparison, lets just have category theory as a standard for what is abstract.

How is logic up there with category theory?
 
  • #5
34
0
If you take category theory as the standard then since nothing is more like category theory than category theory everything else falls a bit short. :smile:

I suppose I'd put logic up there because while you use e.g. set theory and category theory to study mathematical structures, logic can be used to study both of these theories (set theory is a branch of logic). Model theory is another branch which studies structures in a similiar way to universal algebra. To me the study of different types of logic purely for their own sake is as abstruse as studying categories. Just my opinion though.
 

Related Threads on Abstract maths

  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
11
Views
3K
  • Last Post
Replies
14
Views
1K
  • Poll
  • Last Post
2
Replies
27
Views
4K
  • Last Post
Replies
2
Views
2K
Replies
13
Views
2K
Replies
9
Views
834
Replies
8
Views
6K
  • Last Post
Replies
5
Views
1K
Top