Hacker News new | ask | show | jobs
by mathgradthrow 846 days ago
That's an operator. A map to the quotient.