When is Existential Quantification Conservative?
Brian Day
TL;DR
This paper presents a sufficient condition under which left Kan extension acts as a conservative functor, aiding the study of graphic Fourier transforms and quantum categories.
Contribution
It introduces a new criterion for the conservativity of left Kan extension, advancing understanding in category theory applications.
Findings
Provides a sufficient condition for conservativity
Applies to graphic Fourier transforms and quantum categories
Enhances theoretical understanding of functor properties
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Algebraic structures and combinatorial models · Advanced Operator Algebra Research