Akin to what unifiying/categorizing math methods/approaches under the discipline of statics does, but for CS. aka more abstract math based cs applied theory take on applied cs data structures.

concepts of Basic Sheaves Stack (bss) theory as a distinct discipline of CS:

discrete math, weak logic, autonoma, calculus (epsion, lambda, process),

affines/matrixes as related to CS, category theory, topological theory, statistics (monte carlo / neural nets / queing theory)

common non-sheave related examples:

CST/AST/treesitter : https://cse.umn.edu/cs/feature-stories/knowledge-sheaves-sheaf-theoretic-framework-knowledge-graph-embedding-preprint

OS : http://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/abs/sheaf-semantics-for-concurrent-interacting-objects/604DA5071EA19CDD65293205C066929B

OS : https://pdf.sciencedirectassets.com/272990/1-s2.0-S1571066108X00477/1-s2.0-S1571066108005264/main.pdf

spreadsheet : https://link.springer.com/chapter/10.1007/11780274_21