Papers

Our publications as tables, broken down by category. Click a column header to sort; use the box to filter. It draws on the same Zotero export as the full bibliography, so the two always agree.

Journal papers

YearAuthorsTitleVenueLink
2025Morris, L., Rauta, G., Carlson, K., & Fairbanks, J.Porous Convection in the Discrete Exterior Calculus with Geometric MultigridArxivLink
2024Morris, L., Baas, A., Arias, J., Gatlin, M., Patterson, E., & Fairbanks, J. P.Decapodes: A diagrammatic tool for representing, composing, and computing spatialized partial differential equationsJournal of Computational ScienceLink
2024Aduddell, R., Fairbanks, J., Kumar, A., Ocal, P. S., Patterson, E., & Shapiro, B. T.A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networksCompositionalityLink
2024Bumpus, B., Fairbanks, J., Karvonen, M., Leal, W., & Simard, F.Towards a Unified Theory of Time-varying DataArxivLink
2024Samuelson, R., & Stein, D.Towards a Compositional Framework for Convex AnalysisArxivLink
2023Brown, K., Patterson, E., Hanks, T., & Fairbanks, J.Computational category-theoretic rewritingJournal of Logical and Algebraic Methods in ProgrammingLink
2023Garrett, R. K., Fairbanks, J. P., Loper, M. L., & Moreland, J. D.The application of applied category theory to quantify mission successSimulationLink
2023Patterson, E., Baas, A., Hosgood, T., & Fairbanks, J.A diagrammatic view of differential equations in physicsMathematics in EngineeringLink
2022Patterson, E., Lynch, O., & Fairbanks, J.Categorical Data Structures for Technical ComputingCompositionalityLink
2022Libkind, S., Baas, A., Halter, M., Patterson, E., & Fairbanks, J. P.An algebraic framework for structured epidemic modellingPhilosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering SciencesLink
2021Mordecai, Y., Fairbanks, J. P., & Crawley, E. F.Category-theoretic formulation of the model-based systems architecting cognitive-computational cycleApplied Sciences
2020Briscoe, E., & Fairbanks, J.Artificial scientific intelligence and its impact on national security and foreign policyOrbis
2017Fairbanks, J. P., Bader, D. A., & Sanders, G. D.Spectral partitioning with blends of eigenvectorsJournal of Complex Networks
2015Fairbanks, J. P., Kannan, R., Park, H., & Bader, D. A.Behavioral clusters in dynamic graphsParallel Computing
2011Fairbanks, J.A Ramsey theorem for indecomposable matchingsarXiv:1110.3314

Conference papers

YearAuthorsTitleVenueLink
2026Hanks, T., Nino, C., Barcelo, J. B., Copeland, A., Dixon, W., & Fairbanks, J.Heterogeneous Multi-Agent Multi-Target Tracking using Cellular SheavesEuropean Control Conference (to appear)
2026Zhao, Y., Hanks, T., Riess, H., Cohen, S., Hale, M., & Fairbanks, J.Asynchronous Nonlinear Sheaf Diffusion for Multi-Agent CoordinationIEEE American Control Conference (accepted)
2026Currier, K., Leal, W., Rauta, G., Copeland, A., Dixon, W., & Fairbanks, J.Whitney Control Barrier Functions: A Mesh-based Geometric approach via Discrete Exterior CalculusIFAC (in press)
2025Hanks, T., Riess, H., Cohen, S., Gross, T., Hale, M., & Fairbanks, J.Distributed Multi-agent Coordination over Cellular SheavesIEEE Conference on Decision and ControlLink
2025Lary, M., Samuelson, R., Wilentz, A., Zare, A., Klawonn, M., & Fairbanks, J.Learning diagrams: a graphical language for compositional training regimesThe thirteenth international conference on learning representationsLink
2024Hanks, T., She, B., Hale, M., Patterson, E., Klawonn, M., & Fairbanks, J.Modeling Model Predictive Control: A Category Theoretic Framework for Multistage Control Problems2024 American Control Conference (ACC)Link
2024Bumpus, B. M., Fairbanks, J., Genovese, F., Puca, C., & Rosiak, D.How nice is this functor? Two squares and some homology go a long wayProceedings of Applied Category Theory
2024Lynch, O., Brown, K., Fairbanks, J., & Patterson, E.GATlab: Modeling and Programming with Generalized Algebraic TheoriesElectronic Notes in Theoretical Informatics and Computer ScienceLink
2024Hanks, T., Klawonn, M., & Fairbanks, J.Generalized Gradient Descent is a Hypergraph FunctorApplied Category Theory
2024Bumpus, B., Rosiak, D., Cappucci, M., & Fairbanks, J.Short Note on Cohomology, Sheafification and Lavish PresheavesApplied Category Theory
2023She, B., Hanks, T., Fairbanks, J., & Hale, M.Characterizing Compositionality of LQR from the Categorical Perspective2023 62nd IEEE Conference on Decision and Control (CDC)Link
2023Aguinaldo, A., Patterson, E., Fairbanks, J., Regli, W., & Ruiz, J.A Categorical Representation Language and Computational System for Knowledge-Based Robotic Task Planning [Best Paper Award]Proceedings of the AAAI Symposium SeriesLink
2022Libkind, S., Baas, A., Patterson, E., & Fairbanks, J.Operadic Modeling of Dynamical Systems: Mathematics and ComputationElectronic Proceedings in Theoretical Computer ScienceLink
2022Brown, K., Patterson, E., Hanks, T., & Fairbanks, J.Computational Category-Theoretic Rewriting [Best Paper]Graph Transformation: 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, ProceedingsLink
2022Brown, K., Hanks, T., & Fairbanks, J.Compositional Exploration of Combinatorial Scientific ModelsApplied Category TheoryLink
2020Halter, M., Herlihy, C., & Fairbanks, J.A Compositional Framework for Scientific Model AugmentationElectronic Proceedings in Theoretical Computer ScienceLink
2020Fairbanks, J. P., Fitch, N., Bradfield, F., & Briscoe, E.Credibility Development with Knowledge GraphsLecture Notes in Computer ScienceLink
2019Cao, K., & Fairbanks, J.Unsupervised Construction of Knowledge Graphs From Text and CodeSIGKDD Conference on Knowledge Discovery and Data Mining International Workshop on Mining and Learning with Graphs
2019Nadolski, M., & Fairbanks, J.Complex systems analysis of hybrid warfareProcedia Computer ScienceLink
2019Cao, K., & Fairbanks, J. P.Constructing Knowledge Graphs from Scientific TextsKDD workshop on Machine Learning in Graphs
2018Campbell, N., Goodyear, T., Messer, W., Stuart, E., & Fairbanks, J.Digital Witness: Remote Method for Volunteering Digital Evidence on Mobile Devices2018 IEEE International Symposium on Technologies for Homeland Security (HST)Link
2018Thankachan, R. V., Swenson, B. P., & Fairbanks, J. P.Performance Effects of Dynamic Graph Data Structures in Community Detection Algorithms2018 IEEE High Performance extreme Computing Conference (HPEC)Link
2018Fairbanks, J. P., Fitch, N., Knauf, N., & Briscoe, E.Credibility Assessment in the News: Do We Need to Read?WSDM/MIS2Link
2018Nathan, E., Fairbanks, J., & Bader, D.Ranking in Dynamic Graphs Using Exponential CentralityComplex Networks & Their Applications VILink
2017Thankachan, R. V., Hein, E. R., Swenson, B. P., & Fairbanks, J. P.Integrating productivity-oriented programming languages with high-performance data structures2017 IEEE High Performance Extreme Computing Conference (HPEC)Link
2017Ediger, D., & Fairbanks, J. P.Deriving Streaming Graph Algorithms from Static Definitions2017 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)Link
2017Nathan, E., Sanders, G., Fairbanks, J., Henson, V. E., & Bader, D. A.Graph Ranking Guarantees for Numerical Approximations to Katz CentralityProcedia Computer ScienceLink
2017Fairbanks, J. P., Bader, D. A., & Sanders, G. D.Graph Partitioning with Spectral BlendsOxford Journal of Complex Networks
2016Fairbanks, J. P., Zakrzewska, A., & Bader, D. A.New stopping criteria for spectral partitioning2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM)Link
2016Zakrzewska, A., Nathan, E., Fairbanks, J., & Bader, D. A.A local measure of community change in dynamic graphs2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM)Link
2013Fairbanks, J., Ediger, D., McColl, R., Bader, D. A., & Gilbert, E.A statistical framework for streaming graph analysis2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2013)Link
2013Fairbanks, J. P., Ediger, D., McColl, R., Bader, D., & Gilbert, E.A Statistical Framework for Analyzing Streaming GraphsIEEE/ACM ASONAMLink

