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
5 papers · 1 filter
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…
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
Jonas Bayer, Aleksey Gonus, Christoph Benzmüller +1
This paper presents meta-logical investigations based on category theory using the proof assistant Isabelle/HOL. We demonstrate the potential of a free logic based shallow semantic…
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…
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…
A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks
Rebekah Aduddell, James Fairbanks, Amit Kumar +3
Regulatory networks depict promoting or inhibiting interactions between molecules in a biochemical system. We introduce a category-theoretic formalism for regulatory networks, usin…