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

March 2026

S M T W T F S
1234567
891011121314
151617181920 21
22232425262728
293031    
Page generated Apr. 1st, 2026 07:33 pm
Powered by Dreamwidth Studios