Similar Items: On The Axioms Of $mathcal{M},mathcal{N}$-Adhesive Categories
- $mathcal{H}$-HIGNN Toolkit: A Software for Efficient and Scalable Simulation of Large-Scale Particulate Suspensions Using GNNs and $mathcal{H}$-Matrices
- Extending Unification in $mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification
- $text{TT}^{Box}_{mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
- Rule Algebras for Adhesive Categories
- Geometric Characterizations of Generalized $mathcal{Z}$-solitons on Lorentzian Trans-Sasakian $3$-manifolds
- Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories