For example, have you ever heard a category theorist say "Oh, I wanna prove that this diagram commutes. Let's suppose it doesn't."
Andrej Bauer: Five Stages of Accepting Constructive Mathematics (2016-08-16)
For example, have you ever heard a category theorist say "Oh, I wanna prove that this diagram commutes. Let's suppose it doesn't."
Andrej Bauer: Five Stages of Accepting Constructive Mathematics (2016-08-16)