Fernando Lucatelli Nunes
AuthID: R-004-SDH
1
TITLE: Free extensivity via distributivity
AUTHORS: Nunes, Fernando Lucatelli; Prezado, Rui; Vakar, Matthijs;
PUBLISHED: 2025, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 82, ISSUE: 1-2
AUTHORS: Nunes, Fernando Lucatelli; Prezado, Rui; Vakar, Matthijs;
PUBLISHED: 2025, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 82, ISSUE: 1-2
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: LAX COMMA CATEGORIES: CARTESIAN CLOSEDNESS, EXTENSIVITY, TOPOLOGICITY, AND DESCENT Full Text
AUTHORS: Clementino, Maria Manuel; Nunes, Fernando Lucatelli; Prezado, Rui;
PUBLISHED: 2024, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 41
AUTHORS: Clementino, Maria Manuel; Nunes, Fernando Lucatelli; Prezado, Rui;
PUBLISHED: 2024, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 41
INDEXED IN: Scopus WOS
Scopus WOS3
TITLE: Automatic differentiation for ML-family languages: Correctness via logical relations
AUTHORS: Nunes, Fernando Lucatelli; Vakar, Matthijs;
PUBLISHED: 2024, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
AUTHORS: Nunes, Fernando Lucatelli; Vakar, Matthijs;
PUBLISHED: 2024, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: LAX COMMA 2-CATEGORIES AND ADMISSIBLE 2-FUNCTORS In memory of Marta Bunge
AUTHORS: Clementino, Maria Manuel; Nunes, Fernando Lucatelli;
PUBLISHED: 2024, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 40
AUTHORS: Clementino, Maria Manuel; Nunes, Fernando Lucatelli;
PUBLISHED: 2024, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 40
INDEXED IN: WOS
WOS5
TITLE: Generalized Multicategories: Change-of-Base, Embedding, and Descent
AUTHORS: Prezado, Rui; Nunes, Fernando Lucatelli;
PUBLISHED: 2024, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 32, ISSUE: 6
AUTHORS: Prezado, Rui; Nunes, Fernando Lucatelli;
PUBLISHED: 2024, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 32, ISSUE: 6
INDEXED IN: WOS
WOS6
TITLE: LAX COMMA 2-CATEGORIES AND ADMISSIBLE 2-FUNCTORS Full Text
AUTHORS: Maria Manuel Clementino; Fernando Lucatelli Nunes;
PUBLISHED: 2024, SOURCE: Theory and Applications of Categories, VOLUME: 40, ISSUE: 6
AUTHORS: Maria Manuel Clementino; Fernando Lucatelli Nunes;
PUBLISHED: 2024, SOURCE: Theory and Applications of Categories, VOLUME: 40, ISSUE: 6
INDEXED IN: Scopus
Scopus7
TITLE: Descent for internal multicategory functors Full Text
AUTHORS: Prezado, Rui; Nunes, Fernando Lucatelli;
PUBLISHED: 2023, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 31, ISSUE: 1
AUTHORS: Prezado, Rui; Nunes, Fernando Lucatelli;
PUBLISHED: 2023, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 31, ISSUE: 1
INDEXED IN: Scopus WOS
Scopus WOS8
TITLE: Semantic Factorization and Descent Full Text
AUTHORS: Nunes, Fernando Lucatelli;
PUBLISHED: 2022, SOURCE: APPLIED CATEGORICAL STRUCTURES
AUTHORS: Nunes, Fernando Lucatelli;
PUBLISHED: 2022, SOURCE: APPLIED CATEGORICAL STRUCTURES
INDEXED IN: Scopus WOS
Scopus WOS9
TITLE: Pseudoalgebras and Non-canonical Isomorphisms Full Text
AUTHORS: Fernando Lucatelli Nunes;
PUBLISHED: 2019, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 27, ISSUE: 1
AUTHORS: Fernando Lucatelli Nunes;
PUBLISHED: 2019, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 27, ISSUE: 1
INDEXED IN: Scopus WOS
Scopus WOS