FERNANDO LUCATELLI NUNES

Assistant Professor, Department of Mathematics, University of Coimbra
Ph.D. in Mathematics     Ph.D. in Computer Science

Selected Talks

Invited and plenary lectures

Selected invited and plenary lectures at conferences, workshops, and research programmes.

Conference talks

Selected conference and seminar-series talks, including refereed contributions.

  • 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, University of Coimbra, Portugal.
    2024
  • Free distributive and extensive categories38th Summer Conference on Topology and its Applications, University of Coimbra, Portugal.
    2024
  • Freely generated bicartesian categories and exponentialsXIV Portuguese Category Seminar, University of Coimbra, 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, University of Coimbra, Portugal.
    2022
  • Eilenberg–Moore, Kleisli and descent factorizations8th European Congress of Mathematics, University of Primorska, Slovenia.
    2021
  • Lax comma 2-categoriesXII Portuguese Category Seminar, University of Coimbra, 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, University of Coimbra, Portugal.
    2017
  • Bilimits Commutativity and Descent4th Workshop on Categorical Methods in Non-Abelian Algebra, University of Coimbra, Portugal.
    2016
  • Kan extensions and descent theoryInternational Conference on Category Theory 2015, University of Aveiro, Portugal.
    2015

Invited one-hour seminar talks

Selected longer seminar talks at departments and research groups.

  • 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, University of Coimbra, Portugal.
    2024
  • Descent for Split FibrationsAlgebra, Logic and Topology Seminar, University of Coimbra, Portugal.
    2022
  • Automatic differentiation of expressive total functional languagesSoftware Technology Group Seminar, Utrecht University, Netherlands.
    2021
  • On monadicity and descentSeminar of the Category Theory Group, University of Coimbra, Portugal.
    2019
  • Functorial Semantics and Descent IIAlgebra, Logic and Topology Seminar, University of Coimbra, Portugal.
    2019
  • Functorial Semantics and DescentAlgebra, Logic and Topology Seminar, University of Coimbra, Portugal.
    2018
  • Biadjoint Triangles and ApplicationsAlgebra, Logic and Topology Seminar, University of Coimbra, Portugal.
    2018
  • Towards semi left exactness and Janelidze–Galois within the lax idempotent contextAlgebra, Logic and Topology Seminar, University of Coimbra, Portugal.
    2018
  • The deficiency of categoriesAlgebra, Logic and Topology Seminar, University of Coimbra, Portugal.
    2016
  • Biadjoint triangles, descent and coherenceAlgebra, Logic and Topology Seminar, University of Coimbra, Portugal.
    2015
  • Kan construction of adjunctionsResearch Seminar Program, Universidade do Porto, Portugal.
    2016
  • Homotopy ExcisionResearch Seminar Program, University of Coimbra, Portugal.
    2016
  • Every prespectrum represents a homology theoryJoint Ph.D. Program UC–UP Seminar, University of Coimbra, 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

For the complete record of talks and academic activities, please see my Curriculum Vitae.