📚 node [[conscious beings]]
📖 stoas
⥅ related node [[all-conscious-beings]] pulled by user

all conscious beings

  • I don't know how many types of conscious beings there are, and how many there will be in the future and in the [[multiverse]] -- but I know there are many.
  • You, reader, are one of them.
⥅ related node [[cat]] pulled by user


category theory for programmers Compiling to categories

https://en.wikipedia.org/wiki/Monad_(category_theory)#Algebras_for_a_monad <button class="pull-url" value="https://en.wikipedia.org/wiki/Monad_(category_theory)#Algebras_for_a_monad">pull</button> https://en.wikipedia.org/wiki/Kleisli_category <button class="pull-url" value="https://en.wikipedia.org/wiki/Kleisli_category">pull</button> -- category for monads http://www.philipzucker.com/computational-category-theory-in-python-ii-numpy-for-finvect/

https://stackoverflow.com/questions/3870088/a-monad-is-just-a-monoid-in-the-category-of-endofunctors-whats-the-problem Does every monad arise from an adjunction? http://comonad.com/reader/ -- curry howard lambek currespondence guides researchers into computation. rea ding a logic like type theory is a definitional trick as it is just reinterpretation of syntax. syntactic categories are difficult to connect to categorical semantics

⥅ related node [[cow]] pulled by user


⥅ related node [[dog]] pulled by user
⥅ related node [[person]] pulled by user


  • A list of every person explicitly tagged as such that has a note in the Agora.
⥱ context
⥅ related node [[conscious]]
⥅ related node [[for the good fo all conscious beings]]