[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.11742898 [View]
File: 12 KB, 256x242, 849e3452.jpg [View same] [iqdb] [saucenao] [google]
11742898

>>11742847
Kolmogorov.

>>11742713
An interesting plot twist. The Lebesgue measure seems to be allergic to both AC and CH.

>> No.11707308 [View]
File: 12 KB, 256x242, 849e3452.jpg [View same] [iqdb] [saucenao] [google]
11707308

>>11707295
Yes, assuming you can justify that the arrows in your diagram have some properties. That's why it's abstract nonsense.

>> No.11688241 [View]
File: 12 KB, 256x242, 849e3452.jpg [View same] [iqdb] [saucenao] [google]
11688241

G M M G

>>11686979
>Magma is a good answer if we search for something very concise and be sure it's surely algebraic.
By my interpretation of the question, magma is [math]\mathfrak{the}[/math] one true answer to that. I mean, the question itself radiates undergradiness, and so on.
>I sort of have the intuition that operads are more autistic and presumably more general, but I always get lost when I look at those definitions. And they for sure are longer and have more properties, but the interpretability of one thing in the other makes the question more murky.
They most likely are more general. I wouldn't be surprised if one could construct a "magmoid" using them in the sense that categories allow the consideration of groupoids and are themselves what I would call monoidoids. This is just a gut feeling based on the infinity category structure(s) and the wiggle room one obtains by going higher, though. I've never needed them myself, so I haven't checked the details.

>>11686970
Now I want banana juice. Or carrot, or cranberry.

>>11687045
Does the FuckYou produce a middle finger?

Navigation
View posts[+24][+48][+96]