•

Applied to Time is homogeneous sequentially-composable determination by bmorphism ago

•

Applied to Aggregative principles approximate utilitarian principles by Cleo Nardo ago

•

Applied to Aggregative Principles of Social Justice by Cleo Nardo ago

•

Applied to Time complexity for deterministic string machines by alcatal ago

•

Applied to Semi-Simplicial Types, Part I: Motivation and History by astradiol ago

•

Applied to Finite Factored Sets to Bayes Nets Part 2 by Magdalena Wache ago

4-1

I think this last edit is bad.

1

Please let me know why the edit is bad and I will improve it. I appreciate more constructive feedback.

**Category Theory **is a subfield of ~~Mathematics~~pure mathematics studying ~~mathematical structures~~any structure that contains objects and their ~~conservation through various transformation.~~relations (referred to as *morphisms*). It emerged in the study of algebraic ~~topology,~~topology, then went on to apply beyond mathematics and into various scientific disciplines, a metamathematical framework comparable to ~~most parts~~that of ~~mathematics.~~type theory and set theory. The notion of *compositionality *is what differs category theory from graph theory, in which the nodes themselves can be categories.

~~Despite some work~~Current research on applied category theory~~, it's usefulness~~ and Categories for ~~problem solving (especially in~~AI are useful and relevant for topics close to LW, such as Rationality~~ and~~, AI Safety~~) is still controversial. One possible explanation is that~~, and Game theory. Due to its abstract nature, category theory ~~usually comes after~~is jokingly criticized as being "abstract nonsense". A major theorem result is Yoneda embedding, which is basically the ~~results, to structure them and find the links with previous results in other fields.~~idea that an object can be defined by its all of its relations.

•

Applied to Uncertainty in all its flavours by Cleo Nardo ago

•

•

Applied to Davidad's Bold Plan for Alignment: An In-Depth Explanation by Charbel-Raphaël ago

•

Applied to Abstractions as morphisms between (co)algebras by Erik Jenner ago

•

Applied to Towards Hodge-podge Alignment by Cleo Nardo ago

Please let me know why the edit is bad and I will improve it. I appreciate more constructive feedback.