mastodontech.de ist einer von vielen unabhängigen Mastodon-Servern, mit dem du dich im Fediverse beteiligen kannst.
Offen für alle (über 16) und bereitgestellt von Markus'Blog

Serverstatistik:

1,4 Tsd.
aktive Profile

#categorytheory

1 Beitrag1 Beteiligte*r0 Beiträge heute
JordiGH<p>Furthermore, there is a natural transformation into</p><p>𝐶 → 𝐶++ <br>↓ ↓<br>ObjC → ObjC++</p><p><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/WeAreAllWaluigi" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WeAreAllWaluigi</span></a></p>
Jencel Panic<p>Category theorists: “The Yoneda lemma is simple!”<br>The Yoneda lemma:</p><p><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/categorytheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categorytheory</span></a></p>
RanaldClouston<p>A blog post about Mac Lane and Moerdijk's impressive (though still small compared to The Elephant!) tome on topos theory <a href="https://blogs.fediscience.org/the-updated-scholar/2025/09/03/discussing-sheaves-in-geometry-and-logic/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blogs.fediscience.org/the-upda</span><span class="invisible">ted-scholar/2025/09/03/discussing-sheaves-in-geometry-and-logic/</span></a> <a href="https://fediscience.org/tags/categoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categoryTheory</span></a> <a href="https://fediscience.org/tags/blog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>blog</span></a></p>
José A. Alonso<p>Readings shared September 2, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/09/03-readings_shared_09-02-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/09/03-readings_shared_09-02-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/CoqProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CoqProver</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/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>Aspects of category theory in proof assistants. ~ Luc Chabassier. <a href="https://theses.hal.science/tel-05229403v1" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">theses.hal.science/tel-0522940</span><span class="invisible">3v1</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/CoqProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CoqProver</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 August 27, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/08/28-readings_shared_08-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/08/28-readings_shared_08-27-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/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>Basic category theory. ~ Tom Leinster. <a href="https://arxiv.org/abs/1612.09375" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/1612.09375</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/eBook" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>eBook</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a></p>
Mark Dominus<p>Aha! Wish I'd thought of this before, it's the exact same idea but in a simpler version. It's the usual definition for an exponential object \( Z^Y\) in a category, except instead of considering arrows \( g': X\to Z^Y \) in general, we consider only the case \( X=1 \).</p><p>Easier to get my head around as a halfway step toward the full definition.</p><p><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 August 10, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/08/11-readings_shared_08-10-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/08/11-readings_shared_08-10-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/CoqProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CoqProver</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/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a></p>
José A. Alonso<p>The graphical theory of monads. ~ Ralf Hinze, Dan Marsden. <a href="https://www.cambridge.org/core/journals/journal-of-functional-programming/article/graphical-theory-of-monads/15AD68F2BC02195A7A2F16075BF0A44D" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">cambridge.org/core/journals/jo</span><span class="invisible">urnal-of-functional-programming/article/graphical-theory-of-monads/15AD68F2BC02195A7A2F16075BF0A44D</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a></p>
Dr. Chris Rackauckas :julia:<p><a href="https://fosstodon.org/tags/Julialang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Julialang</span></a> Dispatch: we welcome Jacob Zelko, who takes us on a fascinating journey from his early days as a <a href="https://fosstodon.org/tags/biomedical" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>biomedical</span></a> engineering student through his work at the CDC during the COVID-19 pandemic, and into his current exploration of applied <a href="https://fosstodon.org/tags/categorytheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categorytheory</span></a>.</p><p><a href="https://www.youtube.com/watch?v=HyMp1nLAHCQ" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=HyMp1nLAHCQ</span><span class="invisible"></span></a></p>
Andrew Stacey (he/him)<p>If the storm - or the cricket - is keeping you indoors and you just feel the need to read something about addition to take your mind off things ... I may have just what you're looking for.</p><p><a href="https://loopspace.mathforge.org/CountingOnMyFingers/InterpretingAddition/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">loopspace.mathforge.org/Counti</span><span class="invisible">ngOnMyFingers/InterpretingAddition/</span></a></p><p><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></p>
Ryan<p>🚩 New preprint</p><p>We model open strings with internal defects as stratified manifolds, using bimodules and factorization algebras to generalize Chan–Paton factors. The result: suppressed entanglement, braided statistics, and epistemic obstructions in nonperturbative anyon regimes.</p><p><a href="https://www.authorea.com/users/854182/articles/1321147-phenomenology-of-chan-paton-defects-on-open-strings" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">authorea.com/users/854182/arti</span><span class="invisible">cles/1321147-phenomenology-of-chan-paton-defects-on-open-strings</span></a></p><p>Keywords: <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/Mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathematics</span></a> <a href="https://mastodon.social/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mastodon.social/tags/Physics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Physics</span></a> <a href="https://mastodon.social/tags/StringTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>StringTheory</span></a> <a href="https://mastodon.social/tags/Epistemology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Epistemology</span></a> <a href="https://mastodon.social/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a></p>
lxsameer<p>Studying <a href="https://mastodon.social/tags/categorytheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categorytheory</span></a> brings me more joy than <a href="https://mastodon.social/tags/typetheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>typetheory</span></a>. 🤷</p>
Sjoerd Visscher<p>I believe proarrow equipments are a great setting to study optics in. You can see the expression for optics and the equivalent string diagram below.</p><p>The string diagram even looks like it's just a schematic drawing of an optic, but it really contains all the required information! The arrow heads indicate that s, t, a and b are all tight arrows, but in the loose direction.</p><p>If you specialize to the proarrow equipment of functors and profunctors and simplify, you get the final expression. And if you then make S and T constant functors, and A and B monoidal actions, you get back mixed optics.</p><p><a href="https://types.pl/tags/categorytheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categorytheory</span></a> <a href="https://types.pl/tags/optics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>optics</span></a></p>
Teixi<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@FrohlichMarcel" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>FrohlichMarcel</span></a></span> </p><p>Oh là là just dropped:<br>2.5 hour "Introduction To Category Theory"<br>by Richard Southwell<br><a href="https://youtu.be/H32kyA4BMz4" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/H32kyA4BMz4</span><span class="invisible"></span></a></p><p><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/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a> <a href="https://mastodon.social/tags/ZuriHac" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ZuriHac</span></a> <a href="https://mastodon.social/tags/ZuriHac2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ZuriHac2025</span></a> <a href="https://mastodon.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogramming</span></a></p><p>HT <span class="h-card" translate="no"><a href="https://fosstodon.org/@zurihac" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>zurihac</span></a></span></p>
José A. Alonso<p>Readings shared July 4, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/05-readings_shared_07-04-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/07/05-readings_shared_07-04-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/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/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/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</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>Category theory: Introducing the perfect language. ~ Richard Southwell <a href="https://youtu.be/H32kyA4BMz4" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/H32kyA4BMz4</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a></p>
Jencel Panic<p>And one more <a href="https://mathstodon.xyz/tags/categorytheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categorytheory</span></a> book, this one is targeted at engineers:</p><p><a href="https://applied-compositional-thinking.engineering/act4e-materials/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">applied-compositional-thinking</span><span class="invisible">.engineering/act4e-materials/</span></a></p><p><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a></p>
José A. Alonso<p>Readings shared June 27, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/06/28-readings_shared_06-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/06/28-readings_shared_06-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/AI4Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI4Math</span></a> <a href="https://mathstodon.xyz/tags/Autoformalization" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Autoformalization</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/CompSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CompSci</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/Mizar" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mizar</span></a></p>