Univalent foundations
id:
univalent-foundations-280-14929245
title:
Univalent foundations
text:
Univalent foundations are an approach to the foundations of mathematics in which mathematical structures are built out of objects called types. Types in univalent foundations do not correspond exactly to anything in set-theoretic foundations, but they may be thought of as spaces, with equal types corresponding to homotopy equivalent spaces and with equal elements of a type corresponding to points of a space connected by a path. Univalent foundations are inspired both by the old Platonic ideas of
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Univalent_foundations
date created:
date modified:
2024-01-03T22:36:30Z
main entity:
{"identifier":"Q25303740","url":"https://www.wikidata.org/entity/Q25303740"}
image:
fields total:
13
integrity:
13