# Aggregative Principles of Social Justice

1\. Introduction
================

1.1. Three aggregative principles
---------------------------------

This article examines aggregative principles of social justice. These principles state that a social planner should make decisions as if they will face the aggregated personal outcomes of every individual in the population. Different conceptions of aggregation generate different aggregative principles.

Aggregative principles avoid many theoretical pitfalls of utilitarian principles. Unlike utilitarianism, aggregative principles do not require specifying a social welfare function, which is notoriously intractable. Moreover, they seem less prone to counterintuitive conclusions such as the repugnant conclusion or the violation of moral side constraints.[^spl6kripfwb]

There are three well-known aggregative principles:

1.  Live every life once (LELO)
2.  Harsyani's Lottery (HL)
3.  Rawls' Original Position (ROI)

By the end of this article, we will see that these three aggregative principles are instances of an vast family of similar principles.

1.2. Living Every Life Once
---------------------------

The idea, as articulated below by William MacAskill, is that a social planner should make decisions as if they will live out every individual's life (past, present, and future) in sequence. We will call this principle of social justice "Live Every Life Once" (LELO).[^g2su1574qli]

> Imagine living the life of every human being who has ever existed — in order of birth. Your first life begins about 300,000 years ago in Africa. After living that life and dying, you travel back in time to be reincarnated as the second-ever person, born slightly later than the first, then the third-ever person, and so on.
> 
> \[...\] If you knew you were going to live all these future lives, what would you hope we do in the present? How much carbon dioxide would you want us to emit into the atmosphere? How careful would you want us to be with new technologies that could destroy, or permanently derail, your future? How much attention would you want us to give to the impact of today’s actions on the long term?
> 
> *   William MacAskill (2022), "[The Case for Longtermism](https://www.nytimes.com/2022/08/05/opinion/the-case-for-longtermism.html)"

MacAskill's hope is that the social planner, following LELO, would choose policies benefiting each individual because they anticipate living each individual's life, and they would avoid policies harming any individual for the same reason. For example, the social planner wouldn't choose to emit dangerous pollution that will harm the health of future generations, because the social planner anticipates suffering the consequences themselves, although delayed by a many millennia.

MacAskill's thought experiment bares a striking similarity to two other thought experiments in social ethics — namely, Harsanyi's Lottery and Rawls' Original Position.

1.3. Harsanyi's Lottery
-----------------------

The economist John C. Harsanyi offers a different principle of social justice: a social planner should make decisions as if they faced a hypothetical lottery over the personal outcomes of each individual in society. This lottery would assign a likelihood to each individual, so the social planner wouldn't be sure which individual's life they will face. For example, they may face a 20% chance of being individual A, a 35% chance of being B, and so on. The ignorance is meant to force an [impartial](https://plato.stanford.edu/entries/impartiality/) perspective for making decisions, a feature of social justice. We will call this principle of social justice "Harsanyi's Lottery" (HL).[^5i00hk1w8a5]

Harsanyi's hope is that the social planner, following HL, would choose policies benefiting each individual because there is some nonzero probability that they face that individual's life. They would also avoid policies harming any individual for the same reason. For instance, they would not choose to impoverish the majority of society for a small gain to a minority, because the expected value of the corresponding lottery of outcomes is negative.

Typically, the hypothetical lottery is taken to be uniform over all individuals in society. This uniformity assumption is crucial for ensuring impartiality: the social planner would not rationally prioritize any one individual over another if they have an equal probability of being each person.

1.4. Rawls' Original Position
-----------------------------

The philosopher John Rawls' offers a third principle of social justice, similar to Harsanyi's Lottery.[^02kc2l5c5lz9] His principle states that a social planner should make decisions as if they were ignorant about which individual in society they will be. We will call this principle of social justice "Rawls' Original Position" (ROI).[^q857se3qfzk]

Rawls' hope is that the social planner, following ROI, would choose policies benefiting each individual because they must consider the possibility that they could be any individual. They would also avoid policies harming any individual for the same reason. For example, the social planner wouldn't choose to torture someone, even to greatly benefit the rest of society, because the social planner must consider the possibility that they will end up being that person.

HL and ROI share obvious similarities: both principles ask the social planner to imagine themselves in a state of ignorance about which individual's personal outcome they will face. However, they understand this ignorance in different ways. Under HL, the ignorance is probabilistic, with likelihoods attached to the alternatives. By contrast, under ROI, the ignorance is possibilistic, meaning the planner considers it possible that they could be any individual, without assigning probabilities to those possibilities. This situation (i.e. having no basis for assigning probabilities to the possible alternatives) is sometimes called [Knightian uncertainty](https://en.wikipedia.org/wiki/Knightian_uncertainty). Moreover, note that HL proposes a physical mechanism by which the individual is selected, namely, a random lottery. By contrast, ROI merely states that each individual might be selected, without specifying any physical mechanism.

1.5. Structural similarities
----------------------------

The similarity between HL and ROI was apparent to Harsanyi and Rawls.[^de0xskishbq] On the other hand, HL and ROI seem, at first glance, quite distinct from LELO. Firstly, Harsanyi's and Rawls' principles both begin with a planner in a state of ignorance about which individual's personal outcome they will face, whereas LELO posits no such uncertainty: so long as the planner knows the personal outcomes of each individual and the ordering of the individual's births, then their hypothetical fate is certain. Moreover, LELO asks the social planner to contemplate an abnormal prospect, i.e. a lifetime spanning millennia, whereas HL and ROI involve prospects that actual individuals in society will face.

However, these three principles are structurally similar: LELO, HL and ROI each involve *aggregating* the prospects faced by the individuals into a single hypothetical prospect faced by the social planner. They differ in the mode of aggregation they employ: LELO aggregates via a concatenation, HL via a lottery, and ROI via a disjunction. This common aggregative structure appears to be underexplored in the existing literature.

I will call principles of this general form — defining social justice in terms of an aggregation of individual prospects — aggregative principles of social justice. LELO, HL, and ROI are three examples, but they do not exhaust the space of aggregative principles. In fact, for any well-defined mode of aggregation, we can generate a corresponding aggregative principle. The space of aggregative principles is large and underexplored.

The rest of the article is organized as follows. Section 2 formalises LELO, HL, and ROI in parallel, highlighting the structural similarity. Section 3 formalises the informal notion of a "mode of aggregation" with the mathematical concept of monads, and presents a full characterization of the space of aggregative principles. This is the key contribution of the article. Section 4 explores examples of the algebraic structures on personal outcomes that are necessary for the aggregative principles to be well-defined.

2\. Formalising LELO, HL, and ROI
=================================

2.1. Personal and social outcomes
---------------------------------

Each of LELO, HL, and ROI attempt to extend the planner's self-interested attitudes towards personal outcomes to moral attitudes towards social outcomes. They achieve this by assigning to each social outcome $s$ a hypothetical personal outcome $p$, and then stating that the social planner should treat $s$ as they would treat $p$. In other words, a social outcome $s$ is deemed socially desirable if the corresponding personal outcome $p$ is personally desirable.

Let $P$ be the space of personal outcomes and $S$ be the space of social outcomes. By "personal outcome", I mean a full description of the state-of-affairs for a single individual, and by "social outcome", I mean a full description of the state-of-affairs for society as a whole. Each aforementioned principle of social justice proposes a function $\zeta : S \to P$ assigning to each social outcome $s \in S$ a hypothetical personal outcome $\zeta(s) \in P$. However, they differ on the function they propose:

LELO uses the function $\zeta_{LELO} : S \to P$ where $\zeta_{LELO}(s)\in P$ is the personal outcome of facing a concatenation of the lives of the individuals facing social outcome $s \in S$. For instance, if $s$ consists of three individuals facing personal outcomes $p_1$, $p_2$, and $p_3$ then $\zeta_{LELO}(s)$ is the personal outcome of first facing $p_1$, then $p_2$, then $p_3$ in sequence. We'll denote this outcome by $\zeta_{LELO}(s) = p_1 \triangleright p_2 \triangleright p_3$.

HL uses the function $\zeta_{HL} : S \to P$ where $\zeta_{HL}(s)\in P$ is the personal outcome of facing a lottery among the personal outcomes of the individuals in social outcome $s \in S$. For instance, if $s$ consists of three individuals facing personal outcomes $p_1$, $p_2$, and $p_3$ then $\zeta_{HL}(s)$ is the personal outcome of facing each outcome $p_i$ with equal likelihood $\frac13$. We'll denote this outcome by $\zeta_{HL}(s) = \langle p_1 : \frac13  \mid p_2 : \frac 13 \mid p_3 : \frac13 \rangle$.

ROI uses the function $\zeta_{ROI} : S\to P$ where $\zeta_{ROI}(s) \in P$ is the personal outcome of possibly facing the personal outcome of any individual in social outcome $s$. For instance, if $s$ consists of three individuals facing personal outcomes $p_1$, $p_2$, and $p_3$ respectively, then $\zeta_{ROI}(s)$ is the personal outcome of facing either $p_1$, $p_2$, or $p_3$, but without any probabilities attached to these possibilities. We'll denote this outcome by $\zeta_{ROI} = p_1 \oplus p_2 \oplus p_3$.

It remains to define these three functions, $\zeta_{LELO}$, $\zeta_{HL}$, and $\zeta_{ROI}$. For simplicity, let's assume that all social outcomes share a fixed, finite population of individuals, represented by the set $I = \{i_1, \ldots, i_n\}$. This assumption could be relaxed in future work, to handle populations that vary across social outcomes. Moreover, let's assume that the personal outcome for each individual $i \in I$ is fully determined by the social outcome. Formally, there exists a function $\gamma : I \times S \to P$ such that, if the social outcome $s \in S$ obtains, then each individual $i \in I$ faces the personal outcome $\gamma(i, s)\in P$. We will treat this as a global assumption, not localised to any particular principle of social justice.

For example, $S$ might be the set of all possible physical configurations of the universe across time, while $P$ might be the set of an individual's possible health and economic outcomes. However, the precise definitions of $S$ and $P$ are not crucial for the present analysis. Conceptually, $P$ represents the domain of personal, self-interested preferences, while $S$ represents the domain over which we seek to define social or ethical preferences. In Section 4, we will give concrete examples of these two spaces.

If $P$ is already well-understood, there is a simple way to define $S$ and $\gamma$. We could define $S = P^I$ to be the space of functions from individuals to personal outcomes, and let $\gamma : I \times P^I \to P$ be the standard evaluation function, mapping the pair $(i, f)$ to $f(i)$. Intuitively, a social outcome is just a vector specifying each individual's personal outcome, and $\gamma$ simply looks up individual $i$'s outcome in this vector. However, I have opted for a more general presentation in which social outcomes are not entirely characterized by the personal outcomes of individuals. This allows for the possibility that $S$ contains information beyond just the vector of personal outcomes. Consequently, there may exist distinct social outcomes $s, s' \in S$ such that $\gamma(i, s) = \gamma(i, s')$ for all $i \in I$.

