Fernando Lucatelli Nunes

1. Monoidal closure of Grothendieck constructions via Σ-tractable monoidal structures and Dialectica formulas
   2024/05/13 by Fernando Lucatelli Nunes, Matthijs Vákár, Nunes, Fernando Lucatelli +1 · 1 citation
   Engineering · Mathematics · #03B70 #03F03 #03F52 #18A22 #18A40 #18C10 #18D10 #18F10 #18N10 #68Q55 #Advanced Numerical Analysis Techniques #Category Theory (math.CT) #F.1.1 #F.3.2 #F.3.3 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #G.2.2 #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Rings, Modules, and Algebras
2. Simply Typed Reverse-Mode Automatic Differentiation with Variants: Denotational Correctness via Idempotent Completion
   2026/07/16 by Fernando Lucatelli Nunes, Diogo Simm, Matthijs Vákár
   #cs.PL #cs.LO #math.CT
3. Backpropagation for Effectful Languages I: Finite Probability and Discrete Output Algebraic Effects
   2026/07/15 by Diogo Simm, Fernando Lucatelli Nunes, Matthijs Vákár
   #cs.PL #cs.LO #math.CT #math.PR
4. From Grothendieck cofibrations to factorization systems: a formal 2-monadic account
   2026/07/30 by Fernando Lucatelli Nunes, Walter Tholen
   Mathematics · #math.CT #msc:18N15 #msc:18D30 #msc:18A32 #msc:18N10 #msc:18C15