4
$\begingroup$

I am new to Category theory and for the sake of the practice, I am interested in revisiting and expressing those concepts that I am familiar with --however basic--, in the language of categories. While categories deal with subtle things like homology quite gently, the use of them in basic undergraduate math, seems unnecessary and usually is avoided. Here is one example:

In elementary number theory, the Greatest Common Divisor (GCD) and Least Common Multiple (LCM) can be seen as products and coproducts in the category which its objects are natural numbers and its morphisms are build out of divisibility expressions:

$ dom f |cod f \iff dom f\stackrel{f}\longrightarrow cod f $ While there is no terminal object in this category, 1 is its initial object and we can also characterize primes, unites and factorization in terms of arrows.

Now here is my specific question:

How to formulate compactness and various separation axioms, particularly Hausdorff property, in terms of arrows in Top.

The second part of my question is a request for reading materials (apart from Maclane's), which would include such things and more. Thank you.

  • 0
    I'm just thinking of an injective continuous map that is a homeomorphism onto its image.2012-10-27

0 Answers 0