Pseudo-Kan extensions and descent theory F Lucatelli Nunes
Theory and Applications of Categories 33 (15), 390-444, 2018
31 * 2018 On biadjoint triangles F Lucatelli Nunes
Theory and Applications of Categories 31 (9), 217-256, 2016
27 * 2016 On lifting of biadjoints and lax algebras F Lucatelli Nunes
CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS 9 (1), 29-58, 2018
20 * 2018 Lax comma MM Clementino, F Lucatelli Nunes
arXiv preprint arXiv:2002.03132, 2020
9 2020 Pseudoalgebras and non-canonical isomorphisms F Lucatelli Nunes
Applied Categorical Structures 27 (1), 55-63, 2019
9 2019 On lax epimorphisms and the associated factorization F Lucatelli Nunes, L Sousa
Journal of Pure and Applied Algebra 226 (12), 2022
7 2022 Descent Data and Absolute Kan Extensions F Lucatelli Nunes
Theory and Applications of Categories 37 (18), pp 530-561, 2021
7 * 2021 CHAD for Expressive Total Languages F Lucatelli Nunes, M Vákár
arXiv preprint, arXiv:2110.00446, 2021
6 * 2021 Semantic Factorization and Descent F Lucatelli Nunes
arXiv preprint arXiv:1902.01225, 2019
6 2019 Pseudomonads and Descent F Lucatelli Nunes
00500:: Universidade de Coimbra, 2018
6 * 2018 Descent for internal multicategory functors R Prezado, FL Nunes
Applied Categorical Structures 31 (1), 11, 2023
4 2023 Freely generated F Lucatelli Nunes
arXiv preprint arXiv:1704.04474, 2017
3 2017 Lax comma categories of ordered sets MM Clementino, FL Nunes
Quaestiones Mathematicae 46 (sup1), 145-159, 2023
1 2023 Cauchy Completeness, Lax Epimorphisms and Effective Descent for Split Fibrations F Lucatelli Nunes, R Prezado, L Sousa
1 2023 Free Doubly-Infinitary Distributive Categories are Cartesian Closed FL Nunes, M Vákár
arXiv preprint arXiv:2403.10447, 2024
2024 Free Doubly-Infinitary Distributive Categories are Cartesian Closed F Lucatelli Nunes, M Vákár
arXiv e-prints, arXiv: 2403.10447, 2024
2024 Generalized multicategories: change-of-base, embedding, and descent R Prezado, FL Nunes
arXiv preprint arXiv:2309.08084, 2023
2023 Logical Relations for Partial Features and Automatic Differentiation Correctness FL Nunes, M Vákár
arXiv preprint arXiv:2210.08530, 2022
2022 Automatic Differentiation for ML-family languages: correctness via logical relations FL Nunes, M Vákár
arXiv preprint arXiv:2210.07724, 2022
2022 Elementary introduction to pasting F Lucatelli Nunes
Handbook of the 6th World Congress and School on Universal Logic, 370, 2018
2018 
Matthijs VákárAssistant Professor, Utrecht UniversityBestätigte E-Mail-Adresse bei uu.nl
