markusdeEverybody gangsta about being correct by construction until they hear about grade school arithmetic
Max S. New ⚜️@markusde I think this post is designed in a lab to piss me off and yet I am too zen to take the bait
bhakti@bhaktishh @markusde do your worst
bhakti (@[email protected])
dumb category theory question that might not even make sense. I am incapable of thinking about arrows without thinking about them as functions on sets so that’s probably where is coming from So the identity arrow is the identity on composition, but can you ever construct an arrow that obeys the compositional identity but isn’t “truly” the identity? Or is there no notion of “true” identity for an abstract object as there is for a set (ie mapping each thing to itself)
@maxsnew maybe it won’t piss you off but will certainly make you wonder if I really know any category theory at all
@bhaktishh I almost dropped out of being a math major because I couldn't understand wtf was going on in my abstract algebra class so I have personal experience with these kind of questions.
@maxsnew unrelated but I *did* drop out of being a math major because I couldn’t understand why we cared about any part of real analysis. Maybe if I had the chance to take algebra before analysis I would have made it through … or not … we’ll never know
@bhaktishh @maxsnew Physics, reality, etc?
@bhaktishh @maxsnew I did do math but I didn't really start caring about analysis until I started working with verified probability stuff, where describing even exact programs that only involve integers can still need real numbers
Cody