Fernando Lucatelli Nunes

Available identifiers

Publication	Date of Publication	Type
CHAD for expressive total languages	2024-03-05	Paper
Lax comma categories of ordered sets	2023-11-16	Paper
Generalized multicategories: change-of-base, embedding, and descent	2023-09-14	Paper
Cauchy completeness, lax epimorphisms and effective descent for split fibrations	2023-09-01	Paper
Descent for internal multicategory functors	2023-02-01	Paper
Semantic factorization and descent	2022-12-08	Paper
Logical Relations for Partial Features and Automatic Differentiation Correctness	2022-10-16	Paper
On lax epimorphisms and the associated factorization	2022-07-19	Paper
Descent Data and Absolute Kan Extensions	2021-06-21	Paper
Lax comma $2$-categories and admissible $2$-functors	2020-02-08	Paper
Pseudoalgebras and non-canonical isomorphisms	2019-03-25	Paper
On lifting of biadjoints and lax algebras	2018-11-02	Paper
Pseudo-Kan Extensions and Descent Theory	2018-06-07	Paper
Pseudomonads and Descent, PhD Thesis (Chapter 1)	2018-02-05	Paper
Freely generated $n$-categories, coinserters and presentations of low dimensional categories	2017-04-14	Paper
On biadjoint triangles	2016-05-26	Paper
Free Doubly-Infinitary Distributive Categories are Cartesian Closed	0001-01-03	Paper
Free extensivity via distributivity	0001-01-03	Paper
Lax comma categories: cartesian closedness, extensivity, topologicity, and descent	0001-01-03	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Fernando Lucatelli Nunes