home.social

#categorytheory — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #categorytheory, aggregated by home.social.

  1. José A. Alonso @[email protected] ·

    Readings shared June 9, 2025. jaalonso.github.io/vestigium/p #AI #AIforMath #CategoryTheory #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #Rust

    #rust #prolog #math #logicprogramming #logic #leanprover
  2. Joana de Castro Arnaud @[email protected] ·
    CW: Interesses / Interests - Hashtags, part 1

    #programação #programming #JavaScript #Python #compilador #interpretador #compiler #interpreter #typetheory #softwaredesign

    #matemática #mathematics #math #TeoriaDasCategorias #Lógica #Fundações #Metamatemática #Googologia #categorytheory #logic #foundations #metamathematics #googology

    #googology #metamathematics #foundations #logic #categorytheory #googologia