For licensing or usage, please contact licensing@viralhog.com

ну с небольшими поправками верно

представимые функторы - это функторы, изоморфные HomSet, в случае обычных функций HomSet - это функция, в случае higher-kinded - это преобразование между тайп-конструкторами (совсем не обязательно между функторами и соответственно не обязательно естественное)

и функцию, и преобразование можно рассматривать как произведение, возможно, очень большое, но фиксированного размера
например Boolean => A - это коллекция из двух возможных элементов A,

а скажем, если у вас есть

enum Ind[A]{
  case Name extends Ind[String]
  case Age extends Ind[Int]
}

то Ind ~> F можно рассматривать как коллекцию из двух элементов - F[String] и F[Int]

если область определения функции бесконечная, то и контейнер будет бесконечным

обычно представимый функтор определяют как-то так


trait Representable [F[_]]{
  type Rep
  def tabulate[A](k: Rep => A): F[A]
  def index[A](fa: F[A])(k: Rep): A
}

но я заметил, что это излишне ведь если принять во внимание, что имея

trait Cont[R]{
     def cont[A](k:…