Your language?
Sep, 2019
Sun Mon Tue Wed Thu Fri Sat
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30

Set Theory and Logic

We frequently use the language of category theory in algebraic topology. We should be aware of the fact that the collection of all topological spaces does not form a set. We also need more advanced set theory to study model categories . We need ordinals and transfinite induction.

There is a field called mathematical logic in which people study logical structure themselves. Category theory is used frequently. It seems that model categories are used in this field these days.