Have you read “Correspondence between Composite Theories and Distributive Laws” by Rosset or “Backtracking with cut via a distributive law and left-zero monoids” by pirog and staton? it seems that monads have a lot of what you need
@@AssumptionsofPhysicsResearch ah, then you shouldn’t be getting your information from me. Mostly I’m just curious what your next steps are for the logic stuff. It seems that the current trend in fundamental maths is more towards categories and types
@@AssumptionsofPhysicsResearch I’m not an expert either, but my concern is that by adding the algebraic and calculus structure that you need, you are quickly going to go into infinity categories. Quasi categories are sets that generalize well to higher categories. so It might be useful to have something like that as a lower level structure
So cool
Curt i think Gabriele would make an amazing guest on your channel.
if you haven’t checked it out already there is a book available on his website.
@@MrSlugmuffin Next week
gotta binge watch this on repeat
before i hit you with my questions
this time 😂
matter of fact everything you ever made is getting binged.
Have you read “Correspondence between Composite Theories and Distributive Laws” by Rosset or “Backtracking with cut via a distributive law and left-zero monoids” by pirog and staton? it seems that monads have a lot of what you need
If it's category theory, I'll probably understand very little. ☹️ Either I have someone translating the stuff, or it's basically a lost cause...
@@AssumptionsofPhysicsResearch ah, then you shouldn’t be getting your information from me. Mostly I’m just curious what your next steps are for the logic stuff. It seems that the current trend in fundamental maths is more towards categories and types
Have you looked at quasicatagories? You might not have to do assume much to bring in a lot of algebraic structure
I did now and I didn't understand anything. It would take too long to just make a translation to even see if it useful.
@@AssumptionsofPhysicsResearch I’m not an expert either, but my concern is that by adding the algebraic and calculus structure that you need, you are quickly going to go into infinity categories. Quasi categories are sets that generalize well to higher categories. so It might be useful to have something like that as a lower level structure
@@samirk.2104 What are infinity categories, and why would they be a problem?