6 citations · 12 across the 5 of their papers we have counts for
13 papers
From Grothendieck cofibrations to factorization systems: a formal 2-monadic account
Fernando Lucatelli Nunes, Walter Tholen
Grothendieck cofibrations describe transport in a category varying over a base, while factorization systems organize the arrows of a category into two complementary classes. We giv…
Lax comma categories of ordered sets
Maria Manuel Clementino, Fernando Lucatelli Nunes
Let be the category of (pre)ordered sets. Unlike , whose behaviour is well-known, not much can be found in the literature about the lax comma 2-cate…
Logical Relations for Partial Features and Automatic Differentiation Correctness
Fernando Lucatelli Nunes, Matthijs Vákár
We present a simple technique for semantic, open logical relations arguments about languages with recursive types, which, as we show, follows from a principled foundation in catego…
Cauchy Completeness, Lax Epimorphisms and Effective Descent for Split Fibrations
Fernando Lucatelli Nunes, Rui Prezado, Lurdes Sousa
For any suitable base category , we find that -fully faithful lax epimorphisms in - are precisely those -funct…
Descent for internal multicategory functors
Rui Prezado, Fernando Lucatelli Nunes
We give sufficient conditions for effective descent in categories of (generalized) internal multicategories. Two approaches to study effective descent morphisms are pursued. The fi…
CHAD for Expressive Total Languages
Fernando Lucatelli Nunes, Matthijs Vákár
We show how to apply forward and reverse mode Combinatory Homomorphic Automatic Differentiation (CHAD) to total functional programming languages with expressive type systems featur…