Cat­e­gory Theory

TagLast edit: 1 Aug 2020 12:05 UTC by adamShimi

Category Theory is a subfield of Mathematics studying mathematical structures and their conservation through various transformation. It emerged in the study of algebraic topology, then went on to apply to most parts of mathematics.

Despite some work on applied category theory, it’s usefulness for problem solving (especially in topics close to LW, such as Rationality and AI Safety) is still controversial. One possible explanation is that category theory usually comes after the results, to structure them and find the links with previous results in other fields.

In­tro­duc­tion to In­tro­duc­tion to Cat­e­gory Theory

countedblessings6 Oct 2019 14:43 UTC
103 points
20 comments2 min readLW link

Cat­e­gories: mod­els of models

countedblessings9 Oct 2019 2:45 UTC
44 points
18 comments12 min readLW link

CTWTB: Paths of Com­pu­ta­tion State

johnswentworth8 Sep 2020 20:44 UTC
36 points
0 comments4 min readLW link

Ad­di­tive Oper­a­tions on Carte­sian Frames

Scott Garrabrant26 Oct 2020 15:12 UTC
60 points
6 comments11 min readLW link

Biex­ten­sional Equivalence

Scott Garrabrant28 Oct 2020 14:07 UTC
42 points
13 comments10 min readLW link

Mul­ti­plica­tive Oper­a­tions on Carte­sian Frames

Scott Garrabrant3 Nov 2020 19:27 UTC
33 points
23 comments12 min readLW link

Carte­sian frames as gen­er­al­ised models

Stuart_Armstrong16 Feb 2021 16:09 UTC
20 points
0 comments5 min readLW link

Cat­e­gory The­ory Without The Baggage

johnswentworth3 Feb 2020 20:03 UTC
102 points
40 comments13 min readLW link

What is cat­e­gory the­ory?

countedblessings6 Oct 2019 14:33 UTC
60 points
6 comments3 min readLW link

[Question] Why does cat­e­gory the­ory ex­ist?

Ben Pace25 Apr 2019 4:54 UTC
36 points
10 comments1 min readLW link

The sen­tence struc­ture of mathematics

countedblessings7 Oct 2019 18:58 UTC
38 points
15 comments2 min readLW link

Ex­am­ples of Categories

countedblessings10 Oct 2019 1:25 UTC
21 points
2 comments5 min readLW link

Gen­er­al­ised mod­els as a category

Stuart_Armstrong16 Feb 2021 16:08 UTC
12 points
5 comments4 min readLW link
No comments.