Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

On equality

Name: Anonymous 2015-03-21 19:11

"15" is an isomorphism of 15, so why shouldn't "15" == 15?

Name: Anonymous 2015-03-23 15:37

>>20
How would category theory make up for any of the shortcomings of type theory? I'm legitimately curious.
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -