archive
Every paper Pith has read. Search by title, abstract, or pith.
118 papers in math.CT · page 1
-
Canonical distributive laws arise for operadic and commutative monads
Monads and Distributive Laws in Substructural Contexts (Extended Version)
-
Left ideals give representation-free quantum graph morphisms
Categorical (Co)Limits of Quantum Graphs
-
Categorical triple formalizes LLM agent harness design
Harness Engineering as Categorical Architecture
-
Contractible fibers bound interleaving distance for persistence posets
Quillen-McCord theorem for persistence finite posets
-
S/4 spectrum admits A5-multiplication
Obstructions for Associativity in Stable Homotopy Theory
-
Observables on n-plectic manifolds form a Kan-complex n-groupoid
A Simplicial Approach to Higher Geometric Quantization
-
Condensed fundamental group of Spec(Z) is non-trivial
On Galois categories and condensed contractible schemes
-
Yoshida algebra center matches groupoid algebra center
Yoshida algebra for groupoids
-
Parity complexes equivalent to strong Steiner complexes
Parity complexes redux
-
Simple pp expansions match mono-reflective subcategories
A categorical description of simple Beth companions
-
Separable ring extensions preserve separability of singularity categories
The singularity category of a separable extension
-
Sheaf condition certifies global design consistency from pairwise checks
Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering
-
Condensed anima shape recovers classical shape on paracompact and locally contractible
Shape theory for condensed anima
-
Opposite brace triples equate to Hopf braces under cocommutativity
Opposite brace triples, Hopf braces and matched pairs of Hopf algebras
-
Pro-tensor networks handle many-many-body theories without standard limits
Pro-Tensor Network
-
Local vector bundles generate free commutative 2-algebra bundles
Equivariant Poisson 2-Algebra Bundles over Configuration Spaces
-
Equivariant bundles yield free commutative 2-algebras
Equivariant Poisson 2-Algebra Bundles over Configuration Spaces
-
Local vector bundles generate free Poisson 2-algebra bundles
Equivariant Poisson 2-Algebra Bundles over Configuration Spaces
-
Endomorphism inversion stabilizes higher category homotopy
Stable homotopy theory of higher categories
-
Directed graphs localize to the infinity-category of spaces
The discrete homotopy hypothesis for directed graphs
-
Partition categories get faithful zero-one matrix reps
Faithful linear and relational representations of diagram categories and monoids
-
Push-forward functor gives isomorphism on stability spaces for deformed curves
Stability conditions and infinitesimal deformation of curves
-
Models of enhanced 2-sketches are algebras over enhanced 2-monads
Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
-
Point-free relations recovered from a parallel pair of frame operators
Localic Relations with Open Cones
-
Star-product yields central series for cocommutative Hopf braces
Central series of cocommutative Hopf braces
-
Lectures recast topology as condensed sets for algebraic use
Lectures on Condensed Mathematics
-
Liquid vector spaces ground new analytic geometry
Lectures on Analytic Geometry
-
Relative metrics equip special-relativity spacetime with an antimetric
Weighted algebraic topology, II (Real valued metrics)
-
Side-preserving duality induces self-bijection on definable subcategories
A duality for definable subcategories and its application to torsion classes
-
Groupoid crossed Burnside rings decompose as products of group rings
Crossed Burnside rings for groupoids
-
Groupoid double cosets counted via extended Cauchy-Frobenius lemma
Double coset for groupoids
-
Colimit over monoidal envelope computes free O-algebras
Free algebras via monoidal envelopes
-
Categorical spectra tensor derives singular cobordism hypothesis
The Algebra of Categorical Spectra
-
Absence of units makes linearly distributive categories coherent
Linearly distributive coherence in the absence of units
-
Monads in 2-categories form two double categories
Monads in 2-categories
-
Incidence algebras compute global dimension of incomplete Mackey functors
Global dimension of the category of rational incomplete Mackey functors for a finite abelian group G
-
Probe complexes yield graded polynomials for BPS input
From Finite-Node Conifold Geometry to BPS Structures III: Mediated Triangle Transport and Graded Interaction Data
-
Gorenstein injective cotorsion pairs complete iff Tate trivial generators exist
Accessibility and Gorenstein injective envelopes
-
Effective epi topology equals canonical on (n,1)-topoi
Geometric Categories and Sheaves on Topoi
-
Defect triangle computes 202-rank middle defect for 125-node quintic
Defect Triangles and Intersection-Space Hodge Atom Shadows for Calabi--Yau Conifolds
-
Cohomology detects arbitrage as loop obstructions in time categories
Martingale Cohomology, Holonomy, and Homological Arbitrage
-
Closed loops in filtrations create homological arbitrage
Martingale Cohomology, Holonomy, and Homological Arbitrage
-
Operadic spectrum controls functor calculus with error bounds
Spectral Operadic Calculus: Norm-Analytic Functor Calculus
-
Stable categories reconstruct from hearts via two-step completion
Unbounded Weight Structures: (Re)construction and Completion
-
Sierpiński cone classifies partial maps only in localised Segal subuniverse
The Synthetic Sierpi\'nski Cone
-
Torsion in singularities is codimension-two only
Torsion Trajectories from Local Discriminants to Global Obstructions
-
Module-valued ODE solution spaces are finitely generated submodules
Module-valued ordinary differential equations and structure of solution spaces
-
Module-valued ODE solution spaces are finitely generated
Module-valued ordinary differential equations and structure of solution spaces
-
Local reverse-mode gradients work for acyclic stochastic diagrams
Colored Markov polycategories and diagrammatic differentiation
-
Quasi-pseudometric modular spaces form quantale-enriched categories
Quasi-pseudometric modular spaces as $\mathscr{Q}$-categories