πŸ“š node [[category theory]]
β₯… node [[category-theory-basics]] pulled by user

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.

β₯… [[Pasted image 20210530135545.png]]

Aside: I'm reading Feynman and this fits in amazingly well with the introduction of that book, six easy pieces.

An [[elegant framework]] for reasoning about situations where we are composing stuff together. [[modeling]], [[computation]].

Category theory is about [[composing stuff]] together.

β₯… [[Pasted image 20210530135718.png]]

Example: composing [[journeys]].

β₯… [[Pasted image 20210530135755.png]]

Example: composing processes. Mathematical functions, algorithms, physical processes.

β₯… [[Pasted image 20210530135825.png]]

Notation: boxes instead of arrows. Directionality is from left to right.

β₯… [[Pasted image 20210530135906.png]]

The output of the first box is the same [[type]] as the input of the second.

β₯… [[Pasted image 20210530135937.png]]

You can also compose physical components, of course.

β₯… [[Pasted image 20210530140048.png]]

And physical processes.

β₯… [[Pasted image 20210530140116.png]]

The fundamental example is mathematical; composing functions as sets.

β₯… [[Pasted image 20210530140203.png]]

β₯… [[Pasted image 20210530140223.png]]

Aside: we should put this on youtube.

We'll be used 'then' notations for compositions, not traditional.

β₯… [[Pasted image 20210530140255.png]]

β₯… [[Pasted image 20210530140312.png]]

We'll relate [[objects]]. The things doing the relating are [[morphisms]].

(here there should be a better screenshot, I couldn't get it on time)

β₯… [[Pasted image 20210530140421.png]]

β₯… [[Pasted image 20210530140330.png]]

Each morphism has a [[source]] and a [[target]].

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)

β₯… [[Pasted image 20210530140543.png]]

β₯… [[Pasted image 20210530140623.png]]

β₯… [[Pasted image 20210530140657.png]]

β₯… [[Pasted image 20210530140711.png]]

This was [[true]] for all the examples we looked at so far.

Associativity means that brackets are not needed.

β₯… [[Pasted image 20210530140748.png]]

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:

β₯… [[Pasted image 20210530140849.png]]

Identity morphisms: morphisms that do nothing. Like a zero in addition.

Identity morphism for functions: the identity function.

β₯… [[Pasted image 20210530140955.png]]

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.

β₯… [[Pasted image 20210530141056.png]]

[[identity journeys]] (aside: I call these [[excursions]])

β₯… [[Pasted image 20210530141124.png]]

Mathematical notion of a category

β₯… [[Pasted image 20210530141159.png]]

Aside: I think most concepts had been introduced before except one?

"F is a morphism from X to Y":

β₯… [[Pasted image 20210530141245.png]]

Identity morphisms:

β₯… [[Pasted image 20210530141302.png]]

Composition:

β₯… [[Pasted image 20210530141330.png]]

Unitality: identity "works" (I think this was the concept I thought hadn't been defined previously):

β₯… [[Pasted image 20210530141404.png]]

The [[category of sets and functions]] plays a central role in category:

β₯… [[Pasted image 20210530141427.png]]

The [[category of plugs and chords]]:

β₯… [[Pasted image 20210530141507.png]]

The [[category of journeys]]:

β₯… [[Pasted image 20210530141542.png]]

β₯… [[Pasted image 20210530141611.png]]

(Aside: some screenshots might be duplicate, they are likely from two moments that felt significant)

Any directed graph generates a category.

β₯… [[Pasted image 20210530141716.png]]

(Aside: a directed graph generates dependency trees.)

But categories are [[richer]] than [[directed graphs]], so they aren't used that much as such.

β₯… [[Pasted image 20210530141809.png]]

Category theory is interested in [[relations between morphisms]].

β₯… [[Pasted image 20210530141831.png]]

if f;g is equal to h, this diagram [[commutes]].

β₯… [[Pasted image 20210530141857.png]]

Aside: when you say 'if you compose' something, it'd be nice to have the right notation for the composition on screen.

β₯… [[Pasted image 20210530141942.png]]

[[commutative diagrams]]

β₯… [[Pasted image 20210530141956.png]]

Sameness: [[isomorphism]]. Identity is equal to roundtrip.

β₯… [[Pasted image 20210530142018.png]]

(in the category of sets/functions, an isomorphism is equivalent to a [[bijection]]. in the category of topological spaces and continuous maps, it is a [[homeomorphism]])

A context.

β₯… [[Pasted image 20210530142110.png]]

(Aside: I needed more time in this slide).

Contexts leads to [[universal constructions]] and [[universal properties]].

β₯… [[Pasted image 20210530142206.png]]

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.

β₯… [[Pasted image 20210530142319.png]]

[[pushouts]] Using the information given by f and g, you [[integrate]] two objects (check).

β₯… [[Pasted image 20210530142330.png]]

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).

(Aside: missing screenshot here, find in Pictures)

β₯… [[Pasted image 20210530142541.png]]

β₯… [[Pasted image 20210530142425.png]]

β₯… node [[mini-curriculum-on-applied-category-theory-and-engineering-design]] pulled by user
  • First posted [[2021-01-01]]
  • Suggested program:
    • Step 1: Read the the paper [[A mathematical theory of co-design]], freely available here
      • This has no category theory in it, and should be understandable without any prerequisites. I think that having a quick look at this paper will give you a sense if doing this mini-curriculum is something that would interest you. Another option is to skip this paper, and just do Step 2 (the 4th chapter in Step 2 covers some of the material from Step 1, but using category theory).
    • Step 2: Read the first four chapters in the book [[Seven Sketches in Compositionality]], freely available here
πŸ“– stoas
β₯± context
β₯… related node [[an invitation to applied category theory]]
β₯… related node [[category theory basics]]
β₯… related node [[category theory for engineers]]
β₯… related node [[category theory for programmers]]
β₯… related node [[mini curriculum on applied category theory and engineering design]]
β₯… related node [[20200708122545 category_theory]]