а вроде и не пятница
g> TIL: There is a funeral doom metal band called "Monads". metal-archives.com @yves
n> TIL: There is a musical genre called "funeral doom metal" :stuck_out_tongue:
g> Someone should make a "metal subgenre name generator".
g> I am not a big fan of doom metal myself. But the idea of listening to monads does have some bucolic appeal. (edited)
n1> @g that kind of thinking might lead you to leibniz and Nietzsche
g> Why is that ?
a> I like that Leibniz and Nietzsche are considered similar in this sentence.
n1> nah, Nietzsche uses the concept of monads in "beyond good and evil"
n1> but I think it was borrowed from leibniz
a> Oh. Quite possibly. Leibniz's realism had something of the sort.
a> Like essential objects.
a> I should study more.
n1> essential, atomic things
g> So I just demonstrated my ignorance of philosophy :wink:
n1> by the way, while I can understand why Monad implies something irreducible/atomic (mono-), I have no clue why it applies to monoids in the category of endofunctors
n1> mh though it's in "monoid"
a> The initial name of Monads was Triple.
a> So there you have it: improvement.
a> The word « Category » in category theory is probably
taken from Kant (_Critique of pure reason_). (edited)
a> (where it meant something very different than a reflexive and transitive graph, to be sure)
a> Though I don't know if McLane or Eilenberg are on record saying this.
a> It makes sense to pick your next random name from another German philosopher.