Tag Archives: function

The invisible map

Posted on April 30, 2020 by xenaproject

Is a subgroup of a group a group? Is 3 a topology on 2? Is a natural number a real number? Decisions like this have consequences. Continue reading →

Posted in Type theory, undergrad maths | Tagged , , , | 7 Comments