Formal & Physical Sciences MathematicsENAmar Hadzihasanovic --- On the coherent self-dual omega-equivalence.Amar HadzihasanovicOctober 8, 2026 96 min★ ★ ★ ★ ☆ 4/5Higher Category TheoryOmega-CategoriesCoherence
Formal & Physical Sciences MathematicsENSridhar Ramesh --- Categorical structures for Gödel incompleteness and Löb’s theoremSridhar RameshSeptember 24, 2026 60 min★ ★ ★ ★ ★ 5/5Category TheoryGödel IncompletenessLöb's Theorem
Formal & Physical Sciences MathematicsENJoseph Helfer --- Set-theoretic universes and paradoxes in elementary 2-topoi.Joseph HelferJune 3, 2026 91 min★ ★ ★ ★ ☆ 4/5Category Theory2-TopoiFoundations of Mathematics
Formal & Physical Sciences MathematicsENJoseph Dorfer --- NP-completeness of finding shortest combinatorial paths in the Associahedron.Joseph DorferMay 20, 2026 72 min★ ★ ★ ★ ☆ 4/5NP-CompletenessAssociahedronFlip Distance
Formal & Physical Sciences MathematicsENCheyne Glass --- Homotopy theoretic least squares models.Cheyne GlassMay 6, 2026 82 min★ ★ ★ ★ ☆ 4/5Homotopy TheoryLeast SquaresSheaf Theory
Formal & Physical Sciences MathematicsENKristaps John Balodis --- A geometric introduction to the local Langlands correspondence, Part II.Kristaps John BalodisApril 29, 2026 81 min★ ★ ★ ★ ☆ 4/5Local LanglandsRepresentation TheoryPerverse Sheaves
Formal & Physical Sciences MathematicsENGabriel Goren-Roig --- Arboreal Adjunctions from Shapes.Gabriel Goren-RoigApril 22, 2026 83 min★ ★ ★ ★ ☆ 4/5Category TheoryArboreal AdjunctionsModal Logic
Formal & Physical Sciences MathematicsENMichael Lesnick --- Limit Computation Over Posets via Minimal Initial Functors.Michael LesnickApril 15, 2026 70 min★ ★ ★ ★ ☆ 4/5Category TheoryLimitsPosets
Formal & Physical Sciences MathematicsENMorgan Rogers-Ultrarings: A categorical unification boolean and alg. descriptive complexityMorgan RogersMarch 26, 2026 82 min★ ★ ★ ★ ☆ 4/5Category TheoryUltraringsDescriptive Complexity
Formal & Physical Sciences MathematicsENKristaps John Balodis --- A geometric introduction to the local Langlands correspondence.Kristaps John BalodisMarch 11, 2026 73 min★ ★ ★ ★ ☆ 4/5Langlands ProgramP-Adic GroupsRepresentation Theory
Formal & Physical Sciences MathematicsENJames Austin Myer---A Simplicial Set Whose Homology is the Higher Chow Groups of Bloch.James Austin MyerMarch 4, 2026 85 min★ ★ ★ ★ ☆ 4/5Simplicial SetsHigher Chow GroupsResolution of Singularities
Formal & Physical Sciences MathematicsENEllis Cooper --- Algebraic String Diagrams and a Manifest Covariance Theorem.Ellis CooperFebruary 19, 2026 93 min★ ★ ★ ★ ☆ 4/5Category TheoryString DiagramsCovariance
Formal & Physical Sciences Philosophy & EthicsENDavid Ellerman-A Fundamental Duality in the Exact Sciences.An Intro to Mathematical MetaphysicsDavid EllermanFebruary 11, 2026 80 min★ ★ ★ ★ ☆ 4/5DualityPartitionsLogic
Formal & Physical Sciences MathematicsENSergei Artemov --- Non-compact proofs.Sergei ArtemovFebruary 5, 2026 96 min★ ★ ★ ★ ★ 5/5Gödel's IncompletenessProof TheoryNon-Compact Proofs
Formal & Physical Sciences MathematicsENEvan Misshula-From Outer Measures to Adjunctions: A CT Recasting of Caratheodory’s Extension TheoremEvan MisshulaDecember 5, 2025 64 min★ ★ ★ ★ ☆ 4/5Category TheoryMeasure TheoryCaratheodory Extension Theorem
Formal & Physical Sciences MathematicsENEmilio Minichiello --- Model Structures for Simplicial Complexes and Graphs.Emilio MinichielloNovember 13, 2025 65 min★ ★ ★ ★ ☆ 4/5Model StructuresSimplicial ComplexesGraphs
Formal & Physical Sciences MathematicsENFlorian Lengyel --- The Geometry and Combinatorics of Diagonal Simplicial Tensor ModulesFlorian LengyelNovember 6, 2025 46 min★ ★ ★ ★ ☆ 4/5Simplicial SetsHypergroupoidsTensor Modules
Formal & Physical Sciences MathematicsENAmartya Shekhar Dubey --- Unital k-restricted Infinity Operads.Amartya Shekhar DubeyOctober 22, 2025 56 min★ ★ ★ ★ ☆ 4/5Infinity OperadsDendroidal SetsCategory Theory
