Skip to main content
MathOverflow

Return to Question

replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link
Community Bot
Community Bot
  • 1
  • 2
  • 3

Continuing about this my questionthis my question.

Mac Lane "Categories for the Working Mathematician" and "Abstract and Concrete Categories. The Joy of Cats" use different set theory foundations.

How one to transfer theorems between these two different systems? That is if a theorem is proved in one of these two systems what can be inferred in the other?

Continuing about this my question.

Mac Lane "Categories for the Working Mathematician" and "Abstract and Concrete Categories. The Joy of Cats" use different set theory foundations.

How one to transfer theorems between these two different systems? That is if a theorem is proved in one of these two systems what can be inferred in the other?

Continuing about this my question.

Mac Lane "Categories for the Working Mathematician" and "Abstract and Concrete Categories. The Joy of Cats" use different set theory foundations.

How one to transfer theorems between these two different systems? That is if a theorem is proved in one of these two systems what can be inferred in the other?

Added lo.logic category
Link
porton
porton
  • 765
  • 4
  • 24
Source Link
porton
porton
  • 765
  • 4
  • 24

How different category theories relate

Continuing about this my question.

Mac Lane "Categories for the Working Mathematician" and "Abstract and Concrete Categories. The Joy of Cats" use different set theory foundations.

How one to transfer theorems between these two different systems? That is if a theorem is proved in one of these two systems what can be inferred in the other?