Reggio, Luca

1. Model completions for universal classes of algebras: necessary and sufficient conditions
   2021/02/02 by George Metcalfe, Luca Reggio, Metcalfe, George +1 · 2 citations
   Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Rings and Algebras (math.RA)
2. Polyadic Sets and Homomorphism Counting
   2021/10/21 by Reggio, Luca · 1 citation
   #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Rings and Algebras (math.RA)
3. Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
   2022/11/28 by Abramsky, Samson, Reggio, Luca · 1 citation
   #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)
4. An invitation to game comonads
   2024/06/30 by Abramsky, Samson, Reggio, Luca · 1 citation
   Computer Science · #Advanced Graph Theory Research #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
5. Filtral pretoposes and compact Hausdorff locales
   2023/06/19 by Célia Borlido, Panagis Karazeris, Borlido, Célia +5 · 1 citation
   Mathematics · #Advanced Topology and Set Theory