Top Mathematics discussions

NishMath - #Topology

@Martin Escardo //
A new approach to defining interval objects in category theory is being explored, focusing on the universal characterization of the Euclidean interval. This research, a collaboration between Martin Escardo and Alex Simpson, aims to establish a definition of interval objects applicable to general categories, capturing both geometrical and computational aspects. The goal is to find a definition that works across diverse categorical settings, allowing for a more abstract and unified understanding of intervals. This work builds upon their previous research, aiming for a broader mathematical foundation for interval objects.

The work by Escardo and Simpson delves into defining arithmetic operations within this abstract framework. Given an interval object [-1,1] in a category with finite products, they demonstrate how to define operations such as negation and multiplication using the universal property of the interval. Negation, denoted as -x, is defined as the unique automorphism that maps -1 to 1 and 1 to -1, ensuring that -(-x) = x. Similarly, multiplication x × (-) is defined as the unique automorphism mapping -1 to -x and 1 to x, resulting in commutative and associative multiplication.

This research has already produced significant results, including two joint papers: "A universal characterization of the closed Euclidean interval (extended abstract)" from LICS 2001 and "Abstract Datatypes for Real Numbers in Type Theory" from RTA/TLCA'2014. A third paper, focused more on the mathematical aspects, is currently in preparation. This work aims to provide a robust and universal characterization of interval objects, impacting both theoretical mathematics and practical applications in computer science and related fields.

Share: bluesky twitterx--v2 facebook--v1 threads


References :
  • www.johndcook.com: A paper about a notion of interval object in any category with finite products, on joint work with Alex Simpson.
  • Martin Escardo: The original post announcing A universal characterization of the closed Euclidean interval.
Classification:
@phys.org //
Recent mathematical research is pushing the boundaries of theoretical understanding across various domains. One area of focus involves solving the least squares problem, particularly with rank constraints. A specific problem involves minimizing a function with a rank constraint and the quest for efficient solutions to these constrained optimization challenges remains a significant area of investigation.

This also involves a three-level exploration into a "mathematics-driven universe," questioning whether math is discovered or invented, and delving into the philosophical implications of mathematics in modern physics. Furthermore, mathematicians are employing topology to investigate the shape of the universe. This includes exploring possible 2D and 3D spaces to better understand the cosmos we inhabit, hinting at intriguing and surprising possibilities that could change our understanding of reality.

Share: bluesky twitterx--v2 facebook--v1 threads


References :
  • mathoverflow.net: This article focuses on solving the least square problem
  • medium.com: This article is a three-level journey into a mathematics-driven universe
Classification: