archive
Every paper Pith has read. Search by title, abstract, or pith.
304 papers in math.CT · page 3
-
No-barber principle excludes classical categories in inaccessible game
The No Barber Principle: Towards Formalised Selection in the Inaccessible Game
-
Radical ideals frame proves Nakaoka spectrum is spectral
A point-free approach to the Nakaoka spectrum of a Tambara functor
-
P-nilpotent groups make thick subcategory lattices distributive
Ore's theorem for thick subcategories
-
Structure sheaf generates perfect complexes iff affinization is 0-affine
Distributivity, affineness, and the structure sheaf
-
Cocartesian fibrations close via new adjunction equivalence
Fibrations in Directed Type Theory
-
Biset composition realized as Kleisli monad in CAP
Implementing the biset category of finite groups
-
Biset category of finite groups implemented in CAP
Implementing the biset category of finite groups
-
Separable extensions preserve homological invariants in triangulated categories
Homological Aspects of Separable Extensions of Triangulated Categories
-
Representations form a 2-adjunction with preorder morphisms
A 2-adjunction between representations and preorder morphisms
-
Lie quandles generalize Lie algebras to nonlinear mechanics
Lie Quandles, Leibniz Racks and Noether's First Theorem
-
-
Bounded derived categories admit Koszul duality without dual finiteness
A Non-graded Koszul Duality and Its Applications
-
No functorial transport of spectra along strong monoidal functors
The Operadic Spectrum and Obstructions to Spectral Base Change
-
Axioms let categories build convex cells that encode homology
Cells, convexity and contractibility in general categories
-
Simple axioms let general categories build cells for homology
Cells, convexity and contractibility in general categories
-
Cycle relations force multi-node conifold extensions into a subspace
Cycle Relations and Global Gluing in Multi-Node Conifold Degenerations
-
Every differential modality extracts to an N-filtered version
Extracting an $\mathbb{N}$-filtered differential modality from a differential modality
-
Parity on invertible morphisms proves coherence theorem
Invertibility and parity in symmetric monoidal categories
-
The paper shows how neural network architectures can be represented as coherent…
Presenting Neural Networks via Coherent Functors
-
Right-preordered groups form a quasivariety whose internal categories match S-crossed
Internal structures in the category of right-preordered groups
-
Right-preordered groups admit internal categories under Schreier splits
Internal structures in the category of right-preordered groups
-
Contravariant adjunction links two transition-structure categories
Topologically valued transition structures
-
Global dimension finiteness is the same for every compact silting object
Global dimension of dg algebras via compact silting objects
-
Tame realization matches execution paths to tame d-paths in any precubical set
Directed path and Moore flow
-
Which species b make b∘p a Hopf monoid for any positive comonoid p
Hopf substitutions in Species
-
Rank loss at coarser windows identifies exact depth in quiver Markov chains
Variable-Length Markov Chains on Finite Quivers: Boundary-Window Identifiability, Exact Depth, and Local Rank Comparison
-
Pre-tensor category is Morita-equivalent to tensor category iff its Drinfeld center is a
Finite Pre-Tensor Categories that are Morita Equivalent to Finite Tensor Categories
-
C(X) is semiprojective exactly when X is an ANR
Semiprojective Banach lattices
-
Non-trivial holonomy in filtrations yields self-financing arbitrage
Aharanov-Bohm Type Arbitrage and Homological Obstructions in Financial Markets
-
Recollement inequalities bound middle-category dimensions
Finiteness of homological dimensions in triangulated categories
-
Extra axiom equates two definitions of 2-rings
On the (algebraic) notion of 2-ring
-
Inductive transfers establish Generalized Homotopy Hypothesis
An Inductive Strategy Towards a Solution to the Generalized Homotopy Hypothesis
-
Enriched operad coalgebras are comonadic when C is semicartesian
Enriched coalgebras are sometimes comonadic
-
Four axioms define universal quotient for banking APIs
A Universal Quotient of Banking APIs
-
Proofs form symmetric monoidal category via spans in formal systems
Metacat: a categorical framework for formal systems
-
Profinite completion matches sheaf representation for Heyting algebras
Coexact completion of profinite Heyting algebras and uniform interpolation
-
Complex character biset functor fails separability over Z
On the separability of some Green biset functors
-
Twice applying the normal functor symmetrizes immersion squares
On the normal functor in the category of smooth vector bundles
-
New categories turn deep learning models into composable algebras
Weaves, Wires, and Morphisms: Formalizing and Implementing the Algebra of Deep Learning
-
Boolean ample monoids fully embed in Boolean inverse monoids
Embedding Boolean ample monoids as full submonoids of Boolean inverse monoids
-
Finite-node conifold degenerations receive categorical layers
Finite-Node Perverse Schobers and Corrected Extensions for Conifold Degenerations
-
Syntactic methods count regular factors in strong epimorphism decompositions
On the decomposition of a strong epimorphism into regular epimorphisms
-
Simplicial chains yield global model for K-linear local systems
A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems
-
n-exact dg-categories induce n-exangulated structures on homotopy categories
Higher exact dg-categories
-
Mixed Hodge module refines perverse extension for conifold nodes
Mixed Hodge Modules and Canonical Perverse Extensions for Multi-Node Conifold Degenerations
-
One theorem unifies all Lyapunov stabilities for hybrid systems
Hybrid Systems as Coalgebras: Lyapunov Morphisms for Zeno Stability
-
Schur reduction of reaction networks equals categorical complement
Categorical Perspectives on Chemical Reaction Networks
-
GRT group equals automorphisms of ribbon chord diagram operad
Cyclic Symmetries of Chord Diagrams
-
Kleisli monads and hypergraphs formalize Greimasian narrative programs
Kleisli semantics and hypergraph composition for Greimasian narrative programs
-
Perverse sheaf is unique minimal extension across conifold node
Perverse Extensions and Limiting Mixed Hodge Structures for Conifold Degenerations