mastodon.world is one of the many independent Mastodon servers you can use to participate in the fediverse.
Generic Mastodon server for anyone to use.

Server stats:

9K
active users

#AppliedCategoryTheory

0 posts0 participants0 posts today
MSP Group<p>Hey You'se!</p><p>Applications for PhD scholarships (UK students fully funded, international students part funded) in Computer &amp; Information Sciences at Strathclyde are *open*.</p><p>Details on applications within <span class="h-card" translate="no"><a href="https://mastodon.acm.org/@mspstrath" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>mspstrath</span></a></span> are here:</p><p><a href="https://msp.cis.strath.ac.uk/phd2025-JARSS.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">msp.cis.strath.ac.uk/phd2025-J</span><span class="invisible">ARSS.html</span></a></p><p>*Deadline* 25th November, 2024.</p><p>Please share!</p><p><a href="https://mastodon.acm.org/tags/dependent_types" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dependent_types</span></a> <a href="https://mastodon.acm.org/tags/type_theory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>type_theory</span></a> <a href="https://mastodon.acm.org/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://mastodon.acm.org/tags/FormalMethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FormalMethods</span></a> <a href="https://mastodon.acm.org/tags/Coalgebra" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Coalgebra</span></a> <a href="https://mastodon.acm.org/tags/functional_programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional_programming</span></a> <a href="https://mastodon.acm.org/tags/homotopy_type_theory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>homotopy_type_theory</span></a> <a href="https://mastodon.acm.org/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguages</span></a> <a href="https://mastodon.acm.org/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mastodon.acm.org/tags/AppliedCategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AppliedCategoryTheory</span></a> <a href="https://mastodon.acm.org/tags/HumanFactors" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HumanFactors</span></a></p>
Charlotte Aten<p>As I prepare to head back home from <a href="https://mathstodon.xyz/tags/Cambridge" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Cambridge</span></a>, I'm reflecting on how much I've learned and on the hospitality shown to me by Jamie Vicary and his graduate students, <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@jonmsterling" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>jonmsterling</span></a></span>, and the computer lab as a whole. My first trip to the UK has been the experience of a lifetime and I look forward to seeing new friends I've made here again soon.</p><p>I was surprised to find that one person did a great deal to make me feel welcome despite the fact that I never met her. I noticed the pictured pride flag on my first day in the computer lab, and I assumed everyone signed it as part of some event. I don't talk much about being queer on Mastodon, but seeing this definitely helped me feel much more at ease in a place which was foreign to me, an American mathematician, in multiple senses.</p><p>(1/2)</p><p><a href="https://mathstodon.xyz/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ComputerScience</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/AppliedCategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AppliedCategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/queer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>queer</span></a></p>
Charlotte Aten<p>My talk from yesterday on a categorical semantics for neural nets for the New York Category Theory Seminar has already been posted on YouTube! You can find it at <a href="https://www.youtube.com/watch?v=FKkpVKuspmA" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=FKkpVKuspm</span><span class="invisible">A</span></a> and you can see more about this seminar at <a href="https://www.sci.brooklyn.cuny.edu/~noson/Seminar/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">sci.brooklyn.cuny.edu/~noson/S</span><span class="invisible">eminar/</span></a>. The preprint I mention is <a href="https://arxiv.org/abs/2308.00677" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2308.00677</span><span class="invisible"></span></a> and the talk by Joyal which was mentioned at the end can be found at <a href="https://www.youtube.com/watch?v=MxClaWFiGKw" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=MxClaWFiGK</span><span class="invisible">w</span></a>.</p><p><a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/AppliedCategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AppliedCategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MachineLearning</span></a> <a href="https://mathstodon.xyz/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ComputerScience</span></a> <a href="https://mathstodon.xyz/tags/UniversalAlgebra" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>UniversalAlgebra</span></a> <a href="https://mathstodon.xyz/tags/NeuralNets" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NeuralNets</span></a></p>
Charlotte Aten<p>In a couple hours I'll be giving a talk online for the New York Category Theory Seminar! This is going to be another iteration of "A categorical semantics for neural networks", which I first discussed last week at the Cambridge Logic and Semantics Seminar. I got some really helpful questions/feedback last week, so I'll have some new thoughts to share today.</p><p>In particular, I think I may want to use a horizontal categorification of clones, rather than traditional multicategories.</p><p>More info:<br><a href="https://www.sci.brooklyn.cuny.edu/~noson/Seminar/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">sci.brooklyn.cuny.edu/~noson/S</span><span class="invisible">eminar/</span></a></p><p><a href="https://mathstodon.xyz/tags/AppliedCategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AppliedCategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/NeuralNets" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NeuralNets</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MachineLearning</span></a> <a href="https://mathstodon.xyz/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ComputerScience</span></a></p>
Charlotte Aten<p>Good morning UK! In two weeks I'll be visiting <a href="https://mathstodon.xyz/tags/Cambridge" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Cambridge</span></a> for about two weeks. Please let me know if there's anything cool I should check out while I'm there.</p><p>I'll be speaking at this seminar (<a href="https://talks.cam.ac.uk/show/index/6375" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">talks.cam.ac.uk/show/index/637</span><span class="invisible">5</span></a>) about a functorial semantics for neural nets. I still need to send in an abstract, so my talk isn't listed yet. This topic is a synthesis of my preprint «Discrete neural nets and polymorphic learning» (<a href="https://arxiv.org/abs/2308.00677" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2308.00677</span><span class="invisible"></span></a>) as well as some of the results from my thesis (<a href="https://aten.cool/documents/thesis.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">aten.cool/documents/thesis.pdf</span><span class="invisible"></span></a>).</p><p>I am planning on making a trip to <a href="https://mathstodon.xyz/tags/Nottingham" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Nottingham</span></a> at some point, as well.</p><p><a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MachineLearning</span></a> <a href="https://mathstodon.xyz/tags/AppliedCategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AppliedCategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/Combinatorics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Combinatorics</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CategoryTheory</span></a></p>
Charlotte Aten<p>I'm giving another talk on discrete neural nets and polymorphic learning at the <a href="https://mathstodon.xyz/tags/CUBoulder" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CUBoulder</span></a> PALS seminar (<a href="https://math.colorado.edu/algebralogic" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">math.colorado.edu/algebralogic</span><span class="invisible"></span></a>) at 230pm MDT today! You can find the preprint I'm discussing at <a href="https://arxiv.org/abs/2308.00677" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2308.00677</span><span class="invisible"></span></a>. As usual, a recording will be available in case you'd like to watch later.</p><p><a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/algebra" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>algebra</span></a> <a href="https://mathstodon.xyz/tags/AbstractAlgebra" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AbstractAlgebra</span></a> <a href="https://mathstodon.xyz/tags/Combinatorics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Combinatorics</span></a> <a href="https://mathstodon.xyz/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ComputerScience</span></a> <a href="https://mathstodon.xyz/tags/AppliedCategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AppliedCategoryTheory</span></a></p>
blake shaw 🇵🇸<p>"This talk is an invitation to embark on a journey to solve one of the most naive yet insanely convoluted open question in <a href="https://functional.cafe/tags/software" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>software</span></a> architecture: the problem of unit systems and physical quantities. As surprising as it may seem, in 2023, there is still no software library available in any of the most common programming languages that covers the issue in its full complexity including its myriad of edge cases. In the context of a standardization effort within the <a href="https://functional.cafe/tags/cpp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cpp</span></a> programming language committee <a href="https://functional.cafe/tags/WG21" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>WG21</span></a> on the topic of units this talk constitutes an attempt to reach out to the <a href="https://functional.cafe/tags/appliedcategorytheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>appliedcategorytheory</span></a> community in order to approach the subject from a new angle. </p><p>Throughout the presentation, a particular attention will be put on the underlying reasons behind the emerging complexity of the subject and why applied category theory may be key to disentangle this apparent complexity. This will be illustrated by concrete applications in computational <a href="https://functional.cafe/tags/physics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>physics</span></a> and metrology, including particularly pathological cases that will put into question the very notion of what a unit is. Exploring conceptual boundaries through edge cases will help putting constraints on the mathematical structures that may be used to abstract the problem. Beyond the mere scope of being able to standardize a unit systems software library, the challenge raised in this talk represents a gateway to deep questions about physics, its language, its structure, and how to translate it into <a href="https://functional.cafe/tags/typetheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>typetheory</span></a>. It also constitutes a perfect playground for applied category theory, going from a naive and well-framed question to an interdisciplinary open problem at the intersection of physics, computer science, and mathematics with broad impacts for programming languages and international standards."</p><p><a href="https://www.youtube.com/watch?v=6Fc-mjFMSrw" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=6Fc-mjFMSr</span><span class="invisible">w</span></a></p>
blake shaw 🇵🇸<p>Love to see <a href="https://functional.cafe/tags/AppliedCategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AppliedCategoryTheory</span></a> in the Linux space:</p><p><a href="https://functional.cafe/tags/Linux" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Linux</span></a> API for Software Disagnostics <br>Accelerated with <a href="https://functional.cafe/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CategoryTheory</span></a> in View<br>by Dmitry Vostokov<br><a href="https://www.patterndiagnostics.com/accelerated-linux-api-book" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">patterndiagnostics.com/acceler</span><span class="invisible">ated-linux-api-book</span></a></p>
Charlotte Aten<p><span class="h-card"><a href="https://mathstodon.xyz/@abuseofnotation" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>abuseofnotation</span></a></span> There are at least two reasons that categories aren't usually covered during an introduction to abstract algebra.</p><p>1) While the modern upper-level undergraduate curriculum does push a lot more abstraction than appeared a century ago, this is still balanced with the psychological need for students to not go up too many levels too quickly. Even though categories are some kind of algebraic structure generalizing groups and lattices, the standard examples are categories of other mathematical objects one has already studed (sets, groups, etc.). For students this is conceptually quite different from the more concrete situation of finite symmetry groups, for example.</p><p>2) The applications of categories (separately from the special cases of groups/lattices/monoids/posets/etc.) don't yet appear enough for the average person with a bachelor's in math to need to know them. This may change as <a href="https://mathstodon.xyz/tags/AppliedCategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AppliedCategoryTheory</span></a>, <a href="https://mathstodon.xyz/tags/TopologicalDataAnalysis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TopologicalDataAnalysis</span></a>, <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a>, and so forth continue to mature and have greater impacts outside of academia.</p>
blake shaw 🇵🇸<p><a href="https://functional.cafe/tags/MIT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MIT</span></a> "spin outs" are such a clever form of intellectual sabotage. Whether its <a href="https://functional.cafe/tags/Lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lisp</span></a>, or <a href="https://functional.cafe/tags/AppliedCategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AppliedCategoryTheory</span></a>, MIT's manifold "private ventures" so often seem to be employed as a means to subdue and suffocate genuinely novel research currents under the ruse of increased investment, as most serious theoretical activity is more or less destined to suboptimal demand in a capitalist market</p>
Atex<p><a href="https://mathstodon.xyz/tags/Introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Introduction</span></a> <br>I am a Electrical Engineering Technician and Electrical Engineering &amp; Physics college Teacher and Trainer.<br>I am interested in <a href="https://mathstodon.xyz/tags/appliedcategorytheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>appliedcategorytheory</span></a> in relation to <a href="https://mathstodon.xyz/tags/Ai" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Ai</span></a>, <a href="https://mathstodon.xyz/tags/quantuminformationtheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>quantuminformationtheory</span></a>,<a href="https://mathstodon.xyz/tags/machinelearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>machinelearning</span></a> <a href="https://mathstodon.xyz/tags/NLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NLP</span></a> and <a href="https://mathstodon.xyz/tags/homotopytypetheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>homotopytypetheory</span></a> <a href="https://mathstodon.xyz/tags/agda" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>agda</span></a> <a href="https://mathstodon.xyz/tags/topos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>topos</span></a> in relation to <a href="https://mathstodon.xyz/tags/univalentfoundations" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>univalentfoundations</span></a></p>
Nathaniel Virgo<p><a href="https://mathstodon.xyz/tags/introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>introduction</span></a></p><p>I'm an associate professor at ELSI in Tokyo. I'm into <a href="https://mathstodon.xyz/tags/ComplexSystems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ComplexSystems</span></a>, <a href="https://mathstodon.xyz/tags/ArtificialLife" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ArtificialLife</span></a>, <a href="https://mathstodon.xyz/tags/OriginOfLife" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OriginOfLife</span></a> and <a href="https://mathstodon.xyz/tags/AppliedCategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AppliedCategoryTheory</span></a>.</p><p>Lately I'm really into the question of "what is an agent" and the foundations of Bayesian reasoning and decision making. This means my interests overlap quite a bit with the <a href="https://mathstodon.xyz/tags/aialignment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>aialignment</span></a> crowd, although my main motivation is understanding where agency came from in biology.</p>
Alexis Toumi<p><a href="https://mathstodon.xyz/tags/introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>introduction</span></a></p><p>I'm a post-doctoral at Aix-Marseille University. I just finished my PhD with the Quantum Group at the University of Oxford. I'm the main developer of DisCoPy, a Python library for computing with string diagrams.</p><p>My research focuses on the following topics:</p><p><a href="https://mathstodon.xyz/tags/QuantumComputing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>QuantumComputing</span></a><br><a href="https://mathstodon.xyz/tags/ArtificialIntelligence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ArtificialIntelligence</span></a><br><a href="https://mathstodon.xyz/tags/NaturalLanguageProcessing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NaturalLanguageProcessing</span></a> <br><a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CategoryTheory</span></a><br><a href="https://mathstodon.xyz/tags/AppliedCategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AppliedCategoryTheory</span></a></p><p><a href="https://mathstodon.xyz/tags/notwitter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>notwitter</span></a></p>