Compositional Algorithms with Sheaves

StructuredDecompositions.jl

Project team

PhotoNameMember sinceDegreeProgram
Benjamin Merlin Bumpus2022PhDResearch Assistant Professor
Wilmer Leal2022PhDPostdoctoral Fellow

Project articles

Towards a Unified Theory of Time-varying Data

B. Bumpus, J. Fairbanks, M. Karvonen, W. Leal, F. SimardProc. of the Royal Society Phil. Trans.Submitted 2024

DOI

Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves

E. Althaus, B. Bumpus, J. Fairbanks, D. RosiakFundamenta InformaticaeSubmitted 2024

DOI

How Nice is this Functor? Two Squares and Some Homology go a Long Way

B. Bumpus, D. Rosiak, C. Puca, F. Genovese, J. FairbanksApplied Category TheorySubmitted March 2024

Short Note on Cohomology, Sheafification and Lavish Presheaves

B. Bumpus, D. Rosiak, M. Cappucci, J. FairbanksApplied Category TheorySubmitted March 2024

Sponsors

DARPA

Computational sheaf theory has been supported by the DARPA program Automating Scientific Knowledge Extraction and Modeling.