42 citations
- Evan Patterson2 profiles10 · h 12
- David I. Spivak2 profiles5 · h 27
- James P. Fairbanks5 · h 10
- Sophie Libkind2 profiles4 · h 6
- Andre Baas3 · h 5
- B. Shapiro2 · h 4
- Michael Lambert2 · h 1
- Owen Lynch2 profiles2 · h 3
- Timothy Hosgood2 profiles2 · h 1
- T. S. C. Smithe2 · h 6
- T. St. Clere Smithe2 · h 0
- Valeria C V de Paiva2 · h 28
- Topos Institute24 papers
- University of FloridaUS5 papers
- Georgia Institute of TechnologyUS3 papers
- Georgia Tech Research Institute3 papers
- Stanford UniversityUS3 papers
- University of Massachusetts BostonUS2 papers
- Cornell UniversityUS1 paper
- Eindhoven University of TechnologyNL1 paper
- Freie Universität BerlinDE1 paper
- Louisiana State UniversityUS1 paper
- Max Planck Institute of Animal BehaviorDE1 paper
- Monash UniversityAU1 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…