mit/thesis/dual/sdm two candidates

how we can use co-design to create a participatory system of institutional decision-making

potential structure

Thesis: Participatory Decision-Making Using Co-Design and Partial Order

Claim: Many complex system design problems involve stakeholders with divergent or incommensurable preferences; instead of aiming for total consensus, participatory processes can yield partially ordered sets of solutions that reflect trade-offs transparently and support informed co-evolution.

Gap

Most participatory frameworks focus on facilitation and dialogue, but lack formal structures for comparing competing preferences or compositions of solutions.

Optimization frameworks assume total orders; real decisions often involve incomplete, evolving, or non-comparable preferences.

Existing design processes rarely show participants the structured space of possibilities or how solutions emerge from trade-offs.

Hypothesis

Co-design processes can be formally modeled using partial orders (posets), revealing where preferences align, conflict, or compose.

This model enables more transparent, explainable, and iterative participatory decision-making.

Theoretical Foundations

Category theory: posets as thin categories, functors as structured preference mappings

Decision theory: partial orders, Pareto frontiers, multi-objective trade-off spaces

Co-design (Zardini lab, Oikos, Urban Co-Design): participation as structured iteration, not consensus-seeking

Ethics of participation: transparency and agency arise from structured intelligibility, not necessarily from agreement

Method Overview

Model co-design outcomes as elements in a partially ordered solution space

Define functors that map stakeholder preference structures into solution-space rankings

Use case study data from participatory workshops (e.g., Oikos, public space planning) to extract preference structures

Build tooling or visualizations to show emerging posets of design options

Analyze how changes in stakeholder framing affect the partial order over time

Expected Contributions

A formal framework for co-design as participatory ordering, not forced convergence

Practical tools for participatory planning that reveal structure without reducing complexity

A generalizable model of participatory reasoning as partial epistemic consensus

knowledge can be represented as relationships between categories of concepts

potential structure

Thesis: Understanding Learning as Epistemological Composition and Abstraction

Claim: Learning is not just information accumulation but a structured, layered process of composing knowledge fragments and abstracting over them; category theory offers a formal language for modeling these nested, compositional epistemic transformations.

Gap

Most learning theories are either cognitive (mental models) or statistical (Bayesian update), and rarely formalize how knowledge transforms across abstraction layers.

Few frameworks exist for representing recursive belief structures, cross-domain analogies, or meta-level learning (learning how to learn).

There’s little alignment between formal epistemology and applied system learning (design, AI, planning).

Hypothesis

Learning can be modeled as composition over structured belief morphisms, with abstraction corresponding to movement up layers of epistemic categories.

This structure enables analysis of learning loops, reflection, generalization, and design insight.

Theoretical Foundations

Category theory: functors, fibrations, 2-categories, composition, pullbacks, abstraction as higher morphisms

Epistemology: nested belief, revision, speculative reasoning, conceptual change

Learning theory: curriculum design, analogical transfer, reflection

System design: modular abstraction, interface design, learning-by-design

Method Overview

Define core learning operations (composition, abstraction, analogy) as categorical structures

Model examples of real-world learning trajectories (e.g. concept maps, planning sequences, reflective practice) using these structures

Use visual and algebraic tools to reveal where epistemic composition succeeds or breaks

Optionally build tooling to track or simulate epistemic composition (e.g. a learning graph based on Logseq or Omnicat-style representation)

Apply the model to system design or planning problems to demonstrate usefulness

Expected Contributions

A formal model of learning as epistemic composition across abstraction layers

Bridging epistemology, design, and cognitive systems

A novel theoretical foundation for modular, reflective, and cross-domain learning