When is Existential Quantification Conservative?

2009/06/25 by Brian Day, Day, Brian
Mathematics · #18D10 #Category Theory (math.CT) #FOS: Mathematics #math.CT #msc:18D10

paper · pdf · doi:10.48550/arxiv.0906.4594

arxiv created 2009/06/25 · arxiv updated 2009/12/01

Abstract

We describe a sufficient condition for the process of left Kan extension to be a conservative functor. This is useful in the study of graphic Fourier transforms and quantum categories and groupoids.

Related

• Monoidal functor categories and graphic Fourier transforms
• Conservative Extensions for Existential Rules
• Quantization as a Categorical Equivalence
• Optimisation Abstraite
• Imaginaries and invariant types in existentially closed valued\n differential fields