If we are provided with the function $\gamma : I \times S \to P$, how might we construct the target function $\zeta : S \to P$? As we will see, the key to doing this is to assume some additional algebraic structure on the space $P$, beyond it just being an abstract set. I will explain how this construction occurs in each aggregative principle, starting with Live Every Life Once.

2.1. Formalising LELO
---------------------

Informally, this whole procedure can be summarized as follows: (1) The population is represented by a list of individuals. (2) Each social outcome provides a function from individuals to their personal outcomes. This function can be lifted to a function from lists of individuals to the corresponding lists of personal outcomes, and then applied to the list representing the population. Hence each social outcome provides a list of personal outcomes. (3) Any list of personal outcomes can be concatenated into a single personal outcome. (4) Therefore, each social outcome provides a single personal outcome.

I'll now spell out the details.

(1) For any set $X$, a list over $X$ is a finite sequence $[x_1, \ldots, x_n]$ where all entries $x_1, \ldots, x_n$ are elements of $X$. The set of all lists over $X$ is denoted by $\text{List}(X)$. This includes the empty list, denoted by \[\], or lists with repeated entries. Note that a list is more than just a set, it also imposes an ordering on the individuals.[^ngdx71njejk]

LELO must assume that the population is represented by a distinguished list of individuals $l \in \text{List}(I)$. Typically, this list consists of all humans ordered by their birth, although alternative orderings could be considered.

(2) As discussed before, there exists a function $\gamma : I \times S \to P$ such that, if the social outcome $s \in S$ obtains, then each individual $i \in I$ faces the personal outcome $\gamma(i, s)\in P$. It follows that each social outcome $s \in S$ provides a function $\gamma(-,s) : I \to P$ from individuals to their personal outcomes, where $\gamma(-,s)$ denotes the function $i \mapsto \gamma(i, s)$.

Now, any function $f : I \to P$ from individuals to their personal outcomes can be lifted to a function $f^{\text{List}} : \text{List}(I) \to \text{List}(P)$ from lists of individuals to the corresponding lists of personal outcomes. Concretely, $f^{\text{List}}$ sends a list $[i_1, \ldots, i_n]$ to the list $[f(i_1), \ldots, f(i_n)]$, by applying $f$ componentwise. This lifting operation is a general feature of lists.

Hence, each social outcome $s$ provides a list of personal outcomes $\gamma(-, s)^{\text{List}}(\pi)$, obtained by lifting $\gamma(-,s) : I \to P$ to a function $\gamma(-,s)^\text{List} : \text{List}(I) \to \text{List}(P)$ and then applying to the distinguished list of individuals $l \in \text{List}(I)$.

(3) LELO assumes that any list of personal outcomes can be concatenated into a single personal outcome. Formally, there exists a function $\text{conc} : \text{List}(P)\to P$ which reduces any list of personal outcomes $[p_1 , \ldots, p_n] \in \text{List}(P)$ into a single personal outcome $\text{conc}([p_1, \ldots, p_n]) \in P$.

To align with MacAskill's intended interpretation, we should view $\text{conc}([p_1, \ldots, p_n])$ as the personal outcome of facing each $p_i$ in order, starting with $p_1$ and ending with $p_n$. Perhaps after each life $p_i$ ends, one is instantaneously transported to the beginning of the life $p_{i+1}$ with one's memories of the proceeding life wiped. The process of living a life, dying, memory wiping, and moving to the next life is repeated until the full list of outcomes is exhausted.

It is worth noting that the concatenation operator $\text{conc} : \text{List}(P) \to P$ can equivalently be presented by a binary operator $\triangleright: P \times P \to P$ and a constant element $\epsilon \in P$, provided $\triangleright$ and $\epsilon$ satisfy the monoid axioms of associativity and identity.[^6b7615xy989] Specifically, given $\text{conc}$, define $\triangleright$ as $p \triangleright p' := \text{conc}([p,p'])$ and define $\epsilon$ as $\epsilon := \text{conc}([])$. Conversely, given $\triangleright$ and $\epsilon$, define $\text{conc}$ as $\text{conc}([p_1, \ldots, p_n]) := \epsilon \triangleright p_1 \triangleright p_2 \triangleright \cdots  \triangleright p_n$, evaluating the products left-to-right.

The monoid axioms are:

*   Associativity: $(p \triangleright p' )\triangleright p'' = p \triangleright (p' \triangleright p'')$
*   Identity: $p \triangleright \epsilon = p$ and $\epsilon \triangleright p = p$

(4) Putting it all together, each social outcome $s$ provides a single personal outcome, namely $\zeta_{LELO}(s) := \text{conc}(\gamma(-,s)^{\text{List}}(l)) \in P$, obtained by applying the concatenation operator $\text{conc}: \text{List}(P) \to P$ to the list of personal outcomes $\gamma(-,s)^{\text{List}}(l) \in \text{List}(P)$ generated by $s$. This defines the LELO aggregation function $\zeta_{LELO} : S \to P$, which assigns to each social outcome the concatenated personal outcome.

To illustrate, suppose the population $I = \{i_1, \ldots, i_n\}$ is represented by the list $l = [i_1, \ldots, i_n]$, and suppose the social outcome $s$ assigns personal outcome $p_k$ to individual $i_k$ for each $k$, i.e. $\gamma(i_k , s) = p_k$. Then the concatenated personal outcome is $\zeta_{LELO}(s) = p_1 \triangleright \cdots \triangleright p_n$. As a sanity check, consider the trivial case where $I = \{i\}$ consists of a single individual. Here the population list is just $[i] \in \text{List}(I)$, and the concatenated outcome is simply $\zeta_{LELO}(s) = \gamma(i,s)$, i.e. the personal outcome assigned to the sole individual $i$.

