Packages

trait Lan[G[_], H[_], A] extends AnyRef

The left Kan extension of H along G

Self Type
Lan[G, H, A]
Source
Kan.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Lan
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. abstract type I

Abstract Value Members

  1. abstract def f(gi: G[I]): A
  2. abstract def v: H[I]

Concrete Value Members

  1. def map[B](g: (A) ⇒ B): Lan[G, H, B]
  2. def toAdjoint[F[_]](implicit H: Functor[H], A: Adjunction[G, F]): H[F[A]]

    If G is left adjoint to F, there is a natural isomorphism between Lan[G,H,_] and H[F[_]]

  3. def toLan[F[_]](s: ~>[H, [α]F[G[α]]])(implicit arg0: Functor[F]): F[A]

    The universal property of a left Kan extension.

    The universal property of a left Kan extension. The functor Lan[G,H,_] and the natural transformation glan[G,H,_] are universal in the sense that for any functor F and a natural transformation s from H to F[G[_]], a unique natural transformation toLan exists from Lan[G,H,_] to F such that for all h, glan(h).toLan = s(h).