Observability in the univalent universe

DOI10.1007/S00009-022-02121-3OpenAlexW4295073745MaRDI QIDQ2675950

Gianluca Caterina, Rocco Gangle, Fernando A. Tohmé

Publication date: 26 September 2022

Published in: Mediterranean Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00009-022-02121-3

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (2)

Univalence for inverse EI diagrams ⋮ Lower and upper estimates of the quantity of algebraic numbers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metamathematical investigations on the theory of grossone
• A classification of one-dimensional cellular automata using infinite computations
• Infinite computations and the generic finite
• Survey article: an elementary illustrated introduction to simplicial sets
• Infinitesimals and infinites in the history of mathematics: a brief survey
• The use of grossone in mathematical programming and operations research
• Computing sums of conditionally convergent and divergent series using the concept of grossone
• Cellular automata using infinite computations
• Interpretation of percolation in terms of infinity computations
• Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically
• Isomorphism is equality
• Taking the Pirahã seriously
• Using grossone to count the number of elements of infinite sets and the connection with bijections
• Quasi-categories and Kan complexes
• The simplicial model of univalent foundations (after Voevodsky)
• Solving the lexicographic multi-objective mixed-integer linear programming problem using branch-and-bound and grossone methodology
• On strong homogeneity of a class of global optimization algorithms working with infinite and infinitesimal scales
• Numerical infinities and infinitesimals: methodology, applications, and repercussions on two Hilbert problems
• Lexicographic multi-objective linear programming using grossone methodology: theory and algorithm
• The Sierpinski curve viewed by numerical computations with infinities and infinitesimals
• Weak omega-categories from intensional type theory
• Homotopy type theory and Voevodsky’s univalent foundations
• Identity in Homotopy Type Theory, Part I: The Justification of Path Induction
• Elements of ∞-Category Theory
• A new applied approach for executing computations with infinite and infinitesimal quantities
• A Cubical Approach to Synthetic Homotopy Theory
• A Study of Mathematical Determination through Bertrand’s Paradox
• From Sets to Types, to Categories, to Sets
• An Invitation to Applied Category Theory
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Higher Topos Theory (AM-170)

This page was built for publication: Observability in the univalent universe