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 2024Show all
2 papers · 1 filter
math.CT2024
Organizing Physics with Open Energy-Driven Systems
Matteo Capucci, Owen Lynch, David I. Spivak
Organizing physics has been a long-standing preoccupation of applied category theory, going back at least to Lawvere. We contribute to this research thread by noticing that Hamilto…
math.CT2024
Representing Knowledge and Querying Data using Double-Functorial Semantics
Michael Lambert, Evan Patterson
Category theory offers a mathematical foundation for knowledge representation and database systems. Popular existing approaches model a database instance as a functor into the cate…