Maietti, Maria Emilia
- Elementary quotient completion
2012/06/01 by Maria Emilia Maietti, Giuseppe Rosolini, Maietti, Maria Emilia +1 · 3 citations
Computer Science · Mathematics · #03B15 #03B20 #03F55 #03G30 #18C50 #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Quotient completion for the foundation of constructive mathematics
2012/02/05 by Maietti, Maria Emilia, Rosolini, Giuseppe · 2 citations
#03F50 #03G30 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)
- Unifying exact completions
2012/12/05 by Maria Emilia Maietti, Maietti, Maria Emilia, Giuseppe Rosolini +1 · 2 citations
Mathematics · Medicine · #Homotopy and Cohomology in Algebraic Topology #Advanced Topics in Algebra #Ophthalmology and Eye Disorders
- A predicative variant of Hyland's Effective Topos
2018/06/22 by Maietti, Maria Emilia, Maschio, Samuele · 1 citation
#03D70 #03F50 #18C99 #18D30 #FOS: Mathematics #Logic (math.LO)