Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Anthony Agwu

Original record
Institution
The Johns Hopkins University
Year
2025
Country
United States
MGP identifier
345590

Dissertation: A Model of Type Theory in Groupoid Assemblies

Mathematics Subject Classification: 18—Category theory, homological algebra

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy