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
108 points
20 comments2 min readLW link

Cat­e­gories: mod­els of models

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

Towards Hodge-podge Alignment

Cleo Nardo19 Dec 2022 20:12 UTC
79 points
28 comments9 min readLW link

Cat­e­gory The­ory Without The Baggage

johnswentworth3 Feb 2020 20:03 UTC
118 points
49 comments13 min readLW link

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

johnswentworth8 Sep 2020 20:44 UTC
39 points
1 comment4 min readLW link

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

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

Biex­ten­sional Equivalence

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

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

Scott Garrabrant3 Nov 2020 19:27 UTC
34 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

Ex­am­in­ing Arm­strong’s cat­e­gory of gen­er­al­ized models

Morgan_Rogers10 May 2022 9:07 UTC
14 points
0 comments7 min readLW link

What is cat­e­gory the­ory?

countedblessings6 Oct 2019 14:33 UTC
63 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
40 points
15 comments2 min readLW link

Ex­am­ples of Categories

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

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

Stuart_Armstrong16 Feb 2021 16:08 UTC
25 points
9 comments4 min readLW link

Cat­e­gor­i­cal-mea­sure-the­o­retic ap­proach to op­ti­mal poli­cies tend­ing to seek power

jacek12 Jan 2023 0:32 UTC
27 points
3 comments6 min readLW link

Ab­strac­tions as mor­phisms be­tween (co)algebras

Erik Jenner14 Jan 2023 1:51 UTC
12 points
1 comment8 min readLW link
No comments.