Notes for February 5, 2018


What I learned today:

Functors have to preserve both objects and morphisms

In most common categories (locally small ones), the hom-sets are, well, sets.

Read Sutton 16.1 and 16.2.

Termination functions generalize discounting, and make more intuitive sense. Discounting always felt like a hack to me, since they mostly seem to exist to make sums converge.

The Kleene star is just the free monoid construction. I’ve started using the star and plus operators in type signatures since they’re really handy for functions of arbitrarily many arguments.

Thought about the coarseness and fineness of equivalence relations.

For my money, memorizing the definition of equivalence relations and their equivalence to partitions of a set is one of the biggest no-brainers.

Category theory has a lot of terminology.

Alberto Rodriguez gave a talk that included the phrase “ladder of shame”. Stealing that.

It’s funny that vim’s spell checker is the best one I’ve used simply because it doesn’t give dodgy autocorrect and if mapped to automatically use the first suggestion, is really fast. I can check a page in about 15 seconds. It’s also the only reason this note has proper capitalization.

Related Posts

Use of emphasis in speech

Generating a lot of language data with a theorem prover

"Litany Against Fear" in Present Tense

When it's time to party we will party hard

these are people who died

divine carrot

the frog

what it’s like to get nail phenolization

Why 0 to the power of 0 is 1

Lines and Points are Circles