Search results

...oupoids semigroupoids], [http://hackage.haskell.org/package/kan-extensions kan-extensions], [http://hackage.haskell.org/package/recursion-schemes recursio ...stractions and constructions starting from basics: category, functor up to kan extensions, topos, enriched categories, F-algebras. There are video recordi