C.B. Aberlé

cbaberle@mathstodon.xyz

<p>Corinthia Beatrix Aberlé. Aspiring logician. PhD student in CS/Pure and Applied Logic at Carnegie Mellon University. she/her</p>

Posts

Post #2481107
My Topos Institute Berkeley Seminar talk &quot;Synthetic Mathematics, Logical Frameworks &amp; Categorical Algebra&quot; that I gave during my internship there this Summer is now up on YouTube! Check it out: https://youtu.be/MjkWT6GkISI
Post #1849436
the set of all sets be like: “do i contradict myself? very well, i contradict myself. i am large. i contain multitudes.”
Post #1506864
RE: https://mathstodon.xyz/@mc/116430700415045666 Just watched this video all the way through, and it does a very good job of capturing my general thoughts on AI and the discourse around it. Highly recommend to those who have the time/interest to watch! Thanks @mc for the recommendation!
Post #1506863
Post #1125810
New preprint up on arXiv, joint with @chrisamaphone and Frank Pfenning — Substructural Parametricity! https://arxiv.org/abs/2503.03153
Post #1005989
RE: https://mastoxiv.page/@arXiv_csLO_bot/116339696722708806 New preprint up on the arXiv, applying the theory of polynomial functors in dependent type theory to program verification:
Post #1005988
i am updating my priors. pray i do not update them further.
Post #839262
New blog post up on my website: How Algebraic is Algebraic Geometry? https://cbaberle.com/Blog/How+Algebraic+is+Algebraic+Geometry%3F This post was the result of me trying to wrap my head around some of the central concepts of modern algebraic geometry and its generalizations from the perspective of someone more at home in type theory, category theory, programming languages, etc. In particular, I&#39;ve been watching much of the recent work on &quot;synthetic algebraic geometry&quot...
Post #839261
Hyperdoctrine? I hardly know ‘er doctrine!
Post #839259
coimage of a map in an exact sequence: i&#39;m going to become the coker