Available identifiers
zbMath Open lucatelli-nunes.fernando MaRDI QID Q1732880
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv . We are working on additional sources - please check back here soon!
Publication Date of Publication Type Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent 2024-06-08 Paper 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 N/A Paper Free extensivity via distributivity N/A Paper Lax comma categories: cartesian closedness, extensivity, topologicity, and descent N/A Paper
Research outcomes over time
This page was built for person: Fernando Lucatelli Nunes