Pseudo-Kan extensions and descent theory F Lucatelli Nunes
Theory and Applications of Categories 33 (15), 390-444, 2018
33 * 2018 On biadjoint triangles F Lucatelli Nunes
Theory and Applications of Categories 31 (9), 217-256, 2016
31 * 2016 On lifting of biadjoints and lax algebras F Lucatelli Nunes
CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS 9 (1), 29-58, 2018
23 * 2018 Lax comma -categories and admissible -functors MM Clementino, F Lucatelli Nunes
arXiv preprint arXiv:2002.03132, 2020
11 2020 Pseudoalgebras and non-canonical isomorphisms F Lucatelli Nunes
Applied Categorical Structures 27 (1), 55-63, 2019
11 2019 Descent Data and Absolute Kan Extensions F Lucatelli Nunes
Theory and Applications of Categories 37 (18), pp 530-561, 2021
10 * 2021 CHAD for Expressive Total Languages F Lucatelli Nunes, M Vákár
arXiv preprint, arXiv:2110.00446, 2021
9 * 2021 On lax epimorphisms and the associated factorization F Lucatelli Nunes, L Sousa
Journal of Pure and Applied Algebra 226 (12), 2022
8 2022 Semantic Factorization and Descent F Lucatelli Nunes
arXiv preprint arXiv:1902.01225, 2019
8 2019 Pseudomonads and Descent F Lucatelli Nunes
00500:: Universidade de Coimbra, 2018
8 * 2018 Descent for internal multicategory functors R Prezado, FL Nunes
Applied Categorical Structures 31 (1), 11, 2023
6 2023 Freely generated -categories, coinserters and presentations of low dimensional categories F Lucatelli Nunes
arXiv preprint arXiv:1704.04474, 2017
3 2017 Free Doubly-Infinitary Distributive Categories are Cartesian Closed FL Nunes, M Vákár
arXiv preprint arXiv:2403.10447, 2024
2 2024 Lax comma categories of ordered sets MM Clementino, FL Nunes
Quaestiones Mathematicae 46 (sup1), 145-159, 2023
2 2023 Generalized multicategories: change-of-base, embedding, and descent R Prezado, FL Nunes
arXiv preprint arXiv:2309.08084, 2023
2 2023 Cauchy Completeness, Lax Epimorphisms and Effective Descent for Split Fibrations F Lucatelli Nunes, R Prezado, L Sousa
2 2023 Lax comma categories: cartesian closedness, extensivity, topologicity, and descent MM Clementino, FL Nunes, R Prezado
arXiv preprint arXiv:2405.03773, 2024
1 2024 Free extensivity via distributivity FL Nunes, R Prezado, M Vákár
arXiv preprint arXiv:2405.02185, 2024
1 2024 Monoidal closure of Grothendieck constructions via -tractible monoidal structures and Dialectica formulas FL Nunes, M Vákár
arXiv preprint arXiv:2405.07724, 2024
2024 Monoidal closure of Grothendieck constructions via -tractible monoidal structures and Dialectica formulas F Lucatelli Nunes, M Vákár
arXiv e-prints, arXiv: 2405.07724, 2024
2024