Category Theory Conjectures with Bounties

by BlakeKeiller, Sunday, July 11, 2021, 17:20 (77 days ago)

Bounties from the reward bounty fund are being placed on several Category Theory related conjectures.

Corresponding Megalodon and Proofgold files are available from here:

https://proofgold.org/catfilesJuly2021.tgz

A pdf report giving more details is available here:

https://proofgold.org/proofgoldcategories.pdf

I may update the report later (at the same link) to explain more or to add more conjectures.


Complete thread:

 RSS Feed of thread

powered by my little forum