Compositional Algorithms with Sheaves

StructuredDecompositions.jl

Project Team

Name Member Since Degree Role
Benjamin Merlin Bumpus 2022 PhD Research Assistant Professor
Wilmer Leal 2022 PhD Postdoctoral Fellow
No matching items

Project Articles

  • Short Note on Cohomology, Sheafification and Lavish Presheaves
    B. Bumpus, D. Rosiak, M. Cappucci, J. Fairbanks
    Applied Category Theory (2024)
    Details
  • How Nice is this Functor? Two Squares and Some Homology go a Long Way
    B. Bumpus, D. Rosiak, C. Puca, F. Genovese, J. Fairbanks
    Applied Category Theory (2024)
    Details
  • Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves
    E. Althaus, B. Bumpus, J. Fairbanks, D. Rosiak
    Fundamenta Informaticae (2024)
    Details DOI URL Preprint
  • Towards a Unified Theory of Time-varying Data
    B. Bumpus, J. Fairbanks, M. Karvonen, W. Leal, F. Simard
    Proc. of the Royal Society Phil. Trans. (2024)
    Details DOI URL Preprint
No matching items

Sponsors

Computation Sheaf Theory has been supported by the DARPA program Automating Scientific Knolwedge Extraction and Modeling