42 citations
- Evan Patterson2 profiles10 · h 12
- David I. Spivak2 profiles6 · h 27
- James P. Fairbanks5 · h 10
- Sophie Libkind2 profiles4 · h 6
- Andre Baas3 · h 5
- Owen Lynch2 profiles3 · h 3
- B. Shapiro2 · h 4
- J. Baez2 · h 57
- Michael Lambert2 · h 1
- Timothy Hosgood2 profiles2 · h 1
- T. S. C. Smithe2 · h 6
- T. St. Clere Smithe2 · h 0
- ToposUS24 papers
- University of FloridaUS5 papers
- Georgia Institute of TechnologyUS3 papers
- Georgia Tech Research Institute3 papers
- Stanford UniversityUS3 papers
- University of California, RiversideUS2 papers
- University of Massachusetts BostonUS2 papers
- Utrecht UniversityNL2 papers
- Centre for Quantum TechnologiesSG1 paper
- Cornell UniversityUS1 paper
- Eindhoven University of TechnologyNL1 paper
- Freie Universität BerlinDE1 paper
Showing 2023 · math.CTShow all
3 papers · 2 filters
math.CT2023★ 1 cited
Cartesian double theories: A double-categorical framework for categorical doctrines
Michael Lambert, Evan Patterson
The categorified theories known as "doctrines" specify a category equipped with extra structure, analogous to how ordinary theories specify a set with extra structure. We introduce…
math.CT2023
Approximate Inference via Fibrations of Statistical Games
Toby St Clere Smithe
We characterize a number of well known systems of approximate inference as loss models: lax sections of 2-fibrations of statistical games, constructed by attaching internally-defin…
math.CT2023★ 2 cited
Structured and Decorated Cospans from the Viewpoint of Double Category Theory
Evan Patterson
Structured and decorated cospans are broadly applicable frameworks for building bicategories or double categories of open systems. We streamline and generalize these frameworks usi…