University of Minho

Question

Asked 20th Feb, 2022

# How can I find a list of open problems in Homotopy Type Theory and Univalent Foundations ?

How can I find a list of open problems in Homotopy Type Theory and Univalent Foundations ?

## Most recent answer

A list of open problrems for hpmotopy type theory is presented in HISTORIC.

1 Recommendation

## All Answers (4)

Ecole Normale Supérieure de Paris

Probably there does not exist such a list. My advice is for you is that you can find out by yourself such a type of problems today. The point is the localization of base change conditions in the formality of discrete topology. My suggestion concerns naturally my original researches. That is, measure theories on mixed motives. Or cercle method on mixed motives as the prolongement-localization of zeta function. See my such kind of articles and please examine the concreteness of its nouveauté.

1 Recommendation

Federal University of Amazonas

Dear,

I recommend you the following website

Regards.

Germán Benitez

1 Recommendation

## Similar questions and discussions

Is this a new scam or something reliable?

- Jean-Claude Grivel

Dear colleagues,

Today I received an email from "awards@scienceconnect.online" with the following text:

Dear Author,

Congratulations, Your recent publication has been provisionally selected for Research Awards and recommended by our scientific committee. So kindly nominate with your recent research profile/resume through an online submission system. After a few steps of profile verification and registration processes you will get your Research Award.

Selected Award Category: Best Research Award
Note: Submit your updated profile under the selected award category.

With regards,

The Award Manager,
Research Awards
An International Research Awards
ScienceFather

There was also a nomination link, which I removed from the text above and that I did not try to open, as well as the abstract of a paper that was accepted a few days ago and made available online about 10 hours before that mail was being sent. According to the website (https://sciencefather.com/awards/), one needs to pay a registration fee in order to apply for an award. Is this a new scam? Thanks for your help.

How to add a link to my publication?

- Maritta Törrönen

The book I have edited with my colleagues is now published open access. This is the link to the publication https://helda.helsinki.fi/handle/10138/311959. How to add this to the publication because it is not a file, it is a link?

Thank you!

Maritta Törrönen

## Related Publications

Working in homotopy type theory, we provide a systematic study of homotopy
limits of diagrams over graphs, formalized in the Coq proof assistant. We
discuss some of the challenges posed by this approach to formalizing
homotopy-theoretic material. We also compare our constructions with the more
classical approach to homotopy limits via fibration cat...

This tutorial presents the Ssreflect extension to the Coq system. This extension consists of an extension to the Coq language of script, and of a set of libraries, originating from the formal proof of the Four Color theorem. This tutorial proposes a guided tour in some of the basic libraries distributed in the Ssreflect package. It focuses on the a...

We report on our experience implementing category theory in Coq 8.5. The
repository of this development can be found at
https://bitbucket.org/amintimany/categories/. This implementation most notably
makes use of features, primitive projections for records and universe
polymorphism that are new to Coq 8.5.