Observability in the univalent universe
From MaRDI portal
Publication:2675950
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
Related Items (1)
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
