Observability in the univalent universe (Q2675950)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Observability in the univalent universe	scientific article

Statements

scholarly article

0 references

Observability in the univalent universe (English)

0 references

Gianluca Caterina

0 references

0 references

Fernando A. Tohmé

0 references

Mediterranean Journal of Mathematics

0 references

publication date

26 September 2022

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s00009-022-02121-3

0 references

From Sets to Types, to Categories, to Sets

0 references

The Sierpinski curve viewed by numerical computations with infinities and infinitesimals

0 references

Lexicographic multi-objective linear programming using grossone methodology: theory and algorithm

0 references

Solving the lexicographic multi-objective mixed-integer linear programming problem using branch-and-bound and grossone methodology

0 references

Isomorphism is equality

0 references

Cellular automata using infinite computations

0 references

0 references

A classification of one-dimensional cellular automata using infinite computations

0 references

The use of grossone in mathematical programming and operations research

0 references

An Invitation to Applied Category Theory

0 references

Survey article: an elementary illustrated introduction to simplicial sets

0 references

0 references

Interpretation of percolation in terms of infinity computations

0 references

0 references

Quasi-categories and Kan complexes

0 references

The simplicial model of univalent foundations (after Voevodsky)

0 references

Infinite computations and the generic finite

0 references

Identity in Homotopy Type Theory, Part I: The Justification of Path Induction

0 references

A Cubical Approach to Synthetic Homotopy Theory

0 references

Metamathematical investigations on the theory of grossone

0 references

Infinitesimals and infinites in the history of mathematics: a brief survey

0 references

Weak omega-categories from intensional type theory

0 references

Higher Topos Theory (AM-170)

0 references

0 references

Using grossone to count the number of elements of infinite sets and the connection with bijections

0 references

0 references

0 references

Taking the Pirahã seriously

0 references

0 references

Homotopy type theory and Voevodsky’s univalent foundations

0 references

Elements of ∞-Category Theory

0 references

A Study of Mathematical Determination through Bertrand’s Paradox

0 references

A new applied approach for executing computations with infinite and infinitesimal quantities

0 references

Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically

0 references

Numerical infinities and infinitesimals: methodology, applications, and repercussions on two Hilbert problems

0 references

0 references

On strong homogeneity of a class of global optimization algorithms working with infinite and infinitesimal scales

0 references

0 references

Homotopy Type Theory: Univalent Foundations of Mathematics

0 references

0 references

Computing sums of conditionally convergent and divergent series using the concept of grossone

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

10.1007/S00009-022-02121-3

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2675950

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2675950&oldid=39190031"