Overview
Syllabus
Intro
The defect of a covariant f.p. functor
The defect of a contravariant f.p. functor
The defect of a covariant additive functor
The defect of a contravariant additive functor
Questions
Outline of the results
Conventions
Main tools
Definition of profunctor
Examples of profunctors
Composition of profunctors
Triangle of profunctors
Bitensored category
The Yoneda and coYoneda lemmas
Defects of a profunctor
Adjunctions for defects
The contravariant defect of a f.p. functor (revisited)
The contravariant defect of an additive functor (revisited)
The covariant defect of an additive functor (revisited)
Isbell duality interchanges representable functors
Isbell duals for profunctors
Isbell duals factor through defects
Equipment
Defects are adjoint to Yoneda embeddings
Taught by
Topos Institute