Are Equal Things Equal?

[si_blakely]

@Mathochist

…Once you get a few steps up this ladder, you lose essential information about the structure when you decategorify, so it becomes extremely important to keep track of what things are really equal, and what things are merely equivalent.

Thanks Mathochist I see what you are driving at. I haven’t done any of that sort of theory of math ever (just some calculus and vector maths), so you have just opened up vast new vistas of ignorance for me to not know about. :smack:

Hmm - I need something to read over christmas (since there won’t be any snow on my skiing holiday[/rant]) so maybe I’ll look for something in the maths line - for laymen.

Si