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 -categories and admissible -functors 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 -categories, coinserters and presentations of low dimensional categories 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 |