Evan Patterson

Research Scientist

Evan Patterson is an applied mathematician, data scientist, and software engineer. He holds a PhD in Statistics from Stanford University and a BSc in Mathematics and Physics from Caltech. Evan aims to build next-generation tools for scientific and statistical modeling, structured by the concepts of category theory. In keeping with the spirit of the Topos Institute, he believes that science and technology form an integrated whole and should be employed to benefit, rather than to exploit, humanity.

Blog posts

Toward compact double categories: Part 2
Last time we framed the puzzle of axiomatizing categorical duality and introduced new double-categorical tools, culminating with the twisted Hom functor. We’ll now get straight to the point by proposing a definition of a compact double category. After that we’ll fill in a few remaining technical…
Evan Patterson
2024-06-24

Toward compact double categories: Part 1
Lately I’ve been pursuing formal category theory using double categories. A first step in this program is to abstract from categories to category objects in a double category; for instance, internal categories are category objects in a double category of spans and enriched categories are category…
Evan Patterson
2024-06-20

Algebras are promonads

An interesting analogy between algebras over a ring and promonads on a category is formalized using the apparatus of double theories.

Evan Patterson
2024-01-29

Why double categories? Part 1

The beginning of a series of posts answering the question “why double categories?”. Our first answer is that double categories give the algebra of relations from universal properties.

Evan Patterson
2024-01-15

Retrotransformations

Retrotransformations between lax double functors are introduced as the “multi-object” analogue of a cofunctor between categories. Notions of “monoidal cofunctor” between monoidal categories and of “multicofunctor” between multicategories are then derived as special cases.

Evan Patterson
2023-10-20
 
Cartesian double theories

Cartesian double theories are a new framework for doctrines based on double-categorical functorial semantics.

Evan Patterson
2023-10-13

Unbiased monoidal categories are pseudo-elements

Categorifying the observation that monoids are generalized elements of multicategories, we show that unbiased pseudomonoids, such as unbiased monoidal categories, are “pseudo-elements” of 2-multicategories.

Evan Patterson
2023-08-15

Structured cospans as a cocartesian equipment
The theory of structured cospans is dramatically simplified by the use of double-categorical universal properties. Specifically, we show that structured cospans form a cocartesian equipment, a result that is stronger yet easier to prove than the usual result that they form a symmetric monoidal…
Evan Patterson
2023-03-15

Research associates from last summer’s program

Research opportunities at Topos in early 2023

We invite applications to join Topos Institute as a Research Associate (summer 2023) or as a Research Software Engineer (regular position).

Evan Patterson
2022-12-12

Decorated cospans via the Grothendieck construction

Building on the double Grothendieck construction introduced last time, we explain how decorated cospans are instance of the Grothendieck construction. This perspective suggests a natural generalization of decorated cospans, which we illustrate through several examples.

Evan Patterson
2022-05-30

Grothendieck construction for double categories
What is the Grothendieck construction for double categories? We explore one possible answer to this question, based on the perspective that double categories are categories internal to \mathsf{Cat}. In fact, we suggest a general procedure for doing the Grothendieck construction on any structure…
Evan Patterson
2022-05-23

Diagrammatic equations and multiphysics (Part 2)
Previously, we surveyed some of the fundamental concepts from our paper on the use of diagrams to present equations from mathematical physics. In this blog post we take a look at how we can enrich our framework, introducing cartesian and symmetric monoidal products in order to be able to express…
Tim Hosgood, Evan Patterson
2022-04-15

Diagrammatic equations and multiphysics (Part 1)
Using diagrams to encode equations between physical quantities is something that has become more and more common over the past few decades. To a category theorist, however, the use of such diagrams is not as formal as one would perhaps like. In this new paper, we fix this problem: systematising…
Tim Hosgood, Evan Patterson
2022-04-08

Summer RAs and mentors hard at work at the beginning of summer 2021

Call for 2022 Summer Research Associates

Come spend the summer at the Topos Institute! For early-career researchers, we’re excited to open up applications for our summer research associate program.

Evan Patterson
2022-03-01
 
Topos seeks Research Software Engineer

We invite applications to join the Topos Institute as a Research Software Engineer, to work on software for compositional data integration and scientific modeling in the Julia programming language.

Evan Patterson
2022-02-21
No matching items