Cat­e­gory Theory

TagLast edit: 31 Jul 2020 8:49 UTC by Yoav Ravid

Category Theory is a controversial topic in it’s usefulness. it can perhaps be described as an attempt to create a language of generalizations

So you’ve heard of this thing called “category theory”. Maybe you’ve met some smart people who say that’s it’s really useful and powerful for… something. Maybe you’ve even cracked open a book or watched some lectures, only to find that the entire subject seems to have been generated by training GPT-2 on a mix of algebraic optometry and output from (from here)

note: i (the person who wrote the current description) knows very little about category theory and made it because it’s a fitting topic and cluster of posts, so someone should look over this and fix what may need fixing (and then delete this note)

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
82 points
29 comments9 min readLW link

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

countedblessings6 Oct 2019 14:43 UTC
109 points
19 comments2 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

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

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

Cat­e­gory The­ory Without The Baggage

johnswentworth3 Feb 2020 20:03 UTC
118 points
49 comments13 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

Roadmap for a col­lab­o­ra­tive pro­to­type of an Open Agency Architecture

Deger Turan10 May 2023 17:41 UTC
15 points
0 comments12 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
37 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

Davi­dad’s Bold Plan for Align­ment: An In-Depth Explanation

19 Apr 2023 16:09 UTC
100 points
14 comments21 min readLW link
No comments.