Count Number of Maps: First Exercises of Conceptual Mathematics in Clojure

Posted on: Wed, 05/16/2012 - 21:33 By: Huahai

As previously mentioned, I am learning category theory, beginning with Lawvere's Conceptual Mathematics book. This is a very elementry book that assumes almost nothing as a background. However, it is still a math book, which requires doing some exercises. Since the book provides no answer to exercises, I decide to make my own and post them here as I did them. Hopefully someone will find them useful.

Start learning category theory

Posted on: Mon, 04/30/2012 - 08:48 By: Huahai

Perhaps due to my rather small brain (literally), I dislike remembering tedious details. When in elementary school, I hated reciting classic Chinese poems, but liked composing my own :-).  In high school, I hated chemistry but loved physics, because one could do everything based on a few principles in physics, whereas chemistry was all about memorization. Last year, I was chatting with a colleage of mine who had a Ph.D. degree in chemistry from Harvard. He said he's good at it because he could find patterns in all the tedious details and summerized them in his own head, so he didn't have to remember them all. So I said why not write those patterns down so others can benefit, and he didn't seem to like that idea. Anyway, let's go back to the main topic.

Why category thoery is fundamental yet hard to understand

Posted on: Sat, 01/07/2012 - 07:02 By: Huahai

Category theory is mathematical theory about mapping. Some call it the foundation of mathematics.

According to my understanding of math as reproducible mental object, this is not supprising. As all the brain does is doing mapping. Or in Plovian's words: conduction. Signals going from one set of neuros to another.  Understanding mapping is fundamental obviously.

Now category is billed the hardest to understand branch of mathematics, also known as "abstract nonsense". 

Display LaTeX Math on Drupal with MathJax

Posted on: Mon, 07/18/2011 - 21:19 By: Huahai

MathJax seems to be the emerging standard for displaying math on the Web at this moment. It is supported by American Mathematical Society and American Physical Society, and has already been adopted by major math related discussion venues such as Physics Forums and Stack Exchange. MathJax displays math using CSS and Web fonts instead of images, so the quality is very high and is resize-friendly. Below are some examples:

Inline math: the geometric product $\boldsymbol{uv}$ of vectors $\boldsymbol{u}$ and $\boldsymbol{v}$ is $\boldsymbol{u}\cdot\boldsymbol{v} + \boldsymbol{u}\wedge\boldsymbol{v}$, where $\boldsymbol{u}\cdot\boldsymbol{v}$ is the inner product and $\boldsymbol{u}\wedge\boldsymbol{v}$ is the outer product.


Posted on: Sat, 04/12/2008 - 06:29 By: Huahai

显微镜下的数学 Mathematics under microscope (电子书下载)是本数学家写的

物(Mathematics is the study of mental objects with reproducible properties.

Yaha! A Math Game for Everyone.

Posted on: Wed, 10/31/2007 - 05:43 By: Huahai

Yaha! is a traditional math game popular among Chinese speaking populations. It has been historically given a varieties of names, but the essence of the game is the same: the players are given 4 playing cards, their task is to use the 4 numbers represented by the cards, use them once and only once, to get the number 24. The players are allowed to apply all four arithmetic operations: addition, subtraction, multiplication and division, as well as parenthesis as they see fit. The winner is whoever comes up with a correct solution first.

This program is a simulation of the game. It is at present form designed to be played by only one player. Remember, your goal is to form an arithmetic expression by dragging cards and operators into appropriate slots and let the result of your expression equals to 24. Got it? Click the picture below to load the game. It will start in a new window.


Posted on: Tue, 10/30/2007 - 07:24 By: Huahai


Subscribe to Math