Two applications of the point-free coderivative

Más de Otra matemática ese día

• Matemática y estadística/Otra matemática25 de sept de 2026

  The Siren Call of Silicon Leviathan: Reflections on blowup and Aufkl\"arungsd\"ammerung

  Since acceptance is the one sovereign sanction the companies cannot manufacture, it proposes a covenant in place of either boycott or capitulation: the community's cooperation given to that producer which strictly observes its practices of legibility, disclosure and responsibility, withheld from any that does not, and the covenant kept plural, with the history of the Indigenous nations among rival empires as its guide.

  Alexander Gamburd — arXiv

  PreprintInterés amplio

  Guardar
• Matemática y estadística/Otra matemática25 de sept de 2026

  A Measure-Theoretic Derivation of Zadeh Fuzzy Logic

  Thus the min--max--standard-negation calculus follows from measure theory once the nesting commitment is made explicit.

  Angshul Majumdar — arXiv

  Preprint

  Guardar
• Matemática y estadística/Otra matemática25 de sept de 2026

  Study of Iterative Detection and Decoding for {Mixed Near- and Far-Field} XL-MIMO Systems

  Numerical results show that the proposed WR-SIC and the IDD scheme outperform existing approaches.

  Nayyab Haider, Rodrigo C. de Lamare — arXiv

  Preprint

  Guardar
• Matemática y estadística/Otra matemática25 de sept de 2026

  Vaught's Conjecture for Sums of Products of Rooted Trees

  We confirm Vaught's conjecture for each partial order $\mathbb{X}={\sum }_{\mathbb{I}}{\prod }_{j<m_i}{\mathbb{X}}_{i,j}$ from the closure $⟨⟨{\mathcal{C}}^{\mathrm{rt}}{⟩}_{\Pi }{⟩}_{\Sigma }$ of the class ${\mathcal{C}}^{\mathrm{rt}}$ of rooted trees under finite direct products and lexicographic sums.

  Milo\v{s} S. Kurili\'c — arXiv

  Preprint

  Guardar
• Matemática y estadística/Otra matemática25 de sept de 2026

  Formal weakly enriched category theory

  Specializing to either the Kan-Quillen model structure on simplicial sets, or the Quillen-Serre model structure on topological spaces, we prove that the resulting formal category theory is equivalent to the one associated with the $\infty$-cosmos of quasicategories, thereby extending the formal approach to $(\infty ,1)$-categories in the sense of Riehl-Verity to encompass both simplicial and topological categories.

  Giuseppe Leoncini — arXiv

  Preprint

  Guardar

Todos los papers nuevos de Otra matemática