Benno van den Berg

1. Path categories and propositional identity types
   2016/04/20 by Benno van den Berg, Berg, Benno van den · 1 citation
   Computer Science · Mathematics · #03F50 #03G30 #18C50 #18G55 #68N18 #68Q55 #Category Theory (math.CT) #F.4.1 #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Examples and cofibrant generation of effective Kan fibrations
   2024/02/16 by Benno van den Berg, Freek Geerligs, Berg, Benno van den +1 · 1 citation
   Medicine · #18A32 #18N50 #55U10 #Algebraic Topology (math.AT) #Bone health and treatments #Category Theory (math.CT) #FOS: Mathematics #Peptidase Inhibition and Analysis
3. Initial algebras from constructive ordinals
   2026/07/28 by Benno van den Berg
   #math.LO