search

martinescardo / TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.
GNU General Public License v3.0
220 stars 40 forks source link

Take some first steps in the formalization of synthetic topology in UF #284

Open ayberkt opened 1 month ago

ayberkt commented 1 month ago

First steps of @martintrucchi’s internship work on synthetic topology.

Creating this PR containing only the basics of his work to avoid ending up with a huge PR.

ayberkt commented 1 day ago

@martinescardo: This pull request implementing the foundational layer of @martintrucchi‘s internship work on synthetic topology is now ready to review.

This will be followed by several other pull requests extending this in various directions.