The ordering of the distinguished list affects the structure of the concatenated outcome, due to the non-commutativity of the binary concatenation operator $\triangleright$. In general, $p \triangleright p'$ and $p' \triangleright p$ yield different personal outcomes. The choice of ordering has substantive implications for the resulting principle of social justice. For example, suppose the social planner has a positive rate of time preference, i.e. they discount the value of future experiences. This is a realistic assumption about human preferences. A LELO principle using a chronological ordering of individuals (from earliest-born to latest-born) will prioritize the interests of earlier generations compared to a principle using the reverse-chronological ordering, all else being equal. More formally, suppose the social planner has a utility function $u : P \to \mathbb R$ over personal outcomes and a [discount factor](https://en.wikipedia.org/wiki/Exponential_discounting) $\beta  > 0$. Then the utility of a concatenated outcome $p_1 \triangleright p_2$ is given by $u(p_1 \triangleright p_2) = u(p_1) + \beta^{\text{duration}(p_1)} \cdot u(p_2)$ where $\text{duration} : P \to \mathbb R^{\geq 0}$ maps each personal outcome to its duration. This discounting formula places more weight on the first outcome $p_1$ than the second outcome $p_2$, and the difference grows exponentially with the duration of $p_1$. Thus, the social planner's time preferences, combined with the ordering of the list, can lead to a "tyranny of the earlier" in the resulting principle of social justice.

Next, I will turn to Harsanyi's Lottery, the earliest of the three aggregative principles of social justice.

2.2. Formalising HL
-------------------

The procedure is similar to LELO: (1) The population is represented by a distribution of individuals. (2) Each social outcome provides a function from individuals to their personal outcomes. This function can be lifted to a function from distributions of individuals to the corresponding distributions of personal outcomes, and then applied to the distribution representing the population. Hence each social outcome provides a distribution of personal outcomes. (3) Any distribution of personal outcomes can be interpolated into a single personal outcome. (4) Therefore, each social outcome provides a single personal outcome.

I'll now spell out the details.

(1) For any set $X$, a distribution over $X$ is a function $\pi : X \to [0,1]$ such that the support set $\text{supp}(\pi) := \{x \in X : \pi(x) > 0\}$ is finite and $\sum_{x \in X} \pi(x) = 1$. We will sometimes use the notation $\langle x_1 : \lambda_1 \mid \cdots \mid x_n : \lambda_n \rangle$ to denote a distribution $\pi : X \to [0,1]$ satisfying $\pi(x) = \sum_{k : x_k = x} \lambda_k$ for each $x \in X$. For example, $\langle x : 0.1\mid x: 0.3 \mid y : 0.6 \rangle$ and $\langle x : 0.4 \mid y : 0.6 \rangle$ denote the same distribution $\pi : X \to [0,1]$ satisfying $\pi(x) = 0.4$ and $\pi(y)=0.6$.

The set of all distributions over $X$ is denoted by $\Delta(X)$. This includes the point-mass distributions, denoted by $\langle x : 1\rangle$ for each $x \in X$, or uniform distributions $\langle x_1 : \frac1n \mid \ldots \mid x_n : \frac1n \rangle$. Note that a distribution is more than just a set, it also imposes a weighting on the individuals.

HL must assume that the population is represented by a distinguished distribution over individuals $\pi \in \Delta(I)$. Typically, the distinguished distribution is taken to be uniform over the entire population. That is, if there are $n$ individuals in total, then $\pi = \langle i_1 : \frac1n \mid \cdots \mid i_n : \frac1n \rangle$. However, alternative weightings could be considered.

(2) As with LELO, there exists a function $\gamma : I \times S \to P$ such that, if the social outcome $s \in S$ obtains, then each individual $i \in I$ faces the personal outcome $\gamma(i, s)\in P$. It follows that each social outcome $s \in S$ provides a function $\gamma(-,s) : I \to P$ from individuals to their personal outcomes, where $\gamma(-,s)$ denotes the function $i \mapsto \gamma(i, s)$.

Now, any function $f : I \to P$ from individuals to their personal outcomes can be lifted to a function $f^{\Delta} : \Delta(I) \to \Delta(P)$ from distributions of individuals to the corresponding distributions of personal outcomes. Concretely, $f^{\Delta}$ sends a distribution $\pi = \langle i_1 : \lambda_1 \mid \cdots \mid i_n : \lambda_n \rangle$ to the distribution $\rho = \langle f(i_1) : \lambda_1 \mid \cdots \mid f(i_n) : \lambda_n \rangle$. This lifting operation is a general feature of distributions.

Hence, each social outcome $s$ provides a distribution of personal outcomes $\gamma(-, s)^\Delta(\pi)$, obtained by lifting $\gamma(-,s) : I \to P$ to a function $\gamma(-,s)^\Delta : \Delta(I) \to \Delta(P)$ and then applying to the distinguished distribution of individuals $\pi \in \Delta(I)$.

(3) HL assumes that any distribution of personal outcomes can be interpolated into a single personal outcome. Formally, there exists a function $\mathbb E : \Delta(P)\to P$ which reduces any distribution of personal outcomes $\rho = \langle p_1 : \lambda_1 \mid \cdots \mid p_n : \lambda_n \rangle \in \Delta(P)$ into a single personal outcome $\mathbb E[\rho] \in P$.

To align with Harsanyi's intended interpretation, we should view $\mathbb E [\rho]$ as the personal outcome of facing each $p_i \in P$ with probability $\lambda_i$. Perhaps a random outcome $p_i$ is sampled according to the distribution $\rho$ and the individual then faces that outcome. In contrast with LELO, the individual ultimately faces only a single human lifetime.

It is worth noting that the interpolation operator $\mathbb E : \Delta(P) \to P$ can equivalently be presented by a family of binary operators $+_\lambda: P \times P \to P$, one for each $\lambda \in (0,1)$, provided $+_\lambda$ satisfies the convex space axioms of idempotence, skew-commutativity, and skew-associativity.[^gsc7u50a6ki] Specifically, given $\mathbb E$, define $+_\lambda$ as $p +_\lambda p' := \mathbb E[ \langle p : \lambda \mid p' : 1-\lambda \rangle ]$. Conversely, given the family of operators $\{+_\lambda\}_{\lambda \in (0,1)}$, we can rather clumsily define $\mathbb E$ by induction on $n$:

$\mathbb E\left[\langle p_1 : \lambda_1 \mid \cdots \mid p_n : \lambda_n \rangle \right]  : = \mathbb E[ \langle p_1 :\frac{\lambda_1}{1-\lambda_{n}} \mid \cdots \mid p_{n-1} : \frac{\lambda_{n-1}}{1-\lambda_{n}} \rangle ] +_{1-\lambda_{n}} p_n$

The convex space axioms are:

*   Idempotence: $p +_\lambda p = p$
*   Skew-commutativity: $p +_\lambda p' = p' +_{1-\lambda} p$
*   Skew-associativity: $(p +_\lambda p') +_\mu p'' = p +_{\lambda \cdot\mu} (p' +_{\kappa} p'')$ whenever $\lambda \cdot(1-\mu) = (1-\lambda \cdot\mu)\cdot \kappa$

(4) Putting it all together, each social outcome $s$ provides a single personal outcome, namely $\zeta_{HL}(s) := \mathbb E(\gamma(-,s)^{\Delta}(\pi)) \in P$, obtained by applying the interpolation operator $\mathbb E: \Delta(P) \to P$ to the distribution of personal outcomes $\gamma(-,s)^{\Delta}(\pi) \in \Delta(P)$ generated by $s$. This defines the HL aggregation function $\zeta_{HL} : S \to P$, which assigns to each social outcome the interpolated personal outcome.

To illustrate, suppose the population $I = {i_1, \ldots, i_n}$ is represented by the uniform distribution $\pi = \langle i_1 : \frac{1}{n} \mid \cdots \mid i_n : \frac{1}{n} \rangle$. Suppose further that the social outcome $s$ assigns personal outcome $p_k$ to individual $i_k$ for each $k$, i.e. $\gamma(i_k , s) = p_k$. Then the interpolated personal outcome is $\zeta_{HL}(s) = \mathbb E \left[ \langle p_1 : \frac{1}{n} \mid \cdots \mid p_n : \frac{1}{n} \rangle \right]$. As a sanity check, consider the trivial case where $I = {i}$ consists of a single individual. Here the initial distribution is the point mass $\langle i : 1 \rangle \in \Delta(I)$ and the interpolated outcome is simply $\zeta_{HL}(s) = \gamma(i,s)$, i.e. the personal outcome assigned to the sole individual $i$.

The weighting of the distinguished distribution affects the structure of the interpolated outcome, because $p +_\lambda p'$ and $p +_{\lambda'} p'$ typically yield different personal outcomes when $\lambda \neq \lambda'$. The choice of weighting has substantive implications for the resulting principle of social justice. If the HL principle uses a non-uniform distribution then the social planner with prioritize the individuals who are assigned a greater weighting, and this favoritism towards the higher-weighted group grows as the weighting distribution becomes more uneven.

Suppose there is a fixed amount of resources $R > 0$ to be distributed among the population. Furthermore, suppose the resource yields diminishing marginal returns, i.e. the social planner's utility function over resources $u : \mathbb R^{\geq 0} \to \mathbb R$ is strictly concave. This is a realistic assumption about human preferences. Following HL, the social planner will allocate resources to maximise the expected value of the corresponding lottery. Formally, the social planner chooses $(r_1, \ldots, r_n)$ to maximize $\lambda_1 \cdot u(r_1) + \cdots + \lambda_n \cdot u(r_n)$ subject to the constraint $r_1 + \cdots + r_n = R$. In the optimal allocation, $(r_1 ^*, \ldots, r_n^*)$, the marginal utility of resources is inversely proportional to an individual's weight: $u'(r^*_i) \propto 1/\lambda_i$. Therefore individuals with a larger weight will receive more resources: if $\lambda_i < \lambda_j$ then $1 / \lambda_i > 1/\lambda_j$ so the optimality condition implies $u'(r_i^*) > u'(r_j^*)$ and the strict concavity implies $r_i^* < r_j^*$. In the special case where $u$ is logarithmic, the resources allocated to an individual will be directly proportional to their weight. Thus, the social planner's preferences, combined with the weights of the distribution, can lead to a "tyranny of the majority" in the resulting principle of social justice.

Finally, I will turn to Rawls' Original Position, the most famous aggregative principle of social justice.

2.3. Formalising ROI
--------------------

