This project looks really cool and promising! I tried to access the
domain request form (https://searchhut.org/request) but it is currently
returning 404. I was hoping to add to the index a few encyclopedic
websites about mathematics to round out the search results --- right now
when you search for mathematical topics, wikipedia is the only relevant
results showing up but wikipedia is often a bit unreliable in this
area. Here are the sites I wanted to add:
- the nLab: https://ncatlab.org/nlab/show/HomePage. This is a wiki
for collaborative work on Mathematics, Physics, and Philosophy —
especially, but far from exclusively, from the n-point of view: with a
sympathy towards the tools and perspective of higher algebra, homotopy
theory, type theory, category theory and higher category theory.
- Kerodon: https://kerodon.net. an online resource for homotopy-coherent
mathematics written by Jacob Lurie
- The Stacks project: https://stacks.math.columbia.edu. an open source
textbook and reference work on algebraic geometry
On my own website, I host a mini-book on fibered category theory that I
am writing[1], so this could potentially also be added -- but I wasn't
sure what the policy for adding personal websites to the index was.
Best,
Jon
[1]
https://www.jonmsterling.com/math/lectures/categorical-foundations.html