Observability in the univalent universe

DOI10.1007/S00009-022-02121-3MaRDI QIDQ2675950zbMATH OpenOpenAlexFDO

Authors Gianluca Caterina, Rocco Gangle, Fernando 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)

Recommendations

• Homotopy type theory
• Homotopy type theory and Voevodsky's univalent foundations
• UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY
• scientific article; zbMATH DE number 1302063
• Higher homotopies in a hierarchy of univalent universes

Cites work

• scientific article; zbMATH DE number 5783694 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 1302059 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 226803 (Why is no real title available?)
• scientific article; zbMATH DE number 3279146 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• A classification of one-dimensional cellular automata using infinite computations
• A classification of two-dimensional cellular automata using infinite computations
• A cubical approach to synthetic homotopy theory
• A new applied approach for executing computations with infinite and infinitesimal quantities
• A study of mathematical determination through Bertrand's paradox
• An Invitation to Applied Category Theory
• Cellular automata using infinite computations
• Computing sums of conditionally convergent and divergent series using the concept of grossone
• Elements of \(\infty\)-category theory
• From sets to types, to categories, to sets
• Gödel's proof. Edited and with a new foreword by Douglas R. Hofstadter
• Higher Topos Theory (AM-170)
• Homotopy type theory and Voevodsky's univalent foundations
• Homotopy type theory. Univalent foundations of mathematics
• Identity in homotopy type theory. Part I: The justification of path induction
• Infinite computations and the generic finite
• Infinitesimals and infinites in the history of mathematics: a brief survey
• Interpretation of percolation in terms of infinity computations
• Isomorphism is equality
• Lexicographic multi-objective linear programming using grossone methodology: theory and algorithm
• Metamathematical investigations on the theory of grossone
• Numerical infinities and infinitesimals: methodology, applications, and repercussions on two Hilbert problems
• Observability of Turing machines: a refinement of the theory of computation
• On strong homogeneity of a class of global optimization algorithms working with infinite and infinitesimal scales
• Quasi-categories and Kan complexes
• Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically
• Solving the lexicographic multi-objective mixed-integer linear programming problem using branch-and-bound and grossone methodology
• Survey article: an elementary illustrated introduction to simplicial sets
• Taking the Pirahã seriously
• The Sierpinski curve viewed by numerical computations with infinities and infinitesimals
• The simplicial model of univalent foundations (after Voevodsky)
• The use of grossone in mathematical programming and operations research
• Using grossone to count the number of elements of infinite sets and the connection with bijections
• Weak omega-categories from intensional type theory

Cited in

(3)

• Univalence for inverse EI diagrams
• Distinguishing marks of simply-connected universes
• Lower and upper estimates of the quantity of algebraic numbers

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2675950)