← All posts tagged work

а вроде и не пятница
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.

d > I don't know what I hit on emacs but apparently: French: 15 Thermidor an 225 de la Révolution
g > Seems like you converted a date to the French revolutionary calendar
g > That must be current date actually
g > 1792 + 225 ...
g > makes sense
g > I am a bit worried, actually: is it what Emacs proposes when you ask for "today" in French ? :smile:
j > maybe he hasn't updated emacs since the revolution

С обсуждения диаграммы переходов между состояниями объектов

— this diagram looks like a pull-back in category theory.
— no. This arrow goes into wrong direction, let's fix it.

(Все ошибки в построении фраз добавлены мной, писал по памяти)