📚 node [[cat]]

Cat

Math

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

📖 stoa (open document) at doc.anagora.org/cat
⥱ context
⥅ related node [[2002 12 19 peasants placated peons pave poppies]]
⥅ related node [[2003 02 19 picklecatz play zaphods get featured in the ottawa sun]]
⥅ related node [[2003 02 26 adobe uses qt to develop new application]]
⥅ related node [[2003 10 27 canada post postal code locator]]
⥅ related node [[2003 12 08 itunes catalog]]
⥅ related node [[2003 12 11 classification for email and images]]
⥅ related node [[2004 02 23 caterina net things to do in vancouver]]
⥅ related node [[2004 03 21 nimcat networks]]
⥅ related node [[2004 03 29 lost boy scattered self]]
⥅ related node [[2004 03 30 peer 1 subsidizes bandwidth and colocation for pulver com approved voip startups]]
⥅ related node [[2004 03 31 asterisk ideas for client education]]
⥅ related node [[2004 04 04 fastmobile another better than skype application]]
⥅ related node [[2004 04 12 another life log application]]
⥅ related node [[2004 04 17 disrupting the canadian ip communications industry]]
⥅ related node [[2004 07 06 drm inhibits communications]]
⥅ related node [[2004 07 06 more types of information to be syndicated]]
⥅ related node [[2004 07 06 pubsub notification via jabber]]
⥅ related node [[2004 07 14 feed splicing begins to really deliver on the promise of syndication]]
⥅ related node [[2004 07 18 off line web applications]]
⥅ related node [[2004 09 11 daniel berninger all new communication applications benefit the internet]]
⥅ related node [[2004 10 02 p2p has provided the blueprint for the next generation of web applications]]
⥅ related node [[2004 10 03 late blogacatmas entry]]
⥅ related node [[2005 01 13 syndication subscription service]]
⥅ related node [[2005 09 06 three ways of syndicating beyond blogging content]]
⥅ related node [[2008 04 06 social graph applications why not for every community website]]
⥅ related node [[2008 04 24 microsoft social networking patent application on peer to patent]]
⥅ related node [[2010 08 01 applications found while not finding a real web design application]]
⥅ related node [[2012 03 15 cataloging city neighbourhood assets love my]]
⥅ related node [[2019 02 18 cat gif steganography]]
⥅ related node [[2020 07 24 catalepscene]]
⥅ related node [[20200708122545 category_theory]]
⥅ related node [[20200713102526 catholic_church]]
⥅ related node [[20210116154952 category]]
⥅ related node [[20210131224149 german_unification]]
⥅ related node [[20210302145531 early_socialists_and_advocating_repblicanism]]
⥅ related node [[20210314121301 functional_application]]
⥅ related node [[20210321205327 the_commodification_of_data]]
⥅ related node [[20210418172555 commodification]]
⥅ related node [[20210607203034 partial_application]]
⥅ related node [[a catalogue of limit objects]]
⥅ related node [[a re commonification of welfare systems]]
⥅ related node [[a yawning cat]]
⥅ related node [[adoption starts with education]]
⥅ related node [[an invitation to applied category theory]]
⥅ related node [[animal]]
⥅ related node [[annotation and the social prize of educational dignity]]
⥅ related node [[applications for the three types of machine learning]]
⥅ related node [[applications of automata theory and algebra]]
⥅ related node [[applications of computer vision]]
⥅ related node [[autocatalytic set]]
⥅ related node [[aws practictioner certification]]
⥅ related node [[barbedcatpenis]]
⥅ related node [[binary_classification]]
⥅ related node [[brainstorming computer vision application ideas]]
⥅ related node [[cat heroin]]
⥅ related node [[cat roulette]]
⥅ related node [[cat tournament]]
⥅ related node [[cat vibing]]
⥅ related node [[catalog]]
⥅ related node [[catalog of missing devices]]
⥅ related node [[catalyst group]]
⥅ related node [[catch 22]]
⥅ related node [[categorical_data]]
⥅ related node [[category]]
⥅ related node [[category theory]]
⥅ related node [[category theory basics]]
⥅ related node [[category theory for engineers]]
⥅ related node [[category theory for programmers]]
⥅ related node [[caterina barbieri]]
⥅ related node [[caternet]]
⥅ related node [[catroulette]]
⥅ related node [[cats]]
⥅ related node [[centralised applications are authoritarian]]
⥅ related node [[certification build ai powered chatbots without programming (ibm)]]
⥅ related node [[certification resources]]
⥅ related node [[chatty cats]]
⥅ related node [[classification supervised learning]]
⥅ related node [[classification algorithms]]
⥅ related node [[classification_model]]
⥅ related node [[classification_threshold]]
⥅ related node [[code as communication mental models expectation management]]
⥅ related node [[commodification of information]]
⥅ related node [[communication]]
⥅ related node [[communication commons]]
⥅ related node [[communicative capitalism]]
⥅ related node [[communicative capitalism and class struggle]]
⥅ related node [[computer vision its applications and ibm watson]]
⥅ related node [[conflict free replicated data types]]
⥅ related node [[conscious beings]]
⥅ related node [[datafication]]
⥅ related node [[deprecate capitalism]]
⥅ related node [[distributed applications can only do what their protocols support]]
⥅ related node [[duplicator]]
⥅ related node [[economic indicators list]]
⥅ related node [[educate agitate organise]]
⥅ related node [[el casal catalá]]
⥅ related node [[english_fracture_and_dislocation]]
⥅ related node [[errors migrating a wordpress site from mysql 5 7 to 8 via duplicator]]
⥅ related node [[fabrication]]
⥅ related node [[fatcat]]
⥅ related node [[federated education]]
⥅ related node [[federated education new directions in digital collaboration]]
⥅ related node [[four main categories of ai implementation]]
⥅ related node [[fraidycat]]
⥅ related node [[gamification]]
⥅ related node [[halt and catch fire]]
⥅ related node [[how social media changed communication]]
⥅ related node [[i m being a little more prescriptive than descriptive that s probably why my categorization is]]
⥅ related node [[i m in favor of breaking down artificial barriers that make modifying applications artificially]]
⥅ related node [[if you understood this essay as advocating for some language you didn t read it carefully]]
⥅ related node [[image classification]]
⥅ related node [[implications of quantum mechanics on philosophy]]
⥅ related node [[issue during yunohost update an error occurred during the signature verification]]
⥅ related node [[it seems like what medium is doing is creating a subscription only publication of their own]]
⥅ related node [[knowledge management applications]]
⥅ related node [[komi cant communicate]]
⥅ related node [[lacaton and vassal]]
⥅ related node [[lack of political sophistication is often a side effect of being sheltered]]
⥅ related node [[leading indicators]]
⥅ related node [[list of examinations and certifications]]
⥅ related node [[many to many communication]]
⥅ related node [[mariana mazzucato]]
⥅ related node [[mastodon]]
⥅ related node [[mba mortgage applications]]
⥅ related node [[mini curriculum on applied category theory and engineering design]]
⥅ related node [[minimum viable datafication]]
⥅ related node [[multi class_classification]]
⥅ related node [[multinomial_classification]]
⥅ related node [[mycroft a predicate logic language overview post mortem]]
⥅ related node [[networked notebooks catalogue]]
⥅ related node [[node categories]]
⥅ related node [[non violent communication]]
⥅ related node [[non violent communication nvc]]
⥅ related node [[nonviolent communication]]
⥅ related node [[notifications]]
⥅ related node [[ocell]]
⥅ related node [[one s career is rarely a vocation]]
⥅ related node [[online communities are still catching up to my mothers garden club]]
⥅ related node [[open educational resources]]
⥅ related node [[patents already have fairly rich classifications ipc and cpc did you lean on these hierarchical]]
⥅ related node [[person]]
⥅ related node [[podcast with tiago forte and david perell on education]]
⥅ related node [[professional_certificate_ _applied_ai]]
⥅ related node [[ramifications of nearsightedness in tech]]
⥅ related node [[re ification]]
⥅ related node [[reading vacation june 2020]]
⥅ related node [[rectification of names]]
⥅ related node [[regarding the back catalogue i have taken to using automation to post links to my old medium]]
⥅ related node [[reification]]
⥅ related node [[replicated]]
⥅ related node [[replication crisis]]
⥅ related node [[researching social annotation in education]]
⥅ related node [[ruth catlow]]
⥅ related node [[scatland]]
⥅ related node [[scattered minds]]
⥅ related node [[self locating uncertainty]]
⥅ related node [[solid authentication]]
⥅ related node [[sorry that s my canon cat article i meant to link to this one]]
⥅ related node [[space cats]]
⥅ related node [[space cats fight fascism]]
⥅ related node [[the architecture of open source applications]]
⥅ related node [[the buttons on that type of radio and on cassette walkmans have other tactile indicators of]]
⥅ related node [[the cathedral and the bazaar]]
⥅ related node [[the commodification of social activities]]
⥅ related node [[the value of subtle communication toward a secular materialist model of chaos magick]]
⥅ related node [[typing cat]]
⥅ related node [[underground press syndicate]]
⥅ related node [[vacation 2020]]
⥅ related node [[watson ibm use cases certification]]
⥅ related node [[watson knowledge catalogue]]
⥅ related node [[what is it like to be a cat]]
⥅ related node [[when the best option for providing a service is awful that indicates an opportunity for]]