Summary of George Wilson - The Extended Functor Family

00:00:00 - 00:20:00

George Wilson discusses the extended functor family, which includes functors, applicative functors, and monads. He explains that a functor is a type of object that maps one set of objects to another, while a contravariant functor is a type of object that consumes objects. He also introduces the concept of pro functors, which are a sub-type of functors that allow for linear time sorting of objects.

• 00:00:00 George Wilson discusses the extended functor family, which includes functors, applicative functors, and monads. He mentions that functors are a type class, and that there are laws that functors obey. He also introduces the cryptic Pair functor, which pairs a function with a value. He goes on to discuss other functors, including a composition functor and a group functor. He concludes the talk by talking about how to create a new box with functor functions.
• 00:05:00 In this video, George Wilson explains the concept of a functor, which is a type of function that can be mapped between two sets. He also explains the concept of a contravariant functor and a covariant functor.
• 00:10:00 In this video, George Wilson discusses the concepts of functors and contravariant functors. He explains that a functor is a type of object that maps one set of objects to another, while a contravariant functor is a type of object that consumes objects. He also explains that pro functors are a special type of functor that allow for linear time sorting of objects.
• 00:15:00 In the video, George Wilson discusses the concept of pro functors, which are a sub-type of functors. He notes that every arrow is a pro functor, and that closely is also a pro functor. He also mentions that pro functors are part of a sub-hierarchy of functors, and that anyone interested in learning more should watch Brian McKenna's upcoming talk on lenses.
• 00:20:00 In this talk, George Wilson discusses functors and their various properties. Among other things, he discusses functor families and the Extended Functor Family.