Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
veganism.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
Veganism Social is a welcoming space on the internet for vegans to connect and engage with the broader decentralized social media community.

Administered by:

Server stats:

271
active users

veganism.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-alpha.5

#categorytheory

2 posts2 participants0 posts today
José A. Alonso<p>Readings shared May 9, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/05/09-readings_shared_05-09-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/05/09-readings_shared_05-09-25</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/Education" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Education</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rocq</span></a> <a href="https://mathstodon.xyz/tags/Teaching" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Teaching</span></a></p>
José A. Alonso<p>A graphical interface for category theory proofs in Coq. ~ Luc Chabassier. <a href="https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ThEdu24.2.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">cgi.cse.unsw.edu.au/~eptcs/pap</span><span class="invisible">er.cgi?ThEdu24.2.pdf</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rocq</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a></p>
José A. Alonso<p>Readings shared April 27, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/27-readings_shared_04-27-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/27-readings_shared_04-27-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CommonLisp</span></a> <a href="https://mathstodon.xyz/tags/Emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Emacs</span></a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalVerification</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a></p>
José A. Alonso<p>Introducing category theory (Version 26 Apr 2025). ~ Peter Smith. <a href="https://www.logicmatters.net/resources/pdfs/SmithCat.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">logicmatters.net/resources/pdf</span><span class="invisible">s/SmithCat.pdf</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a></p>
William Pii<p>Yes, simple graphs and symmetric digraphs are equivalent; their categories are even isomorphic!</p><p>But, I prefer the 2-cycles over undirected edges. 🙂 <a href="https://mastodon.social/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mastodon.social/tags/graphtheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graphtheory</span></a> <a href="https://mastodon.social/tags/categorytheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categorytheory</span></a> <a href="https://mastodon.social/tags/hottake" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>hottake</span></a></p>
Victoria Stuart 🇨🇦 🏳️‍⚧️<p>[math] Where Does Meaning Live in a Sentence?<br><a href="https://www.quantamagazine.org/where-does-meaning-live-in-a-sentence-math-might-tell-us-20250409/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">quantamagazine.org/where-does-</span><span class="invisible">meaning-live-in-a-sentence-math-might-tell-us-20250409/</span></a></p><p>Tai-Danae Bradley uses category theory to understand human and AI-generated language<br><a href="https://scholar.google.com/citations?user=UotbaiIAAAAJ&amp;hl=en" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">scholar.google.com/citations?u</span><span class="invisible">ser=UotbaiIAAAAJ&amp;hl=en</span></a></p><p>Mathematically Gifted &amp; Black<br><a href="https://en.wikipedia.org/wiki/Mathematically_Gifted_%26_Black" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">en.wikipedia.org/wiki/Mathemat</span><span class="invisible">ically_Gifted_%26_Black</span></a></p><p><a href="https://mastodon.social/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mastodon.social/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mastodon.social/tags/NaturalLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NaturalLanguage</span></a> <a href="https://mastodon.social/tags/NLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NLP</span></a> <a href="https://mastodon.social/tags/linguistics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>linguistics</span></a> <a href="https://mastodon.social/tags/relationships" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>relationships</span></a> <a href="https://mastodon.social/tags/epistemology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>epistemology</span></a></p>
Jencel Panic<p>A <a href="https://mathstodon.xyz/tags/monad" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>monad</span></a> is when you know how to convert $M (M a)$ to $M a$, but not $M a$ to $a$.</p><p><a href="https://mathstodon.xyz/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a> <a href="https://mathstodon.xyz/tags/categorytheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categorytheory</span></a> <a href="https://mathstodon.xyz/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogramming</span></a></p>
José A. Alonso<p>Readings shared April 3, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/03-readings_shared_04-03-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/03-readings_shared_04-03-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/AlphaProof" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AlphaProof</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>Category theory using Haskell (An introduction with Moggi and Yoneda). ~ Shuichi Yukita. <a href="https://books.google.com/books?id=4Xc2EQAAQBAJ" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">books.google.com/books?id=4Xc2</span><span class="invisible">EQAAQBAJ</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a></p>
2something<p><span>The set of all sets that are not big enough to trigger Russell's Paradox.<br><br><br>Okay that sounds like a joke, but I have a clear memory of my algebra professor in undergrad saying "If you have a large category, you can always shrink it to a small category that includes all the objects you care about."<br><br>Unless you're a foundations creature, in which case the objects you care about might include sets or categories which are big enough to cause trouble.<br><br></span><a href="https://transfem.social/tags/SetTheory" rel="nofollow noopener" target="_blank">#SetTheory</a> <a href="https://transfem.social/tags/CategoryTheory" rel="nofollow noopener" target="_blank">#CategoryTheory</a> <a href="https://transfem.social/tags/Math" rel="nofollow noopener" target="_blank">#Math</a></p>
2something<p><span>The GNU project claims their software is "free," but I have never seen a proof that GNU Sed is a free object in the category of software.<br><br></span><a href="https://transfem.social/tags/CategoryTheory" rel="nofollow noopener" target="_blank">#CategoryTheory</a> <a href="https://transfem.social/tags/GNU" rel="nofollow noopener" target="_blank">#GNU</a></p>
Manuel Baltieri<p>2025 is looking like a great year for work at the intersection of <a href="https://mathstodon.xyz/tags/categorytheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categorytheory</span></a>, <a href="https://mathstodon.xyz/tags/systemstheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>systemstheory</span></a> and <a href="https://mathstodon.xyz/tags/probabilitytheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>probabilitytheory</span></a>, this thread will be a very biased collection of works I'm hoping to read as soon as possible!</p><p>Starting with:<br>"Logical Aspects of Virtual Double Categories"<br><a href="https://mastoxiv.page/@arXiv_mathCT_bot/113921693949589956" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mastoxiv.page/@arXiv_mathCT_bo</span><span class="invisible">t/113921693949589956</span></a></p>
José A. Alonso<p>Readings shared March 7, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/07-readings_shared_03-07-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/03/07-readings_shared_03-07-25</span></a> <a href="https://mathstodon.xyz/tags/Agda" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Agda</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/HoTT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HoTT</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Programming</span></a> <a href="https://mathstodon.xyz/tags/Reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Reasoning</span></a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rocq</span></a> <a href="https://mathstodon.xyz/tags/TypeTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeTheory</span></a></p>
José A. Alonso<p>A gentle introduction to categorical logic and type theory. ~ Eric Schmid. <a href="https://ericschmid-uchicago.github.io/notes/cl_and_tt_v2.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ericschmid-uchicago.github.io/</span><span class="invisible">notes/cl_and_tt_v2.pdf</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/TypeTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeTheory</span></a></p>
José A. Alonso<p>Readings shared February 24, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/02/24-readings_shared_02-24-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/02/24-readings_shared_02-24-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/Clojure" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Clojure</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lisp</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>Bind and traverse with Kleisli morphisms. ~ Murat Kasimov. <a href="https://muratkasimov.art/Ya/Articles/Bind-and-traverse-with-Kleisli-morphisms" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">muratkasimov.art/Ya/Articles/B</span><span class="invisible">ind-and-traverse-with-Kleisli-morphisms</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a></p>
Chris Grossack (she/they)<p>Here's a cute <a href="https://sunny.garden/tags/categorytheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categorytheory</span></a> <a href="https://sunny.garden/tags/puzzle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>puzzle</span></a>:</p><p>(1) Prove the forgetful functor from (ℤ-)graded vector spaces (with all linear maps) to vector spaces admits infinitely many distinct left adjoints.</p><p>(2) How do you square this with the fact that left adjoints are unique when they exist?</p>
José A. Alonso<p>Readings shared February 16, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/02/16-readings_shared_02-16-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/02/16-readings_shared_02-16-25</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LambdaCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LambdaCalculus</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Reasoning</span></a></p>
José A. Alonso<p>The relationship between category theory, lambda calculus, and functional programming in Haskell. ~ Antonio Montano. <a href="https://4m4.it/posts/category-theory-functional-programming-compositionality/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">4m4.it/posts/category-theory-f</span><span class="invisible">unctional-programming-compositionality/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/LambdaCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LambdaCalculus</span></a></p>
David C. Norris 🇺🇦<p>In this thread 🧵, I'd like to introduce some promising early results emerging from my categorial investigations into oncology dose-finding trial designs. This work represents a new thrust in the Dose Titration Algorithm Tuning <a href="https://mathstodon.xyz/tags/DTAT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DTAT</span></a> research programme I've pursued for nearly a decade now, aiming to promote patient-centered dose-titration designs for early-phase oncology drug trials.</p><p><a href="https://precisionmethods.guru/bibliography" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">precisionmethods.guru/bibliogr</span><span class="invisible">aphy</span></a></p><p><a href="https://mathstodon.xyz/tags/AppliedCategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AppliedCategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/ClinicalTrials" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ClinicalTrials</span></a> <a href="https://mathstodon.xyz/tags/Oncology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Oncology</span></a></p>
VegansExploreLive feeds
About