← Feed

Posts

• View post

  My Topos Institute Berkeley Seminar talk "Synthetic Mathematics, Logical Frameworks & Categorical Algebra" that I gave during my internship there this Summer is now up on YouTube! Check it out: https://youtu.be/MjkWT6GkISI

• View post

  the set of all sets be like: “do i contradict myself? very well, i contradict myself. i am large. i contain multitudes.”

• View post

  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!

• View post

• View post

  New preprint up on arXiv, joint with @chrisamaphone and Frank Pfenning — Substructural Parametricity! https://arxiv.org/abs/2503.03153

• View post

  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:

• View post

  i am updating my priors. pray i do not update them further.

• View post

  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've been watching much of the recent work on "synthetic algebraic geometry&quot...

• View post

  Hyperdoctrine? I hardly know ‘er doctrine!

• View post

  coimage of a map in an exact sequence: i'm going to become the coker