TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

Category Theory Lesson 2: Basics of Categorical Abstraction

22 pointsby MarkCCover 6 years ago

1 comment

anth_anmover 6 years ago
Another post I stumbled accross when looking for part one <a href="http:&#x2F;&#x2F;www.goodmath.org&#x2F;blog&#x2F;category&#x2F;bad-math&#x2F;cantor-crankery&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.goodmath.org&#x2F;blog&#x2F;category&#x2F;bad-math&#x2F;cantor-cranke...</a><p>A highlight I&#x27;d like HN to read, because it comes up every so often.<p>&gt; There’s a common belief among crackpots of various sorts that scientists and mathematicians use symbols and formalisms just because we like them, or because we want to obscure things and make simple things seem complicated, so that we’ll look smart.<p>&gt; That’s just not the case. We use formalisms and notation because they are absolutely essential. We can’t do math without the formalisms; we could do it without the notation, but the notation makes things clearer than natural language prose.