The procedure is similar to LELO and HL: (1) The population is represented by a nonempty finite subset of individuals. (2) Each social outcome provides a function from individuals to their personal outcomes. This function can be lifted to a function from nonempty finite subsets of individuals to the corresponding nonempty finite subsets of personal outcomes, and then applied to the subset representing the population. Hence each social outcome provides a nonempty finite subset of personal outcomes. (3) Any nonempty finite subset of personal outcomes can be fused into a single personal outcome. (4) Therefore, each social outcome provides a single personal outcome.

I'll now spell out the details.

(1) ROI must assume that the population is represented by a nonempty finite subset of individuals $A \in \mathcal P^+_f(I)$. For any set $X$, let $\mathcal P^+_f(X)$ denote the nonempty finite subsets of $X$. This is a standard notation, where $\mathcal P$ stands for *powerset*, the superscript $^+$ stands for *nonempty* and the subscript $_f$ stands for *finite*.

Note that $A$ carries no additional structure beyond being a set — unlike the list $l \in \text{List}(I)$ used in LELO, it carries no ordering, and unlike the distribution $\pi \in \Delta(I)$ used in HL, it carries no weightings. Typically, $A$ is assumed to be the universal set $I$ itself, representing all individuals. However, Rawls suggests that alternative subsets could be considered, such as the set of "Heads of Families" or "presently existing people".

(2) As with LELO and HL, there exists a function $\gamma : I \times S \to P$ such that, if the social outcome $s \in S$ obtains, then each individual $i \in I$ faces the personal outcome $\gamma(i, s)\in P$. It follows that each social outcome $s \in S$ provides a function $\gamma(-,s) : I \to P$ from individuals to their personal outcomes, where $\gamma(-,s)$ denotes the function $i \mapsto \gamma(i, s)$.

Now, any function $f : I \to P$ from individuals to their personal outcomes can be lifted to a function $f^{\mathcal P^+_f} : \mathcal P^+_f(I) \to \mathcal P^+_f(P)$ from nonempty finite subsets of individuals to the corresponding nonempty finite subsets of personal outcomes. Concretely, $f^{\mathcal P^+_f}$ sends a subset ${i_1, \ldots, i_n}$ to the subset $\{f(i_1), \ldots, f(i_n)\}$, by applying $f$ elementwise. This lifting operation is a general feature of nonempty finite subsets.

Hence, each social outcome $s$ provides a distribution of personal outcomes $\gamma(-, s)^{\mathcal P^+_f}(A)$, obtained by lifting $\gamma(-,s) : I \to P$ to a function $\gamma(-,s)^{\mathcal P^+_f} : {\mathcal P^+_f}(I) \to {\mathcal P^+_f}(P)$ and then applying to the distinguished subset of individuals $A \in {\mathcal P^+_f}(I)$.

(3) ROI assumes that any nonempty finite subset of personal outcomes can be fused into a single personal outcome. Formally, there exists a function $\bigoplus : \mathcal P^+_f(P)\to P$ which reduces any nonempty finite subset of personal outcomes ${p_1, \ldots, p_n}\in \mathcal P^+_f(P)$ into a single personal outcome $\bigoplus\left(\{p_1, \ldots, p_n\}\right) \in P$.

To obtain Rawls' principle of social justice, we should interpret $\bigoplus(\{p_1, \ldots, p_n\})$ as the personal outcome where one might face any of the outcomes $p_1, \ldots, p_n$, but without any information about which outcome is more likely. That is, the fusion operator acts like a disjunction between the personal outcomes — for example, if $p_1$ is the outcome of eating vanilla ice cream and $p_2$ is the outcome of eating chocolate ice cream, then $p_1 \oplus p_2$ is the outcome of eating either vanilla or chocolate ice cream, with no probabilities attached. One could imagine that the exact prospect is selected by a third-party, maybe an adversary who selects the worse option or a benefactor who selects the best option.

It is worth noting that the fusion operator $\bigoplus: \mathcal P^+_f(P) \to P$ can equivalently be presented by a binary operator $\oplus: P \times P \to P$, provided $\oplus$ satisfies the axioms of a semilattice.[^qo1y0qynxsj] Specifically, given $\bigoplus$, define $\oplus$ as $p \oplus p' := \bigoplus(\{p, p'\})$. Conversely, given $\oplus$, define $\bigoplus$ as $\bigoplus (\{p_1, \ldots, p_n\}) = p_1 \oplus \cdots \oplus p_n$.

The semilattice axioms are:

*   Idempotence: $p \oplus p = p$
*   Commutativity: $p \oplus p' = p' \oplus p$
*   Associativity: $(p \oplus p' )\oplus p'' = p \oplus (p' \oplus p'')$

(4) Putting it all together, each social outcome $s$ provides a single fused personal outcome, namely $\zeta_{ROI}(s) := \bigoplus(\gamma(-,s)^{\mathcal P^+_f}(A)) \in P$, obtained by applying the fusion operator $\bigoplus: \mathcal P^+_f(P) \to P$ to the nonempty finite subset of personal outcomes $\gamma(-,s)^{\mathcal P^+_f}(A) \in \mathcal P^+_f(P)$ generated by $s$. This defines the ROI aggregation function $\zeta_{ROI} : S \to P$, which assigns to each social outcome the fused personal outcome.

To illustrate, suppose the population $I = {i_1, \ldots, i_n}$ is represented by the universal subset $A = \{i_1, \ldots, i_n\}$. Suppose further that the social outcome $s$ assigns personal outcome $p_k$ to individual $i_k$ for each $k$, i.e. $\gamma(i_k , s) = p_k$. Then the fused personal outcome is $\zeta_{ROI}(s) = p_1 \oplus \cdots \oplus p_n$. As a sanity check, consider the trivial case where $I = {i}$ consists of a single individual. Here the population subset is the singleton $A = \{i\} \in \mathcal P^+_f(I)$, and the fused outcome is simply $\zeta_{ROI}(s) = \gamma(i,s)$, i.e. the personal outcome assigned to the sole individual $i$.

The choice of the distinguished subset $A$ affects the structure of the concatenated outcome. For example, suppose the social planner is pessimistic, evaluating the fused outcome $p_1 \oplus p_2$ as no better than the worst of the individual outcomes $p_1$ and $p_2$. Formally, if the planner's preferences are represented by a utility function $u : P \to \mathbb R$, this means assuming $u(p_1 \oplus p_2) = \min \{u(p_1) , u(p_2)\}$. This is a realistic assumption of decision-making under Knightian uncertainty, where the planner considers the worst-case scenario.[^727dyro169w] Under this assumption, the resulting ROI principle will be sensitive to the worst-off individuals in the population subset $A$, leading to a 'tyranny of the unfortunate'.

