I think you meant to write “da gender” ; )

Lemmy discovers deism. ;)

It said my username was already taken lol. I think/hope that’s because I entered myself into that earlier list for the beta… Also still waiting for the mail.

Appearantly I’m gary, but I rarely talk to CS PhDs…

I kissed a girl in my ass

From what I gathered from the Wikipedia page of Kripke Models, they take the form of something like a graph (nodes and edges). My mediocre knowledge of higher math makes me wave my hands and say something about Category theory also working with graph-like structures and that sheaves and topoi definitely come up there, too.

ni li pona a! mi kama sona pi toki pona. tenpo ni la mi ken toki lili, taso mi ken toki kepeken tenpo lili.

tenpo pini la mi toki e ni: mi wile musi e omori lon tenpo kama. tenpo ni la mi toki e ni: mi wile musi e omori kepeken toki pona! pona tawa sina! o pali e ni.

ante: mi kama sona sin, mi ante lili e nimi.

Damn that would have been nice. The big circles are a nice alternative, though. ;)

For the lazy:

∫‍⚧

∫‍🇸🇦

ꙮ‍⚧

∫‍∫‍ꙮ

To first give you some context, the thing on the top is from The “Representable Functors” chapter of Category Theory for Programmers. So technically, you only need to read 230 Pages of a maths textbook to get it ;)

But this isn’t exactly what you asked for, so I’ll try to help you get it as best I can with my limited understanding of the subject. First of all it would be helpful to know what your prior knowledge in Maths, especially Set theory, is?