Conference talks

YearAuthorsTitleVenueLink
2026Fairbanks, J. P.Compositional Modeling: Structures, Dynamics, OptimizationAmerican Control Conference
2026Fairbanks, J. P.Panel on Applied Category Theory for Compositional Decision MakingAmerican Control Conference
2026Rauta, G., Fairbanks, J. P., & Kuzendorf, W.Low-Mach Compressible Navier-Stokes Using Discrete Exterior Calculus on Rectilinear GridsWCCM-ECCOMAS [accepted]
2026Cohen, S., & Fairbanks, J. P.Federated Learning with Cellular SheavesUF Undergraduate Research Symposium
2026Hanks, T., Reiss, H., Cohen, S., Gross, T., Hale, M., & Fairbanks, J. P.Distributed Multi-Agent Coordination over Cellular SheavesAMS Special Session on Applied Category Theory Joint Mathematics Meeting
2026Gross, T., & Fairbanks, J. P.Quadrotor Coordination Using Cellular Sheaves and Linearized LQRCenter for Undergraduate Research Spring Symposium, Gainesville
2026Bou Barcelo, J., & Fairbanks, J. P.Heterogeneous Multi-Agent Multi-Target TrackingINFORMS Optimization Society Conference
2026Hanks, T., Klawonn, M., Patterson, E., Hale, M., & Fairbanks, J. P.Categorical Foundations of Distributed Optimization and LearningAMS Special Session on Mathematical Foundation of Machine Learning
2026Hanks, T., & Fairbanks, J. P.Coordination SheavesCore Lab Georgia Tech
2025Fairbanks, J. P., & Zare, A.Domain Transfer for Continuity of Performance Across SAS Systems ​ONR Code 32 Program Review
2025Fairbanks, J. P., & Leal, W.Sheaves in Time Varying Data and Dynamical SystemsNCR Lab UF MAE Department
2025Leal, W., & Fairbanks, J. P.Sheaves in Dynamical Systems: Enumerating Fixed Points of CTLNsKallies Research Group
2025Fairbanks, J. P.Building Modeling and Simulation Tools on Discrete Exterior Calculus FoundationsIMSI workshop on Discrete Exterior Calculus Differential Geometry and Applications
2025Fairbanks, J. P., & Leal, W.Computing Fixed Points of CTLNs with Separated Presheaves, Sheaves and Dynamic ProgrammingCategory Theory Octoberfest 2025
2025Wall, A., & Fairbanks, J. P.A Category-Theoretic Approach to Resource OptimizationUniversity Mathematics Society
2025Fairbanks, J. P., & Leal, W.Sheaf Cohomology on Simplicial ComplexesCODAC COE
2025Leal, W.Temporal Analysis of Data Using Category Theory and the Hidden Connection Between Persistence and AccumulationSeminario de Matemáticas Aplicadas
2025Fairbanks, J. P.Going beyond graphs: simplicial, hyper, and relational structureJuliaCon
2025Fairbanks, J. P.New Approaches in Computational Physics: Multiphysics and Multiscale with Discrete Exterior CalculusArmy Research Lab
2025Fairbanks, J. P.Introduction to Applied Category Theory for Compositional Decision MakingACC Conference Workshop
2025Fairbanks, J. P.Scientific Modeling with CategoriesAmerican Control Conference
2025Fairbanks, J. P.Applied Category Theory for Dynamics and ControlAmerican Control Conference
2025Fairbanks, J. P.Compositional Modeling in Applied Category Theory for Compositional Decision MakingACC Conference Workshop
2025Rauta, G., & Fairbanks, J. P.Modeling of Coupled Weakly Compressible Navier-Stokes and Thermal Equation in the Discrete Exterior CalculusArmy Research Lab Poster Session
2025Fairbanks, J.Modeling with ACT for Compositional Decision MakingAmerican Control Conference
2025Fairbanks, J., & Patterson, E.Compositional Development of Compositional MathematicsApplied Category Theory
2025Hanks, T., & Fairbanks, J. P.Category Theory for Distributed OptimizationApplied Category Theory [keynote]
2025Zelko, J., Cuffaro, M., Wu, S., & Fairbanks, J. P.A Case Study in Public Health ResearchApplied Category Theory
2025Fairbanks, J. P., & Patterson, E.AlgebraicJulia Compositional Development of Compositional MathematicsApplied Category Theory
2025Fairbanks, J. P.Multiagent Control with Cellular Sheaves
2025Hanks, T., & Fairbanks, J. P.Multiagent Autonomy with Cellular SheavesGTRI ACAI
2025Wall, A., & Fairbanks, J. P.Structured DecompositionsUndergraduate Mathematics Research Symposium
2025Carlson, K.Multigrid Methods for Structure Preserving Discretizations22ND Copper Mountain Conference on Multigrid Methods
2025Fairbanks, J. P., & Kim, N.T6: Validation, Uncertainty Quantification, Uncertainty Budget, Workflow and Data ManagementCM3C: Center for Multiscale Modeling of Multiphase Combustion
2024Hanks, T., Klawonn, M., Hale, M., Patterson, E., & Fairbanks, J. P.A compositional framework for first-order optimization
2024Fairbanks, J. P.A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networksAMS Southeastern Sectional Meeting
2023Morris, L. L., Baas, A., Fairbanks, J. P., Arias, J., & Gaitlin, M.Abstraction and Composition in Modeling and SimulationMechanical and Aerospace Engineering Seminar
2023Morris, L., & Nathan, E.Discourse Sheaves for Opinion Dynamics over Social Media DataLawrence Livermore National Laboratory Summer SLAM
2023Libkind, S., Bumpus, B. M., Garcia, J. L., Sorkatti, L. H., & Tenka, S.Additive Invariants of Open Petri NetsApplied Category Theory
2023Lynch, O., Brown, K., Fairbanks, J. P., & Patterson, E.Gatlabjl: Symbolic computing with categories using generalized algebraic theories. Applied Category Theory
2023Bumpus, B. M., Fairbanks, J. P., Rosiak, D., & Althaus, E.Compositional Algorithms on Compositional Data: Deciding Sheaves on PresheavesApplied Category Theory
2023Fairbanks, J. P., Hanks, T. E., She, B., Patterson, E., Hale, M., & Klawonn, M.A Compositional Framework for Convex Model Predictive ControlApplied Category Theory
2023Fairbanks, J. P., Morris, L. L., & Rauta, G.Computational Multiphysics in a Categorical FrameworkApplied Category Theory
2023Fairbanks, J. P., Hanks, T., She, B., Hale, M., Patterson, E., & Klawonn, M.A Compositional Framework for Model Predictive ControlAFOSR Center of Excellence Program Review
2023Fairbanks, J. P.Decapodesjl: A Framework for Multiphysics Simulation. MAE Department AFOSR Visit
2023Fairbanks, J. P.Decapodes.jl: a framework for multiphysics simulation
2023Morris, L. L., Baas, A., Fairbanks, J. P., Arias, J., & Gaitlin, M.Abstraction and Composition in Modeling and SimulationSIAM Conference on Computational Science and Engineering
2023Fairbanks, J. P., Morris, L. L., & Rauta, G.Categorical Composition of Discrete Exterior Calculus Climate ModelsProgramming for the Planet (PROPL) at POPL
2023Bumpus, B. M.Chopping things up to decide stuff fastInternational seminar series on applications of category theory to finite model theory and computer science
2023Bumpus, B. M., & Fairbanks, J. P.Chopping things up to decide stuff fast54th Southeastern International Conference on Combinatorics Graph Theory and Computing
2023Morris, L. L., Baas, A., Fairbanks, J. P., Arias, J., & Gaitlin, M.Abstraction and Composition in Modeling and SimulationGraduate Mathematics Association
2022Fairbanks, J. P.Scientific and Engineering Modeling with Applied Category TheoryDARPA Young Faculty Colloquium
2022Fairbanks, J. P., & Patterson, E.Enkix Task ReasoningDARPA Site Visit
2022Fairbanks, J. P.Computational Physics Modeling with CategoriesInstitute of Theoretical Physics, Friedric-Alexander-Universitaet
2022Fairbanks, J. P.Computational physics with categories
2022Libkind, S., & Fairbanks, J. P.Compositional Modeling of Disease DynamicsUW-IHME Compositional Epidemiology Modeling Working Group
2022Fairbanks, J. P.Using Category Theory to Design Computational Mathematics SoftwareNumerical Analysis Seminar at UF Mathematics Department
2022Fairbanks, J. P.Scientific and Engineering Modeling with Applied Category TheoryMAE Department Control Theory Working Group
2022Fairbanks, J. P.Applied Category Theory for the Mathematics of DiseaseCanadian Network for Modeling Infectious Disease
2022Fairbanks, J. P., & Patterson, E.Enkix Task ReasoningDARPA Site Visit
2022Hanks, T.Compositional Convex OptimizationAir Force Research Laboratory
2022Libkind, S., Baas, A., Halter, M., Patterson, E., & Fairbanks, J.Typed and stratified models with slice categoriesApplied Category TheoryLink
2022Patterson, E., Hosgood, T., Baas, A., & Fairbanks, J.Diagrammatic differential equations: Formal categorical framework and applications to multiphysics simulationApplied Category TheoryLink
2022Fairbanks, J. P.Diagrammatic Equations in Physics: Directly Computable ModelsLawrence Livermore National Laboratory Center for Applied Scientific Computing
2022Fairbanks, J. P.Model Aware Scientific Computing with CategoriesAir Force Research Laboratory
2022Fairbanks, J. P.Diagrammatic Equations for Complex Machine Learning FormulationsONR Code 32 Site Visit
2022Fairbanks, J. P.Introduction to Category TheoryThe Simula Corporation
2022Fairbanks, J. P.Diagrammatic Equations In Physics, Directly Computable ModelsThe Simula Corporation
2022Fairbanks, J. P.Computational Modeling with Category TheorySystems Medicine Laboratory Seminar UF College of Medicine
2022Fairbanks, J. P.Diagrammatic equations in numerical multiphysics
2022Fairbanks, J. P.Introduction to applied category theory
2022Fairbanks, J. P.Scientific Modeling with AlgebraicJuliaRel.AI Research Seminar
2022Fairbanks, J. P., & Lynch, O.Computational Category Theory in Applied MathematicsJoint Mathematics Meetings
2022Fairbanks, J. P., Aduddell, R., Ocal, P. S., Patterson, E., Shapiro, B., & Kumar, A.A Categorical Framework for (Gene) Regulatory NetworksJoint Mathematics Meeting
2022Bumpus, B. M., & Fairbanks, J. P.Structured Decompositions: Recursive Data and Recursive AlgorithmsJoint Math Meeting
2022Brown, K., & Fairbanks, J. P.Automated Model Space ExplorationUW-IHME Compositional Epidemiology Modeling Working Group
2022Wu, S. L., Libkind, S., Brown, K., Patterson, E., & Fairbanks, J.Individual. jl: Rewriting individual-based models for epidemiology using graph rewritingApplied Category TheoryLink
2021Fairbanks, J. P., Perez, J., Baas, A., Ferrall-Fairbanks, M., & Platt, M. O.Parameter Estimation by Minimizing the Loss with Respect to a Finite Difference Approximation on the Vector FieldBiomedical Engineering Society Annual Meeting
2021Jackson, M., Halter, M., Goodyear, T., O’Donnell, B., & Fairbanks, J.Accelerating automatic target recognition performance evaluation with a relational databaseTri-Service Radar Symposium
2021Lynch, O., Patterson, E., & Fairbanks, J. P.Shaped Data with ACSetsJuliaCon
2021Libkind, S., Patterson, E., & Fairbanks, J. P.Shaped Data with ACSetsJuliaCon
2021Fairbanks, J. P., & Patterson, E.Compositional Modeling with AlgebraicJuliaNIH Interagency Modeling and Analysis Group
2021Libkind, S., & Fairbanks, J.AlgebraicDynamics: Compositional dynamical systemsJuliaConLink
2021Fairbanks, J. P.The AlgebraicJulia Ecosystem: a Categorical Approach to Technical ComputingTopos Institute Berkeley Seminar
2021Fairbanks, J. P.Computational Categorical Algebra with CatlabGraph Transformation Theory and Applications
2021Fairbanks, J. P.Progress towards the GroMet specification for semantic model exchangeDARPA Automating Scientific Knowledge Extraction Principal Investigator Meeting
2021Fairbanks, J. P.Generalized Algebraic Theories for Enhancing Multiphysics: An Introductory Deep DiveDARPA Directly Computable Models Program Review
2021Fairbanks, J. P.Categorical Scientific Knowledge RepresentationDARPA Automating Scientific Knowledge Extraction Stakeholder Workshop
2021Fairbanks, J. P.Model Aware Computing with Scientific CategoriesDARPA Young Investigator Award Principal Investigator Meeting
2021Fairbanks, J. P.Introduction to the AlgebraicJulia Software EcosystemUF CISE - LLNL Advisory Board Annual Meeting
2021Fairbanks, J. P.Rethinking set theory and applications
2020Halter, M., Patterson, E., Baas, A., & Fairbanks, J.Compositional Scientific Computing with Catlab and SemanticModelsApplied Category TheoryLink
2020Fairbanks, J. P.Rethinking Set Theory and Computational MathematicsUndergraduate Math Society
2020Fairbanks, J. P.Automating model fusion with decorated cospan categories
2020Halter, M., Raparti, S., Cao, K., Herlihy, C., & Fairbanks, J.SemanticModels. jl: a julia package for scientific model augmentationProceedings of the JuliaCon conferences
2019Herlihy, C., & Fairbanks, J.semanticmodels.jl: Not just another modeling frameworkJuliaConLink
2019Fairbanks, J. P., Davis, E., & Morrison, C.Model IR working group: Initial progress
2019Fairbanks, J. P.Program analysis for scientific model augmentation
2019Herlihy, C., Cao, K., Reparti, S., Briscoe, E., & Fairbanks, J.Semantic Program Analysis for Scientific Model AugmentationModeling the World’s Systems
2018Fairbanks, J. P.Data science and graph analytics with julia
2018Fairbanks, J.The JuliaGraphs ecosystem: Move fast and don't break thingsJuliaConLink
2018Besançon, M., & Fairbanks, J.Graph interfaces: Bespoke graphs for every occasionJuliaConLink
2018Fairbanks, J. P.Solving applied graph theory problems in the JuliaGraphs ecosystem
2017Bromberger, S., & Fairbanks, J.LightGraphs: Our network, our storyJuliaConLink
2017Frederick, T., Herlihy, C., & Fairbanks, J.Using big data to predict and analyze cooperation and conflictThe Conflict Conference
2017Fairbanks, J., Knauf, N., Fitch, N., Herlihy, C., & Briscoe, E.Assessing credibility in the global news mediaLink
2017Fairbanks, J. P.Assessing Credibility in Global Media NetworksHuman Language Technologies
2016Bader, D., Michalewicz, A., Green, O., Birkett-Rees, J., Riedy, J., Fairbanks, J., & Zakrzewska, A.Semantic database applications at the samtavro cemetery, georgiaThe 44th Computer Applications and Quantitative Methods in Archaeology Conference (CAA)Link

Preprints

YearAuthorsTitleVenueLink
2024Bumpus, B. M., Fairbanks, J., & Turner, W. J.Pushing Tree Decompositions Forward Along Graph HomomorphismsarXivLink
2024Hanks, T., Klawonn, M., Patterson, E., Hale, M., & Fairbanks, J.A Compositional Framework for First-Order OptimizationarXivLink
2024Arlin, K., Fairbanks, J., Hosgood, T., & Patterson, E.The diagrammatic presentation of equations in categoriesarXiv:2401.09751
2024Bumpus, B. M., Capucci, M., Fairbanks, J., & Rosiak, D.Failures of compositionality: a short note on cohomology, sheafification and lavish presheavesarXiv:2407.03488
2023Althaus, E., Bumpus, B. M., Fairbanks, J., & Rosiak, D.Compositional Algorithms on Compositional Data: Deciding Sheaves on PresheavesarXivLink