(Warning: I’m trying to talk about things I don’t really understand in this post, so feel free to correct me if you see a statement that’s obviously wrong.) Why are continuous functions the “correct” notion of homomorphism between topological spaces? The “obvious” way to define homomorphisms for a large class of objects involves thinking of [...]
Posts Tagged ‘equivalence relations’
The “correct” definition of a homomorphism
Posted in category theory, order theory, topology, tagged abstract nonsense, contravariant functors, duality, equivalence relations, Hom functors on August 8, 2009 | 15 Comments »
IMO 2009 and proof systems
Posted in abstract algebra, number theory, Putnam / competitions, remarks, tagged Chebyshev polynomials, equivalence relations, Galois theory, Grobner bases, pedagogy, philosophy of mathematics, trigonometry on July 17, 2009 | 3 Comments »
The problems from IMO 2009 are now available. I haven’t had much time to work on them, though. There are two classical geometry problems, which I already know I won’t attempt. While I am well aware that classical geometry often requires a great deal of ingenuity, I am also aware of the existence of the [...]
GILA I: Group actions and equivalence relations
Posted in GILA, group theory, tagged equivalence relations, group actions, Polya theory on June 13, 2009 | 8 Comments »
Sometimes I worry that I should be more consistent or more lenient about the background I expect of my readers. (Readers, I have to admit that I still don’t really know who you are!) Considering how important I think it is that mathematicians value communicating their ideas to non-specialists (what John Armstrong calls the Generally [...]