Observability in the univalent universe

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

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Higher Topos Theory (AM-170)
• Title not available (Why is that?)
• Homotopy type theory. Univalent foundations of mathematics
• Using grossone to count the number of elements of infinite sets and the connection with bijections
• Metamathematical investigations on the theory of grossone
• A classification of one-dimensional cellular automata using infinite computations
• Infinite computations and the generic finite
• Observability of Turing machines: a refinement of the theory of computation
• A new applied approach for executing computations with infinite and infinitesimal quantities
• 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
• Quasi-categories and Kan complexes
• Survey article: an elementary illustrated introduction to simplicial sets
• Weak omega-categories from intensional type theory
• Numerical infinities and infinitesimals: methodology, applications, and repercussions on two Hilbert problems
• Elements of \(\infty\)-category theory
• The simplicial model of univalent foundations (after Voevodsky)
• A classification of two-dimensional cellular automata using infinite computations
• A cubical approach to synthetic homotopy theory
• Isomorphism is equality
• Solving the lexicographic multi-objective mixed-integer linear programming problem using branch-and-bound and grossone methodology
• Lexicographic multi-objective linear programming using grossone methodology: theory and algorithm
• An Invitation to Applied Category Theory
• Taking the Pirahã seriously
• Title not available (Why is that?)
• Homotopy type theory and Voevodsky's univalent foundations
• Identity in homotopy type theory. Part I: The justification of path induction
• On strong homogeneity of a class of global optimization algorithms working with infinite and infinitesimal scales
• The Sierpinski curve viewed by numerical computations with infinities and infinitesimals
• A study of mathematical determination through Bertrand's paradox
• Gödel's proof. Edited and with a new foreword by Douglas R. Hofstadter
• Title not available (Why is that?)
• From sets to types, to categories, to sets

Cited In (3)

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

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)