∘ Category Theory - 2601 · Scour

Projective and anomalous representations of categories and their linearizations

🔍Lens Libraries Academic

The fluid-lattice gas isomorphism with application to liquid-vapor equilibrium in physisorbed monolayers

📡Async Channels Academic

Essential Unitarity for Higher-Order Quantum Computation

🔗Unification Theory Academic

Goldman-Turaev formality from the Kontsevitch integral

🔢Algebraic Datatypes Academic

End-to-End Subgraph Detection with GraphDETR

🔗Network Motifs Academic

Codifferential Calculi on Quantum Homogeneous Spaces

⚙️Compiler Design Academic

Monoidal Categories associated with Kac-Moody Open Richardson Varieties in Symmetric Type

📐Type Theory Academic

Strict stability of extension types

📐Type Theory Academic

Center and derivations of generalized Weyl algebras over $\mathbb{Z}/p^n\mathbb{Z}.$

📐Mathematical Computing Academic

Optimal convex approximation of quantum channels based on $\alpha$-affinity

📡Async Channels Academic

Negative and Fractional Types in the Fidelity Framework

💎Refinement Types Academic

$E_\infty^{1,2}$-type Lieb-Schultz-Mattis anomalies, deconfined quantum critical points, and non-invertible symmetry breaking

💫Effect Systems Academic

Fermionic non-Gaussianity via Bell sampling: monotones and efficient quantum algorithms

⚡Partial Evaluation Academic

Log in to enable infinite scrolling