Hedonistic Learning

Introduction I’ll start by rationalizing an example of “old” umbral calculus from Wikipedia.

Introduction I want to talk about one of the many pretty areas of number theory.

Introduction Purely functional list concatenation, xs ++ ys in Haskell syntax, is well known to be linear time in the length of the first input and constant time in the length of the second, i.e. xs ++ ys is O(length xs).

Introduction Classical First-Order Logic (Classical FOL) has an absolutely central place in traditional logic, model theory, and set theory.

Introduction In 1983, Mark Overmars described global rebuilding in The Design of Dynamic Data Structures.

Introduction Morleyization is a fairly important operation in categorical logic for which it is hard to find readily accessible references to a statement and proof.

Introduction Andrej Bauer has a paper titled The pullback lemma in gory detail that goes over the proof of the pullback lemma in full detail.

Introduction It is not uncommon for universal quantification to be described as (potentially) infinite conjunction1.

Introduction The purpose of this article is to answer the question: what is the coproduct of two groups?

Introduction This is a brief article about the notions of preserving, reflecting, and creating limits and, by duality, colimits.