1 citations
- Radboud University Medical CenterNL7 papers
- Radboud University NijmegenNL7 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Korea Astronomy and Space Science InstituteKR3 papers
- Leiden UniversityNL3 papers
- University College LondonGB3 papers
- University of AmsterdamNL3 papers
- Aalto UniversityFI2 papers
- Academy of AthensGR2 papers
- Applied Materials (Germany)DE2 papers
- Applied Mathematics (United States)US2 papers
- Astro-Med (United States)US2 papers
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Univalent Enriched Categories and the Enriched Rezk Completion
Niels van der Weide
Enriched categories are categories whose sets of morphisms are enriched with extra structure. Such categories play a prominent role in the study of higher categories, homotopy theo…
cs.LO2026
Initial Algebras of Domains via Quotient Inductive-Inductive Types
Simcha van Collem, Niels van der Weide, Herman Geuvers
Domain theory has been developed as a mathematical theory of computation and to give a denotational semantics to programming languages. It helps us to fix the meaning of language c…