Open zvihr opened 6 years ago
@zvihr I don't have any plans right now to extend to other categories, but I would gladly support their creation! I chose this scope because it felt the most manageable for me.
In fact, except for a few too-specifically named models, I think the codebase here will already support much of an endeavor. I would be happy to offer advice on how this might be done. Maybe we can work out a version that works for categories with properties that aren't "sided." Feel free to contact at databaseofringtheory at gmail.
@zvihr I'm wondering if you ever went anywhere with your own categories. Incidentally, the devs at pi-base and I are looking forward to such efforts to make a general framework for sites like ours.
I was looking for precisely something like your app but in the category of Lattices. It occurred to me that it would be useful in many categories (Groups, Sheaves, TopSpaces, Riemannian manifolds, etc.). Did you have any plans of extending? Is your code adaptable to other categories, or is there anything that would keep it in Rings?