Fernando Lucatelli Nunes

Ph.D. in Mathematics Ph.D. in Computer Science (to be awarded in 2026)

Selected Talks

Invited and plenary lectures

  • Mac Lane strictification in situ Invited lecture, CatAlg 2026, UNIMONT Campus of the University of Milan, Edolo, Italy, 2 July 2026. Joint work with Paul B. Levy.
    2026
  • Beyond Mac Lane Strictification Invited lecture, 2nd Joint Meeting Brazil–Italy in Mathematics, University of Messina, Messina, Italy. To be held in September 2026.
    2026
  • A Generalization of the Eilenberg–Moore Factorization Invited lecture, Itaca Fest 2026, Italy.
    2026
  • A Categorical Approach to Semantic Logical Relations for Partial Features and Recursive Types Invited lecture, New Challenges in Programming Language Semantics, Lorentz Center, Leiden, The Netherlands.
    2022
  • Aspects of Descent via Bilimits Plenary lecture, International Conference on Category Theory 2018, University of the Azores, Portugal.
    2018

Conference talks

  • The semantic lax descent factorization of a functor109th Peripatetic Seminar on Sheaves and Logic, Leiden University, The Netherlands.
    2024
  • Doubly-infinitary distributive categoriesInternational Conference in Category Theory 2024, University of Santiago de Compostela, Spain.
    2024
  • Homomorphic reverse differentiation for partial featuresSUMTOPO 2024, Topology and Logic in Computer Science, Portugal.
    2024
  • Free distributive and extensive categories38th Summer Conference on Topology and its Applications, Portugal.
    2024
  • Freely generated bicartesian categories and exponentialsXIV Portuguese Category Seminar, Portugal.
    2023
  • Spanning the tale of “Monades et descente”International Conference in Category Theory 2023, Université catholique de Louvain, Belgium.
    2023
  • CHAD: elementary categorical aspects of automatic differentiationXIII Portuguese Category Seminar, Portugal.
    2022
  • Eilenberg–Moore, Kleisli and descent factorizations8th European Congress of Mathematics, University of Primorska, Slovenia.
    2021
  • Lax comma 2-categoriesXII Portuguese Category Seminar, Portugal.
    2019
  • Descent and MonadicityInternational Conference on Category Theory 2019, University of Edinburgh, Scotland.
    2019
  • Eilenberg–Moore, Kleisli and descent factorizationCategorical Structures in Algebra, Topology and Logic, Stellenbosch University, South Africa.
    2019
  • Biadjoint Triangles and Applications103rd Peripatetic Seminar on Sheaves and Logic, Masaryk University, Brno, Czech Republic.
    2018
  • Non-canonical isomorphisms102nd Peripatetic Seminar on Sheaves and Logic, Universidade de Santiago de Compostela, Spain.
    2018
  • Biadjoint Triangles5th Workshop on Categorical Methods in Non-Abelian Algebra, Université catholique de Louvain, Belgium.
    2017
  • Freely generated n-categories and coinsertersXI Portuguese Category Seminar, Portugal.
    2017
  • Bilimits Commutativity and Descent4th Workshop on Categorical Methods in Non-Abelian Algebra, Portugal.
    2016
  • Kan extensions and descent theoryInternational Conference on Category Theory 2015, University of Aveiro, Portugal.
    2015

Invited one-hour seminar talks

  • Eilenberg–Moore, Kleisli, and Descent FactorizationsTheory of Computation Seminar, University of Birmingham, UK.
    2026
  • Biadjoint Triangles and CoherenceAlgebra Seminar, IMPA, Brazil.
    2025
  • Bifibrations, Spans, and the Bénabou–Roubaud TheoremCategory Theory Seminar, University of Cape Town, South Africa.
    2025
  • Two-dimensional monad theory, pseudodistributive laws, and doubly-infinitary distributive and extensive categories as pseudoalgebrasCategory Theory Seminar, Stellenbosch University, South Africa.
    2025
  • Two-dimensional monad theory, and free extensive completionsCategory Theory Seminar, University of Cape Town, South Africa.
    2025
  • Unraveling the iterative CHADAlgebra, Logic and Topology Seminar, Portugal.
    2024
  • Descent for Split FibrationsAlgebra, Logic and Topology Seminar, Portugal.
    2022
  • Automatic differentiation of expressive total functional languagesSoftware Technology Group Seminar, Utrecht University, Netherlands.
    2021
  • On monadicity and descentCategory Theory Seminar, Portugal.
    2019
  • Functorial Semantics and Descent IIAlgebra, Logic and Topology Seminar, Portugal.
    2019
  • Functorial Semantics and DescentAlgebra, Logic and Topology Seminar, Portugal.
    2018
  • Biadjoint Triangles and ApplicationsAlgebra, Logic and Topology Seminar, Portugal.
    2018
  • Towards semi left exactness and Janelidze–Galois within the lax idempotent contextAlgebra, Logic and Topology Seminar, Portugal.
    2018
  • The deficiency of categoriesAlgebra, Logic and Topology Seminar, Portugal.
    2016
  • Biadjoint triangles, descent and coherenceAlgebra, Logic and Topology Seminar, Portugal.
    2015
  • Kan construction of adjunctionsResearch Seminar Program, Universidade do Porto, Portugal.
    2016
  • Homotopy ExcisionResearch Seminar Programme, Portugal.
    2016
  • Every prespectrum represents a homology theoryJoint Ph.D. Programme Seminar, Portugal.
    2013
  • Topological Dynamics and Applications in Number TheoryMath Seminar, Universidade de Brasília, Brazil; in Portuguese.
    2010
  • Dynamical Proof of the Van der Waerden TheoremMath Seminar, Universidade de Brasília, Brazil; in Portuguese.
    2010

Workshop talks

  • Homomorphic Reverse Differentiation of Iteration LAFI 2024, Tenth Workshop on Languages for Inference at POPL, London, UK.
    2024