archive
Every paper Pith has read. Search by title, abstract, or pith.
304 papers in math.CT · page 4
-
Categorical lenses compose Lyapunov stability certificates for ODEs
Compositionality of Lyapunov functions via assume-guarantee reasoning
-
Frobenius quotient maps three-weight line bundles to monomorphism grids
Frobenius quotients, inflation categories and weighted projective lines
-
Natural numbers object is projective in the free topos
Makkai's lost proof of projectivity of N in the free topos
-
Mixed associator deformations controlled by Drinfeld center Ext
Deformations of mixed associators in module categories
-
Projective rigidity unlocks Lazard analogues for tensor triangulated categories
Higher algebra in $t$-structured tensor triangulated $\infty$-categories
-
Contraherent cosheaves of contramodules defined on Noetherian formal schemes
Contraherent cosheaves of contramodules on Noetherian formal schemes
-
Stone duality equates hyperaffine-unary monads to ample localic categories
Stone Duality for Monads
-
Pasting theorem extends to directed complexes with frame-acyclic molecules
A strengthened $(\infty, n)$-categorical pasting theorem
-
Dimensional annotations survive MLIR lowering to decide memory layout
Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
-
Proflat epimorphisms make contramodule restriction fully faithful
Homomorphisms of topological rings and change-of-scalar functors
-
BF-like theories make non-Abelian magnetic data manifest in 3D SymTFTs
On the SymTFTs of Finite Non-Abelian Symmetries
-
Postnikov complete ∞-categories equal limit of n-categories
Homotopy Posets, Postnikov Towers, and Hypercompletions of $\infty$-Categories
-
Homotopy category functor equivalent to weighted colimits in Cat
Revisiting colimits in $\mathbf{Cat}$ and homotopy category
-
Yoneda lemma fixes supermaps via channel-state duality
Supermaps on generalised theories
-
Complex matching distance bounds resolution stability
Complex Matching Distance and Stability for Minimal Projective Resolutions, with Applications to Persistence
-
Smooth sublocales equal Bruns-Lakser completion of locally closed ones
The lattice of smooth sublocales as a Bruns-Lakser completion
-
Semi-free DG rings make simplicial hom sets into Kan complexes
The Simplicial Cylinder DG Ring
-
Rules on simples turn length categories into poset representations
Ordnung muss sein
-
Ultrafilter monads lift to profunctors as ultraconvergence spaces
Profunctorial algebras
-
Algebraic models now cover genuine equivariant rational homotopy
Algebraic models for equivariant rational homotopy theory for discrete groups
-
Dévissage condition is necessary and sufficient for K-isomorphisms
D\'evissage for Algebraic K-theory of Small Stable $\infty$-categories
-
Central morphisms enrich over monoids in partially linear categories
Partial Linearity in Categories
-
Quantum [G,H] nonempty exactly when quantum strategy wins game
Quantum graphs of homomorphisms
-
Tropical row and column spans are isometric via Isbell nucleus
Projective metric geometry of tropical nuclei: gap matrices, event loci, and order chambers
-
Cofibrant operads equate localized dg-coalgebras to ∞-coalgebras
Point-set models for homotopy coherent coalgebras
-
Faithful isofibrations to monoids yield canonical differential calculi
Canonical differential calculi via functorial geometrization
-
Type theory models localize to elementary ∞-toposes
Elementary $\infty$-toposes from type theory
-
MU maps lift to structured Real bordism maps for even C2-rings
Multiplicative Equivariant Thom Spectra & Structured Real Orientations
-
One triangle functor equates LB-space derived categories
A homological approach to (Grothendieck's) completeness problem for regular LB-spaces
-
Moduli stacks of quiver connections are algebraic in char 0
Moduli stacks of quiver connections and non-Abelian Hodge theory
-
Countable compactness lets groups act on joins
Discontinuous actions on cones, joins, and $n$-universal bundles
-
Bilinear product defined intrinsically in semi-abelian categories
Intrinsic tensor products and a Ganea-type extension of the five-term exact sequence
-
Universal realized limit sketch exists for every limit sketch
Limit Sketches and the Universal Realization of a Limit Sketch
-
Lifted classifiers classify strict opfibrations via lax maps
Classifying strict discrete opfibrations with lax morphisms
-
n-kernels exist exactly when n-cokernels do
On the equivalence between the existence of $n$-kernels and $n$-cokernels
-
Colored Temperley-Lieb categories are semisimple for generic parameters
Temperley-Lieb categories with coloured regions and Jones-Wenzl projectors
-
Infinite tensor products let discrete probability handle all real measures
Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
-
Initial-final embeddings preserve generalized rank
Generalized Rank via Minimal Subposet
-
Instances of double theories match discrete opfibrations
Presheaves on lax double functors; or, Instances of models of double theories
-
Torsion theories extend without a zero object
Pretorsion theories in prenormal categories
-
Eight equations make control explicit in circuit theories
One rig to control them all
-
Stable torsion pairs always induce derived equivalences
Detecting derived equivalences with the CHZ criterion
-
MT-algebras equivalent to Raney extensions via generalized envelope
McKinsey-Tarski algebras and Raney extensions
-
Priestley duality now covers fuzzy spaces and positive MV-algebras
An extension of Priestley duality to fuzzy topologies and positive MV-algebras
-
Stone-Čech groupoid equates Hausdorffness with principality
The action of an inverse semigroup on its Stone-\v{C}ech compactification
-
Change of base theorem tracks preserved model category properties
Enriched model categories and the Dold-Kan correspondence
-
Infinite sums alone yield a refined topology and new quotients
Algebraization of infinite summation
-
Groupoids identified via C-set category properties
Characterization of groupoid categories in terms of its category of $\mathcal{C}$-sets
-
Cup product length bounds Svarc genus for category bifibrations
Baues-Wirsching Cohomology and Svarc Genus in Small Categories
-
Takeuchi-Schneider equivalence classifies calculi on Hopf algebroids
Takeuchi-Schneider equivalence and calculi for homogeneous spaces of Hopf algebroids