Idea of what category theory is. Basic definition of mathematical concepts.
Notions that are important in category theory. Commutative diagrams; categories as kinds of context. At the end, how this fits in a bigger picture.
Aside: I'm reading Feynman and this fits in amazingly well with the introduction of that book, six easy pieces.
Category theory is about composing stuff together.
Example: composing journeys.
Example: composing processes. Mathematical functions, algorithms, physical processes.
Notation: boxes instead of arrows. Directionality is from left to right.
The output of the first box is the same type as the input of the second.
You can also compose physical components, of course.
And physical processes.
The fundamental example is mathematical; composing functions as sets.
Aside: we should put this on youtube.
We'll be used 'then' notations for compositions, not traditional.
We can compose morphisms when the target of the first matches the source of the second.
Common feature of all examples: they are associative. The order of composition doesn't matter; the order of application may. (check)
This was true for all the examples we looked at so far.
Associativity means that brackets are not needed.
Aside: going from a class in real time to screenshots is one morphism; going from screenshots to notes is another. Going from notes to a chapter or blog post is another.
Associativiy in plugs:
Identity morphisms: morphisms that do nothing. Like a zero in addition.
Identity morphism for functions: the identity function.
A converter that converts to the same electrical standard is just an extension that can become a converter of any type with one additional composition.
Mathematical notion of a category
Aside: I think most concepts had been introduced before except one?
"F is a morphism from X to Y":
Unitality: identity "works" (I think this was the concept I thought hadn't been defined previously):
The category of sets and functions plays a central role in category:
The category of journeys:
(Aside: some screenshots might be duplicate, they are likely from two moments that felt significant)
Any directed graph generates a category.
(Aside: a directed graph generates dependency trees.)
Category theory is interested in relations between morphisms.
if f;g is equal to h, this diagram commutes.
Aside: when you say 'if you compose' something, it'd be nice to have the right notation for the composition on screen.
Sameness: isomorphism. Identity is equal to roundtrip.
(Aside: I needed more time in this slide).
Example: categorical product.
You start with objects, no morphisms. From the left diagram, you construct one with morphisms. In this one, we generalize cartesian product.
Additional structures: monoidal products. A way to compose objects and morphisms "in parallel".
(Aside: it would be nice to have original and post application of composition side by side or top to bottom).