Edited by karphead ()

and a little bit of math humor. it took me a while to work through this but it is worth it https://ncatlab.org/nlab/show/adjoint+modality

he explicitly sees category theory as a higher justification & formalisation of dialectical principles but i'm a math illiterate so it's gibberish to me sadly.

hey GUSSRI where does one find these math shitposting communities?

edit: its apparently public so you can all take a gander. my friend jack whos a medievalist phd student at uchicago told me about this dude scott letigre he went to school with who is a brain broken math shitposter and we are friends now. he dms me things like "you ever heard of tropical geometry bro? it GO" all the fucking time

c_man posted:Category theory is interesting because its one of those areas of math thats very abstract and foundational but very hard to turn into something practical because the community around it doesnt care about applications beyond identifying which type of morphism is involved in a given setting. Ive been exposed to a lot of it and it mostly seems useful when you want to classify various types of processes but i have yet to see any application of it to a problem that tells you something more about the problem than just studying the problem in the currently understood context

What? Category theory was explicitly created to formalize topology, and lead to algebraic topology and homological algebra.

graphicalUSSRinterface posted:all the math commie memers i know are into category theory and being finitists lol. it do make sense but im hesitant to commit to discarding cantor. ill get thjere im sure..

finitism occupies the same space that anarcho-capitalism or posadism does for political idealogy, bullshit that exists almost exclusively on the internet.

elemennop posted:finitism occupies the same space that anarcho-capitalism or posadism does for political idealogy, bullshit that exists almost exclusively on the internet.

i see.

elemennop posted:it's like racking your brain about moral realism vs anti-realism, i think it's a worthwhile pursuit for some philosophers, but probably melts the brains of too many people.

one cool way to make a cartoon supervillain IRL is to introduce some unsuspecting dumb bible college kid to metaethics. i still don't know anything about math, but i do know this

edit: this ones private unfortunately so you will have to send a request

blinkandwheeze posted:I think all facebook meme group chat should be excised from the forums forever

A plea to our empress Tears to institute this by decree posthaste!

blinkandwheeze posted:A plea to our empress Tears to institute this by decree posthaste!

i keep thinking about downvoting you as a joke but i hesitate because im afraid it would be too cruel and not be read correctly

blinkandwheeze posted:blinkandwheeze posted:I think all facebook meme group chat should be excised from the forums forever

A plea to our empress Tears to institute this by decree posthaste!

Divide the living child in two, and give half to the one, and half to the other.

tears posted:blinkandwheeze posted:blinkandwheeze posted:I think all facebook meme group chat should be excised from the forums forever

A plea to our empress Tears to institute this by decree posthaste!

Divide the living child in two, and give half to the one, and half to the other.

All facebook meme group chat banned, except for blinkandwheeze, who can only communicate in facebook memes

elemennop posted:What? Category theory was explicitly created to formalize topology, and lead to algebraic topology and homological algebra.

Yeah and all of those subjects are of incredibly narrow application outside of learning more about algebraic topology and homological algebra. There are applications in physics but thats the area of physics that hasnt made any subsequently verified concrete predictions in decades. There are more mundane examples to like, resistor or chemical reaction networks, but from what ive seen the results usually of the form "this process is an example of that type of weird category, therefore the methods for dealing with it that are already well understood are examples of some kind of functor". Maybe john baez or someone has struck gold in the past few years and i havent heard about it, which would be cool.

Edited by c_man ()

c_man posted:elemennop posted:What? Category theory was explicitly created to formalize topology, and lead to algebraic topology and homological algebra.

Yeah and all of those subjects are of incredibly narrow application outside of learning more about algebraic topology and homological algebra. There are applications in physics but thats the area of physics that hasnt made any subsequently verified concrete predictions in decades. There are more mundane examples to like, resistor or chemical reaction networks, but from what ive seen the results usually of the form "this process is an example of that type of weird category, therefore the methods for dealing with it that are already well understood are examples of some kind of functor". Maybe john baez or someone has struck gold in the past few years and i havent heard about it, which would be cool.

well, i mean, direct applications of category theory are probably narrow indeed, but so much of modern mathematics e.g. algebraic geometry is built down stream of it, that results proven through scheme theory give results that can interpreted in terms of classical algebraic geometry of varieties that has real applications to robotics. there are AG applications to coding theory and cryptography, and i think i've heard of phylogenetics as well. how many of those results can be derived on "classical" AG is bit harder for me say without going through all the papers. also i believe that algebraic topology is used in ML algorithms for say clustering, and other topological categorization. criticizing the community of category theorists for not caring about applications is like criticizing Zermelo and Fraenkel at the start of the 20th century for not focusing on applications of set theory.

Edited by c_man ()

tears posted:im learning angular velocity, centripetal force, deriving cute equations, wow catadmin enable mathjax

can you post the cute equation now