Jun. 18th, 2007

sniffnoy: (Chu-Chu Zig)
So today was the first day of REU. And there was the discrete math class and there was pizza and there was the random walks class and then there was the, uh, last class.

J. Peter May was teaching it, and he starts off by just putting up on the board a definition and a theorem:

Definition: An n-TQFT (topological quantum field theory) is a symmetric monoidal functor n-Cob→VectK.
Theorem: The category of 2-TQFTs is equivalent to the category of commutative Frobenius K-algebras.

...meaning, of course, that in order to explain any of this he's going to have to start by teaching us all category theory. And so today was basic category theory.

Quotes:
After explaining how a monoid is a category with one object, he suggests that "a category is a monoid with many objects."
He mentions how some people do their function composition the other way around; Big-Haired Steve suggests we call this "co-standard notation".

Also, apparently, in category theory, the plural of "skeleton" is "skeleta".

Meanwhile, it turns out that while Grant has Smash, and Jim (!) has the N64, their apartment did not come with a TV. And none of Grant, Jim, or Amelia brought one. What will they do? We will see.

-Harry

May 2025

S M T W T F S
    123
45678910
11121314151617
181920212223 24
25262728293031
Page generated Jun. 19th, 2025 12:45 pm
Powered by Dreamwidth Studios