Unlike HL, ROI is [scope-insensitive](https://www.lesswrong.com/tag/scope-insensitivity) due to the idempotence of the fusion operation $\oplus$, meaning $p \oplus p = p$. This implies that the fused outcome is insensitive to the number of individuals facing each personal outcome, and depends only on which personal outcomes are faced at all. For a stark illustration, suppose that a social outcome contains 100 individuals facing great wealth ($p$) and 1 facing abject poverty ($p'$). ROI yields the same fused outcome $p \oplus p'$ as a social outcome with 1 individual facing wealth and 100 facing poverty. The drastically different proportions of individuals are irrelevant; only the presence or absence of each outcome matters.

2.4. Analysis
-------------

LELO, HL, and ROI share a common structure, differing only in the specific mathematical objects used. They represent populations using some type of collection: lists for LELO, distributions for HL, and subsets for ROI. And they aggregate personal outcomes using some mode of aggregation: concatenation for LELO, interpolation for HL, and fusion for ROI. This suggest that LELO, HL, and ROI are instances of a general family of aggregative principles, obtained by varying the type collection and mode of aggregation. In the next section, I will show that this is true.

3\. Monads and aggregative principles
=====================================

The key difference between LELO, HL, and ROI lies in their mode of aggregation. In Section 3, we will formalise this informal notion of a "mode of aggregation", and thereby find the general family of aggregative principles.

3.1. Monads formalise collections
---------------------------------

The concept of a monad originates in category theory, and has found extensive applications in functional programming languages like Haskell. While category theory lies beyond the scope of this article, monads can be understood concretely as formalising the notion of a "collection". The core idea is that monads allow for operations on the elements to be lifted to operations of the collections, in a way that preserves certain intuitive properties.

Formally, a monad $M$ consists of four components:

1.  $M$ assigns to each set $X$ another set, denoted $M(X)$, which we interpret as the collections over $X$. This is called the **construct operator**.
2.  $M$ assigns to each function $f : X \to Y$ between sets to another function, denoted $f^M : M(X) \to M(Y)$, between their corresponding collections. This lifting operation formalizes the idea that we can apply a function to each element within a collection independently. For example, if $f$ maps each child to their birthday, then $f^M$ maps each collection of children to the corresponding collection of birthdays. This is called the **lift operator**.
3.  $\eta$ assigns to each set $X$ a function $\eta_X : X \to M(X)$. This encodes the idea that each element $x \in X$ can be viewed as a "trivial" or "singleton" collection $\eta_X(x)\in M(X)$. This is called the **unit operator**.
4.  $\mu$ assigns to each set $X$ a function $\mu_X : M(M(X)) \to M(X)$. Intuitively, $\mu_X$ takes a 'collection of collections' $m \in M(M(X))$ and 'flattens' it into a single collection $\mu_X(m) \in M(X)$. This is called the **multiplication operator**.

These components must satisfy certain coherence conditions, known as the monad laws:

*   Associativity: $\mu_X \circ \mu_X^M = \mu_X \circ \mu_{M(X)}$ for all objects $X$. This ensures that flattening a collection of collections of collections is the same, regardless of the order in which we do the flattening.
*   Left unit: $\mu_X \circ \eta_{M(X)} = 1_{M(X)}$ for all objects $X$. This ensures that wrapping a collection in a singleton and then flattening is the same as doing nothing.
*   Right unit: $\mu_X \circ \eta_X^M = 1_{M(X)}$ for all objects $X$. This ensures that mapping each element of a collection to a singleton and then flattening is the same as doing nothing.

For the full technical details, see Mac Lane (1971) "[Categories for the Working Mathematician](http://www.mtm.ufsc.br/~ebatista/2016-2/maclanecat.pdf)".

The three types of collections we've encountered so far — lists, distributions, and nonempty subsets — are formalised by monads.

For example, the list monad $\text{List}$ has these four components:[^fomng5eyscd]

1.  Construct operator $\text{List}(X)$, the set of finite lists with elements in $X$.
2.  Lift operator, $f^M([x_1, \ldots, x_n]) = [f(x_1), \ldots, f(x_n)]$, which applies $f$ to each component.
3.  Unit operator $\eta_X(x) = [x]$ which creates singleton lists,
4.  Multiplication operator $\mu_X([x_{1}^{(1)} \ldots, x_{m_1}^{(1)}] ,\ldots ,[ x_{1}^{(n)} , \ldots, x_{m_n}^{(n)} ]) = [x^{(1)}_1 , \ldots, x^{(1)}_{m_1} , \ldots , x^{(n)}_{1}, \ldots, x^{(n)}_{m_n} ]$ which concatenates a list of lists into a single list.

And the distribution monad $\Delta$ has these four components:[^frd1yu8on2o]

1.  Construct operator $\Delta(X)$, the set of probability distributions over $X$, i.e. functions $\pi : X \to [0,1]$ such that $\sum_{x \in X} \pi(x) = 1$.
2.  Lift operator $f^{\Delta}(\pi) : y \mapsto \sum_{x : f(x) = y} \pi(x)$, which takes a distribution $\pi$ on $X$ and returns the pushed-forward distribution on $Y$, i.e. the distribution of $f(x)$ when $x$ is sampled from $\pi$. Intuitively, it marginalizes out the randomness in $X$.
3.  Unit $\eta_X(x) : x' \mapsto \begin{cases} 1 & \text{if } x = x' \ 0 & \text{otherwise} \end{cases}$, which creates a point-mass distribution at $x$, i.e. the distribution that always returns $x$ with probability 1.
4.  Multiplication $\mu_X(\Phi) : x \mapsto \sum_{\pi \in \Delta(X)} \Phi(\pi) \cdot \pi(x)$, which takes a distribution $\Phi$ over distributions on $X$, and returns the average of those distributions weighted by $\Phi$. Intuitively, it collapses a two-stage sampling process (first sample a distribution $\pi$ from $\Phi$, then sample an element $x$ from $\pi$) into a single-stage sampling process.

And finally, the nonempty powerset monad $\mathcal P^+_f$ has these four components:

1.  Type constructor $\mathcal P^+_f(X) = \{A \subseteq X : A \text{ is finite and nonempty}\}$, the set of finite nonempty subsets of $X$.
2.  Lift operation $f^{\mathcal P^+_f}(A) = \{f(x) : x \in A\}$, which applies $f$ to each element of the set $A$.
3.  Unit $\eta_X(x) = \{x\}$, which creates a singleton set containing $x$.
4.  Multiplication $\mu_X(\mathcal A) = \bigcup_{A \in \mathcal A} A$, which takes a set of sets and returns their union.

Whenever you encounter an informal concept of a collection, it will typically be formalizable as a monad. Let's take the finite multiset: intuitively, a multiset is a collection that allows multiple instances of each element, but where the order doesn't matter. Formally, for any set $X$, a finite multiset on $X$ is a function $\pi : X \to \mathbb N$, where $\pi(x)$ represents the number of occurrences of element $x$. The multiset is finite if there are finitely many $x \in X$ with $\pi(x) > 0$. The set of all finite multisets on $X$ is denoted $\mathbb N[X]$. Now, elements of $\mathbb N[-]$ are intuitively collections over $X$. Sure enough, the assignment $X \mapsto \mathbb N[X]$ is a monad, which we call the finite multiset monad $\mathbb N[-]$. The definitions of $f^{\mathbb N[-]}$, $\eta$, and $\mu$ are similar to those for $\Delta$.[^209xd45xx7g]

3.2. Algebras formalise aggregations.
-------------------------------------

Algebraic structures are ubiquitous in mathematics: monoids, groups, rings, vector spaces, lattices, and so on. Informally, an algebraic structure is a set equipped with some operations (like addition, multiplication, etc.) that satisfy certain axioms (like associativity, commutativity, etc.). A core insight from category theory is that each type of algebraic structure corresponds to a monad.

As discussed earlier, each monad $M$ captures a general notion of a "collection" of elements. An *algebra* of $M$ is a way to aggregate any collection of those elements into a single element. Formally, given a monad $(M, \eta, \mu)$, an $M$-algebra is a set $X$ equipped with a function $\alpha : M(X) \to X$ satisfying two laws:

1.  $\alpha \circ \eta_X = \text{id}_X$ (unit law)
2.  $\alpha \circ \mu_X = \alpha \circ\alpha^M$ (associativity law)

Intuitively, the unit law says that aggregating a singleton collection $\eta_X(x) \in M(X)$ should just return the element $x \in X$ itself. The associativity law says that aggregating a collection of collections $m \in M(M(X))$ can be done in two equivalent ways: first flatten the nested collections using $\mu_X$ and then aggregate the resulting collection using $\alpha$; or first aggregate each inner collection using $\alpha$ (this is what $\alpha^M$ does), and then aggregate the resulting outer collection using $\alpha$ again.

*   For example, an algebra for the $\text{List}$ monad is a set $X$ equipped with an operator $\text{conc}:\text{List}(X) \to X$ specifying how to aggregate any list of elements into a single element. A $\text{List}$ algebra $(X, \text{conc})$ is called a *monoid*.
*   Similarly, an algebra for the $\Delta$ monad is a set $X$ equipped with an operator $\mathbb E:\Delta (X) \to X$ specifying how to aggregate any distribution of element into a single element. A $\Delta$ algebra $(X, \mathbb E)$ is called a *convex space*.
*   Finally, an algebra for the $\mathcal P^+_f$ monad is a set $X$ equipped with an operator $\bigoplus : \mathcal P^+_f (X) \to X$ specifying how to aggregate any nonempty finite subset of element into a single element. A $\mathcal P^+_f$ algebra $(X, \bigoplus)$ is called a *semilattice*.

Each algebraic structure corresponds to a monad. For example, consider the most important algebraic structure: the vector space. The relevant monad $M$ assigns to each set $X$ the set $V(X)$ of functions $v : X \to \mathbb R$ with $v(x) \neq 0$ for only finitely many $x \in X$. For example, if $X$ is the set $\{\text{milk}, \text{eggs}, \text{sugar}\}$ then a typical element of $V(X)$ might look like $2 \cdot \text{milk} + 1 \cdot \text{eggs} - 3 \cdot \text{sugar}$. An algebra for the monad $V(X)$ is precisely a vector space: a set $X$ equipped with a function $\alpha : V(X) \to X$ satisfying the appropriate unit and associativity laws. This definition captures the essence of a vector space — the ability to aggregate arbitrary linear combinations — with a single operation $\alpha : V(X) \to X$.

3.3. A general aggregative principle
------------------------------------

As promised, we can now formulate a general family of aggregative principles using the language of monads and algebras. Each principle has the following form: a social planner should make decisions as if they will face the aggregate of the personal outcomes across all individuals in the population.

Informally, this whole procedure can be summarized as follows: (1) The population is represented by a distinguished collection of individuals. (2) Each social outcome provides a function from individuals to their personal outcomes. This function can be lifted to a function from collections of individuals to the corresponding collections of personal outcomes, and then applied to the collection representing the population. Hence each social outcome provides a collection of personal outcomes. (3) Any collection of personal outcomes can be aggregated into a single personal outcome. (4) Therefore, each social outcome provides a single personal outcome.

(1) Let $M$ be any monad, assigning to every set $X$ another set $M(X)$ of collections over $X$. We must assume that the population is represented by a distinguished collection $\mathbf{i} \in M(I)$. Typically, $\mathbf{i}$ is chosen to represent the entire population impartially, although non-impartial collections could also be considered.

(2) As discussed before, there exists a function $\gamma : I \times S \to P$ such that, if the social outcome $s \in S$ obtains, then each individual $i \in I$ faces the personal outcome $\gamma(i, s)\in P$. It follows that each social outcome $s \in S$ provides a function $\gamma(-,s) : I \to P$ from individuals to their personal outcomes, where $\gamma(-,s)$ denotes the function $i \mapsto \gamma(i, s)$.

Now, any function $f : I \to P$ from individuals to their personal outcomes can be lifted to a function $f^M : M(I) \to M(P)$ from collections of individuals to the corresponding collections of personal outcomes. This lifting operation is a general feature of monads.

Hence, each social outcome $s$ provides a collection of personal outcomes $\gamma(-, s)^{M}(\mathbf i)$, obtained by lifting $\gamma(-,s) : I \to P$ to a function $\gamma(-,s)^M : M(I) \to M(P)$ and then applying to the distinguished collection of individuals $\mathbf i \in M(I)$.

(3) We assume that any collection of personal outcomes can be aggregated into a single personal outcome. Formally, there exists a function $\alpha : M(P) \to P$ which reduces any collection of personal outcomes $\mathbf{p} \in M(P)$ into a single personal outcome $\alpha(\mathbf{p}) \in P$.

A key requirement for obtaining a normatively compelling principle of social justice is that the aggregation function $\alpha : M(P) \to P$ is "monotonic". That is, aggregating more desirable personal outcomes should yield a more desirable result than aggregating less desirable personal outcomes, as judged by the the self-interested social planner. This feature incentivizes the social planner to choose policies that benefit individuals in society, and to avoid policies that harm individuals, all else being equal.

(4) Putting it all together, each social outcome $s$ provides a single aggregated personal outcome, namely $\zeta_{M, \alpha, \mathbf{i}}(s) := \alpha(\gamma(-,s)^M(\mathbf{i}))\in P$, obtained by applying the aggregation operator $\alpha :M(P) \to P$ to the collection of personal outcomes $\gamma(-,s)^M(\mathbf{i}) \in M(P)$ generated by $s$. This defines the general aggregation function $\zeta_{M, \alpha, \mathbf{i}} : S \to P$, which assigns to each social outcome the aggregated personal outcome.

As a sanity check, consider the trivial case where $I = \{i\}$ consists of a single individual. Here the population collection is the singleton $\mathbf i = \eta_I(i) \in M(I)$, and the aggregated outcome is simply $\zeta_{M, \alpha, \mathbf i}(s) = \gamma(i,s)$, i.e. the personal outcome assigned to the sole individual $i$.

By varying the monad $M$, the distinguished collection $\mathbf{i}$, and the aggregation function $\alpha$, one can capture a wide range of principles, including LELO, HL, and ROI as special cases.

4\. Algebraic structures on personal outcomes
=============================================

As we can see, the algebraic structures that exist on the personal outcomes constrain which aggregative principles are well-defined. In particular, the monad $M$ and aggregation function $\alpha$ must be compatible, in the sense that $\alpha$ defines an $M$-algebra on the set $P$ of personal outcomes. In this section, we will explore some concrete examples of algebraic structures on personal outcomes — including monoids, convex spaces, and semilattices, which are required for LELO, HL, and ROI respectively. Some of these examples will be exotic, thereby generating novel aggregative principles of social justice.

This section is not intended to be exhaustive. Indeed, there are countless possible algebraic structures one could consider, and the choice of algebraic structure will depend on the phenomena under investigation.

4.1. Personal outcomes as monoid
--------------------------------

How might we model personal outcomes such that they form a monoid, as required by LELO? Recall that LELO requires a concatenation operator $\text{conc}: \text{List}(P) \to P$. Equivalently, we seek a binary operator $\triangleright: P \times P \to P$ and a constant element $\epsilon \in P$ satisfying the axioms of a monoid, as discussed in section 3.1.

### Example 1

The simplest way to model personal outcomes as a monoid is for each personal outcome $p$ to be list over a fixed alphabet $A$, i.e. $P := \Delta(A)$. We can think of elements of $A$ as the discrete moments which constitute a human life. For example, $A$ might be the set of minute-long experiences — then a human life of 80 years would be modelled as a list of 42 million elements from $A$.

Indeed $P := \text{List}(A)$ has a monoid structure. In fact, this is the *free* monoid over $A$, meaning it is the 'most general' or 'least constrained' monoid containing $A$. The monoid operation $\triangleright$ is given by concatenation of lists: if $p = [a_1, \ldots, a_n]$ and $p' = [a_1', \ldots, a_{n'}']$ are two lists, then $p \triangleright p' = [a_1, \ldots , a_n, a_1', \ldots, a_{n'}']$. The identity element $\epsilon$ is the empty list $[]$. This is the simplest type of monoid, and thus the natural starting point for modeling personal outcomes in the context of LELO.

### Example 2

Alternatively, we can model personal outcomes in a more continuous way. Suppose each personal outcome $p$ is a pair $(d, f)$ where:

*   $d \in \mathbb{R}_{\geq 0}$ is a *duration*.
*   $f : (0, d] \to A$ is a *trajectory*, assigning to each moment in time $0 < t \leq d$ an instantaneous experience $f(t) \in A$. Here $(0,d]$ denotes the left-open, right-closed real interval of length $d$, and $A$ is some fixed set of possible instantaneous experiences. We might use this model if we want to track variables that change continuously over time, such as an individual's location.

We can define a monoid operation $\triangleright$ on $P$ by concatenating durations and 'switching' between trajectories. Formally, for $p = (d,f)$ and $p' = (d',f')$, we define $p \triangleright p'$ to be the pair $(d+d', \tilde{f})$ where $\tilde{f} : (0, d+d'] \to A$ is given by $\tilde{f}(t) = \begin{cases} f(t) & \text{if } t \leq d \ f'(t-d) & \text{else} \end{cases}$. The identity element $\epsilon \in P$ is the pair $(0, !_A)$ where $!_A : (0,0] \to A$ is the empty function to $A$.[^zvh0sh4fxar]

We could also restrict the trajectories $f : (0, d] \to A$ to be piecewise smooth, piecewise continuous, piecewise constant, or to satisfy any other reasonable piecewise condition. $P$ remains a monoid under these restrictions, because the concatenation of piecewise smooth (resp. continuous, constant) functions is again piecewise smooth (resp. continuous, constant).

### Example 3

In the previous two examples, we've modelled personal outcomes as predetermined trajectories through some space of experiences, either discrete or continuous. However, these models assume that an individual's life trajectory is fixed in advance, which is often unrealistic. In reality, individuals make choices that shape the course of their lives over time. To capture this agency, we can model personal outcomes as environments that are actively guided by the individual's actions.

Suppose we model a personal outcome as an interactive environment consisting of:

*   A set $A$ of actions the individual can produce.
*   A set $O$ of observations the individual can receive.
*   A function $\tau : A \to \Delta(O)$ assigning to each action a probability distribution over observations.

We can define a monoid operation on the set $P$ by running the two environments $p$ and $p'$ in parallel, where the individual simultaneously chooses actions and receives observations in both environments. Concretely, given $p =(A, O, \tau)$ and $p' = (A', O', \tau')$, we define their product $p \triangleright p'$ to be the environment $(A \times A', O \times O', \tau \otimes \tau')$ where:

*   The set of actions is the Cartesian product $A \times A'$
*   The set of observations is the Cartesian product $O \times O'$
*   If $\tau : A \to \Delta(O)$ and $\tau' : A' \to \Delta(O')$ are transition functions, considered as functions $\tau : A \times O \to [0,1]$ and $\tau' : A' \times O' \to [0,1]$, then $\tau \otimes \tau'$ is their product, i.e. $\tau \otimes \tau' : A \times A' \to \Delta(O \times O')$ is defined by $\tau(a, a', o, o') = \tau(a, o) \cdot \tau'(a', o')$. Intuitively, $\tau \otimes \tau'$ receives a pair of actions $(a, a')$ and produces a pair observations $(o, o')$ by independently sampling $o$ from $\tau(a)$ and $o'$ from $\tau'(a')$.

The identity element $\epsilon \in P$ is the trivial environment with a single action and a single observation, i.e. $A = O = \{\star\}$ and $\tau(\star)$ is the point distribution on $\star$.

### Example 4

We can further extend the previous example by incorporating rewards. Suppose a personal outcome is modelled by:

*   A set $A$ of actions
*   A set $O$ of observations
*   A function $\tau : A \to \Delta(O \times \mathbb{R})$ assigning to each action a joint distribution over observations and real-valued rewards Now $\tau(a)$ represents the distribution on (observation, reward) pairs resulting from taking action $a$. The goal is to choose actions over time so as to maximize the expected total reward.

As before, we can define a monoid operation on the set $P$ by running the two 'reward-augmented' environments $p$ and $p'$ in parallel, where the individual simultaneously chooses actions and receives observations in both environments, except that now each environments also produces a reward. The rewards are summed and received by the individual. The identity element $\epsilon \in P$ is the trivial environment with a single action and a single observation, i.e. $A = O = \{\star\}$ and $\tau(\star)$ is the point distribution on $(\star, 0) \in O \times \mathbb R$.

4.2. Personal outcomes as convex space
--------------------------------------

We've seen how personal outcomes form a monoid, as required by LELO. Next let's turn to convex spaces, as required by HL. Recall that HL requires an interpolation operator $\mathbb E: \Delta(P) \to P$. Equivalently, we seek a family of binary operators $\{+_\lambda : P \times P \to P\}_{\lambda \in (0,1)}$ satisfying the axioms of a convex space, as discussed in section 3.2.

### Example 5

The simplest way to model personal outcomes as a convex space is to take each outcome $p$ to be a probability distribution over some fixed set of alternatives $A$, i.e. $P := \Delta(A)$. For example, $A$ might be the set of possible life histories, where a life history specifies all the relevant details of a person's life from birth to death, such as their physical and mental states, relationships, major life events, achievements, etc. A personal outcome is then a probability distribution over these possible life histories.

Indeed $P := \Delta(A)$ has a convex structure. In fact, this is the *free* convex space over $A$, i.e. the 'least constrained' convex space containing $A$. The interpolation operators are given by the standard notion of interpolation of distributions. That is, if $p : A \to [0,1]$ and $p' : A \to [0,1]$ are two distributions, then their $\lambda$-interpolation $p+_\lambda p' : A \to [0,1]$ is the distribution defined by $(p+_\lambda p')(a) = \lambda\cdot p(a) + (1-\lambda)\cdot p'(a)$. This is the simplest type of convex space, and thus the natural starting point for modeling personal outcomes in the context of HL.

### Example 6

Again, this is a model of personal outcomes which lacks any notion of individual agency. Personal outcomes are simply probability distributions over a fixed set of alternatives, with no room for individuals to make choices that affect their outcomes. To incorporate individual agency, we will again model a personal outcome as an interactive environment consisting of an action set $A$, an observation set $O$, and a function $\tau : A \to \Delta(O)$ assigning to each action a probability distribution over observations.

To define an interpolation operation on personal outcomes in this setting, we use the idea of *stochastic case handling*. Given two personal outcomes $p=(A,O,\tau)$ and $p'=(A',O',\tau')$, define their $\lambda$-interpolation $p +_\lambda p'$ as follows:

*   The action space is the Cartesian product $A \times A'$, representing a choice of action from each of the original action spaces.
*   The observation space is the disjoint union $O + O'$, representing either an observation from $O$ or from $O'$.
*   The transition function $\tilde \tau : A \times A' \to \Delta(O+O')$ interpolates between the original transition functions $\tau$ and $\tau'$ in a way that respects the observation space structure. Intuitively, the interpolated outcome $p +_\lambda p'$ allows the individual to choose an action for each environment, and then randomly selects whether to run the environment $p$ or $p'$ with likelihoods $\lambda$ and $1-\lambda$ respectively.[^3dh0o0lub1o]

### Example 7

We could imagine interpolating between personal outcomes in a more direct way. For example, if $p$ is the personal outcome of winning $£100$, and $p'$ is the personal outcome of winning $£1$, then $p +_\lambda p'$ is the personal outcome of winning $£ (1+\lambda \cdot 99)$. However, it's unclear how to extend this interpolation to personal outcomes lacking an inherently probabilistic or quantitative structure. For instance, suppose $p$ is the outcome of being happily married with two children and an unfulfilling career, while $p'$ is the outcome of being single and childless but having a fulfilling career. It's unclear how to meaningfully define an outcome "50% between them".

One approach is to represent personal outcomes as vectors in a high-dimensional real vector space such as $\mathbb{R}^d$. Here $d$ is some large number, potentially hundreds or thousands. The benefit of a vector representation is that the space of personal outcomes $P$ inherits the natural convex structure of $\mathbb{R}^d$. Concretely, for any two outcome vectors $p, p' \in \mathbb{R}^d$ and any weight $\lambda \in (0,1)$, we define the $\lambda$-interpolation $p +_\lambda p'$ as the weighted average $\lambda p + (1-\lambda) p'$.

Intuitively, if the dimensions of $\mathbb{R}^d$ correspond to relevant features of the outcome, then the interpolated outcome $p +_\lambda p'$ has intermediate feature values between those of $p$ and $p'$. The relative influence of $p$ and $p'$ is controlled by the weight $\lambda$. For the vector representation to be useful, it must encode all the important information about the outcome in a structured format (e.g. ensuring that similar outcomes map to similar vectors). This is a nontrivial challenge. Many important features, such as happiness, fulfilment, and relationships, are difficult to measure numerically.

One trick to obtain vector representations of personal outcomes could be to leverage the semantic knowledge embedded in a large pretrained language model like GPT-3. In particular, the activation space of a pretrained model can represent general semantic concepts, including personal outcomes, and comes equipped with a convex structure. Using this convex structure, we obtain the following aggregative principle: a social planner should make decisions as if they will face the average personal outcome across all individuals, where the averaging is performed in the activation space of the language model.[^l49ywdc8zm]

Whether this aggregative principle is appropriate will depend on how personal outcomes are represented within the activations of GPT-3. In particular, we desire the monotonicity property. That is, if the interpolation $\lambda _1 \cdot p_1 + \cdots +\lambda_n  \cdot p_n$ is less desirable than the interpolation $\lambda _1 \cdot p_1' + \cdots +\lambda_n  \cdot p_n'$ then there exists some $p_i$ less desirable than $p_i'$. Monotonicity would ensure that a social planner following this aggregative principle will, all else being equal, tend to choose policies that benefit individuals and avoid policies that harm individuals

The dimensionality $d$ of the latent space controls the level of detail captured about personal outcomes. The extreme cases are problematic:

*   If $d=1$, then the latent space collapses to a single dimension. If the vector representation $v$ maps each personal outcome $p$ to its cardinal utility $v(p) \in \mathbb R$, then comparing the averages of these one-dimensional vectors recovers classical utilitarianism. However, this faces the problem of interpersonal comparisons — there's no tractable method for determining the cardinal utility for each personal outcome. Moreover, the representation of the resulting personal outcome is a single number, which is difficult for humans to reason about concretely. Most humans would struggle to imagine what an outcome with "0.5 utility" would be like, as it lacks any information about the qualitative features of the outcome.
*   If $d=|A|$, where $A$ is the set of all possible life histories, then the latent space has one dimension corresponding to each possible life history. Suppose that the vector representation $v$ maps each personal outcome $p$, represented as a lottery $⟨a_1:\lambda_1\cdots∣a_d:\lambda_d⟩$ over possible life histories, to the vector of probabilities $v(p) = (\lambda_1,…,\lambda_d)$. Then we recover Harsanyi's Lottery. However, for large populations this lottery is intractable to reason about, because there are astronomically many possible outcomes.
*   An intermediate value, such as $d=4000$, strikes the best balance between expressiveness and tractability, as the dimensionality is:
    *   Large enough to capture the features of outcomes that humans care about, such as a person's happiness, relationships, accomplishments, etc. The resulting vector representation is cognitively meaningful.
    *   Small enough that the vectors can be tractably compared, even for large populations, as we need only compare the summary vectors rather than the full lotteries. This scalability allows the framework to be applied to real-world policy decisions involving numerous stakeholders.

4.3. Personal outcomes as semilattice
-------------------------------------

We've seen how personal outcomes form a monoid or convex space, as required by LELO and HL respectively. Next let's turn to convex spaces, as required by ROI. Recall that ROI requires a fusion operator $\mathbb \bigoplus: \mathcal P^+_f(P) \to P$. Equivalently, we seek a of binary operator $\oplus$ satisfying the axioms of a semilattice, as discussed in section 3.3.

### Example 8

The simplest way to model personal outcomes as a semilattice is to take each outcome $p$ to be a nonempty finite subset of a fixed set of alternatives $A$, i.e. $P := \mathcal P^+_f(A)$. $A$ might be the set of possible life histories, specifying all the relevant details of a person's life from birth to death. A personal outcome $p = \{a_1,\ldots, a_n\} \subseteq A$ is a state where any of the alternatives $a_1 , \ldots, a_n$ are possible, without specifying their likelihoods or the mechanism that will select among them.

Indeed $P := \mathcal P^+_f(A)$ has a semilattice structure. In fact, this is the *free* semilattice over $A$, i.e. the 'least constrained' semilattice containing $A$. The fusion operators are given by the standard union between sets. That is, if $p \subseteq A$ and $p'\subseteq A$ are two subsets, then their fusion $p\oplus p' \subseteq A$ is the subset defined by $p \oplus p' = p \cup p'$. This recovers the disjunctive reading of the fusion operator. For example, if $p = \{\text{vanilla}, \text{chocolate}\}$ represents the outcome of having either vanilla or chocolate ice-cream, and $p' = \{\text{chocolate}, \text{strawberry}\}$ represents the outcome of having either chocolate or strawberry ice-cream, then their fusion $p \oplus p' = \{\text{vanilla}, \text{chocolate}, \text{strawberry}\}$ represents the outcome of having either vanilla, chocolate or strawberry ice-cream. This is the simplest type of semilattice, and thus the natural starting point for modeling personal outcomes in the context of ROI.

### Example 9

Alternatively, we could interpret fusion as conjunction rather than disjunction: if $p$ is the outcome of playing tennis and $p'$ is the outcome of listening to Bach, then $p \oplus p'$ is the outcome of simultaneously playing tennis and listening to Bach. In the conjunctive interpretation, we take the elements of $A$ to be specifications or properties about personal outcomes. A personal outcome $p$ is represented by a subset of $A$, where $p$ contains exactly those specifications that the outcome satisfies. Fusion is still defined as set union, i.e. $p \oplus p' = p \cup p'$. The fused outcome $p \oplus p'$ will satisfy a specification if and only if at least one of $p$ or $p'$ satisfies it.

For the fusion operation to always yield a coherent personal outcome, we require any finite subset of specifications in $A$ to be mutually consistent. This is a very strong assumption that rules out the vast majority of possible sets of specifications. For example, "has a PhD" and "has no higher education" cannot both be specifications in $A$. Moreover, even if we could represent personal outcomes with a space $A$ of mutually consistent specifications, the resulting aggregative principle of social justice would likely fail to match our moral judgments. The problem is that the hypothetical prospect of "living every life simultaneously" is so alien that the social planner's preferences about it are unlikely to track anything normatively relevant.

### Example 10

As discussed previously, we can represent personal outcomes as vectors in a high-dimensional real vector space such as $\mathbb{R}^d$. The benefit of a vector representation is that the space of personal outcomes $P$ inherits a natural semilattice structure of $\mathbb{R}^d$. Concretely, for any two outcome vectors $p, p' \in \mathbb{R}^d$ we can define their fusion $p \oplus p'$ by the taking the coordinatewise maximum: $(p \oplus p')_i = \max\{p_i, p'_i\}$ for $i=1,\ldots,d$.

Intuitively, if the dimensions of $\mathbb{R}^d$ correspond to degrees or intensities of different attributes, then the fused outcome $p \oplus p'$ has each attribute at the higher of the two degrees from $p$ and $p'$. For example, consider feature vectors with dimensions for wealth, sickness, and number of children. Fusing two such vectors would yield an outcome with the wealth of the wealthier individual, the sickness of the sicker individual, and the greater number of children. This example illustrates that the choice of vector representation substantively changes the resulting aggregative principle of social justice.

As discussed in the previous section, one approach to obtaining semantically meaningful vector representations of personal outcomes is to leverage the internal activations of a large language model like GPT-3. However, unlike the convex combination approach discussed earlier, defining the fusion operator $p \oplus p'$ via the coordinatewise maximum $(p \oplus p')_i = \max\{p_i, p'_i\}$ has a limitation when applied to language model embeddings. Namely, this fusion operator is not rotation-invariant, meaning the aggregative principle would depend on the basis in the model's activation space. To amend this issue, we might learn change-of-basis transformations from the model's activation space to a new embedding space where coordinatewise maximum yields an appropriate principle of social justice.

Conclusion
==========

In this article, we examined aggregative principles of social justice, i.e. principles stating that a social planner should make decisions as if they will face the aggregated personal outcomes of every individual in the population. We saw three well-known examples — Live Every Life Once (LELO), Harsanyi's Lottery (HL), and Rawls' Original Position (ROI). After introducing the mathematical concept of a monad, we constructed a general family of aggregative principles.

Finally, we explored several concrete examples of algebraic structures on personal outcomes, with natural interpretations as monoids, convex spaces, and semilattices. The generality of the framework allowed for the development of novel principles, beyond those already discussed in the literature. For instance, we considered modeling personal outcomes as:

*   Trajectories through a space of experiences, either discrete or continuous
*   Interactive environments that are actively guided by an individual's actions
*   High-dimensional vectors, with the dimensions corresponding to relevant features of the outcome.

In conclusion, aggregative principles offer a fruitful strategy for specifying principles of social justice. In [my next article](https://www.lesswrong.com/s/Qn8DhSrdA2qPH2eJT/p/nAL6mnyFx2NuYLXmu), I prove that, under natural conditions of human rationality, aggregative principles will approximate utilitarian principles. Therefore, even though aggregativism avoids the theoretical pitfalls of utilitarianism, we should nonetheless expect aggregativism to generate roughly-utilitarian recommendations in practical social contexts, and thereby retain the most appealing insights from utilitarianism.

* * *

[^spl6kripfwb]: See Appraising aggregativism and utilitarianism for a thorough defence. 

[^g2su1574qli]: The term LELO originates in Loren Fryxell (2024), "XU", which is where I first encountered the concept. I think Fryxell offers the first formal treatment of the LELO principle.MacAskill (2022), "What We Owe the Future", says this thought experiment comes from Georgia Ray (2018), “The Funnel of Human Experience”, and that the short story Andy Weir (2009), "The Egg", shares a similar premise.But (as Elliott Thornley notes), Roger Crisp attributes LELO to C.I. Lewis. This would predate both Ray and Weir, but I haven't traced the reference. 

[^5i00hk1w8a5]: John C. Harsanyi "Cardinal Utility in Welfare Economics and in the Theory of Risk-Taking" (1953) and "Cardinal Welfare, Individualistic Ethics, and Interpersonal Comparisons of Utility" (1955) 

[^02kc2l5c5lz9]: John Rawls (1971), "A Theory of Justice"  

[^q857se3qfzk]: See https://plato.stanford.edu/entries/original-position/ 

[^de0xskishbq]: John Harsanyi (1975) "Can the Maximin Principle Serve as a Basis for Morality? A Critique of John Rawls's Theory" 

[^ngdx71njejk]: See https://ncatlab.org/nlab/show/list 

[^6b7615xy989]: See https://ncatlab.org/nlab/show/monoid 

[^gsc7u50a6ki]: See https://ncatlab.org/nlab/show/convex+space 

[^qo1y0qynxsj]: See https://ncatlab.org/nlab/show/semilattice 

[^727dyro169w]: This is called the min-max principle in decision theory, and Murphy's law colloquially. 

[^fomng5eyscd]: See https://ncatlab.org/nlab/show/list+monad 

[^frd1yu8on2o]: See https://ncatlab.org/nlab/show/distribution+monad 

[^209xd45xx7g]: See https://ncatlab.org/nlab/show/free+commutative+monoid 

[^zvh0sh4fxar]: Note that the half-open interval \((0, 0]\) is the empty set \(\emptyset\), because there are no real numbers \(0 < t \leq 0\), and for any set \(A\) there is exactly one function \(!_A : \emptyset \to A\) which we call the empty function. 

[^3dh0o0lub1o]: If \(\tau : A \to \Delta(O)\) and \(\tau' : A' \to \Delta(O')\) are transition functions, considered as functions \(\tau : A \times O \to [0,1]\) and \(\tau' : A' \times O' \to [0,1]\), then \(\tilde \tau : A \times A' \to \Delta(O + O')\) is defined by \(\tilde \tau(a,a', o) = \begin{cases}\lambda\cdot\tau(a, o) &\text{if } o \in O\\(1-\lambda)\cdot \tau'(a',o) &\text{if } o \in O'\end{cases}\) 

[^l49ywdc8zm]: Concretely, to assess a social outcome \(s\), the social planner should follow the following steps:(1) Describe the personal outcome of each individual \(i \in I\), e.g. "Alice lives a happy life as a successful doctor with a loving family."(2) Run a forward pass of the language model on each prompt, without generating any new tokens, and extract the model internal activations. The choice of which specific activation to extract would be a hyperparameter to tune, but one natural choice is a hidden state of the model's residual stream. Overall, this gives some function \(N_\theta: T \to \mathbb R^d\) where \(T\) is the space of prompts and \(\theta\) is the trained parameters of the model.(3) For each individual \(i\), obtain a vector representation \(v_i \in \mathbb R^d\) of their personal outcome by applying the function \(N_\theta\) to their prompt. Compute the social outcome vector \(v^*\) as a weighted average of the individual outcome vectors: \(v^* = \sum_i \lambda_i v_i\).(4) Interpret the social outcome vector \(v^*\) by finding a natural language prompt \(t^*\) such that \(N_\theta(t^*)\) is close to \(v^*\). This is a nontrivial inverse problem and may require heuristics. One approach is to perform gradient descent over the space of prompts \(T\) to minimize a loss function \(\mathcal L(t; v^*,\theta) = ||N_\theta(t)- v^*||_\rho - \beta \log \mathbb P(t; \theta)\). Here \(||\cdot||_\rho\) is the \(\mathcal l^\rho\)-norm, \(\mathbb P(t ;\theta)\) is the probability of \(p\) under the language model, and \(\beta\) is a hyperparameter controlling the relative importance of the two terms. Intuitively, this finds a prompt that has a vector representation close to \(v^*\) and is likely under the language model.When assessing the social outcome \(s\), the social planner should make decisions as if they will face the outcome described in \(t^*\), obtained in the procedure above.