From the 4 of 125 papers with an AI index.
113 citations
- National Institute for Subatomic PhysicsNL36 papers
- Université Paris-SaclayFR27 papers
- Centre National de la Recherche ScientifiqueFR26 papers
- University of BirminghamGB26 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di BolognaIT25 papers
- Université de StrasbourgFR25 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di TorinoIT24 papers
- University of CopenhagenDK24 papers
- HUN-REN Wigner Research Centre for PhysicsHU23 papers
- The University of TokyoJP23 papers
- Heidelberg UniversityDE22 papers
- Indian Institute of Technology BombayIN22 papers
3 papers · 1 filter
Free Doubly-Infinitary Distributive Categories are Cartesian Closed
Fernando Lucatelli Nunes, Matthijs Vákár, Matthijs Vákár
We study the composite free completion Dist(C) := Fam(Fam(C^op)^op), obtained by first freely adjoining small products and then freely adjoining small coproducts. A natural pseudod…
Comparing semantic frameworks for dependently-sorted algebraic theories
Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North
Algebraic theories with dependency between sorts form the structural core of Martin-Löf type theory and similar systems. Their denotational semantics are typically studied using c…
Functoriality of Enriched Data Types
Lukas Mulder, Paige Randall North, Maximilien Péroux
In previous work, categories of algebras of endofunctors were shown to be enriched in categories of coalgebras of the same endofunctor, and the extra structure of that enrichment w…