category-theory tutorials

What kind of morphism is `filter` in category theory?

Aug 17, 2022

Name for a type constructor that is both a category and a monad?

Mar 18, 2022

haskell agda category-theory

Can I implement this newtype as a composition of other types?

Nov 03, 2022

haskell category-theory type-theory type-kinds polykinds

Every free monad over a ??? functor yields a comonad?

Jan 07, 2021

haskell monads category-theory free-monad comonad

Use cases for adjunctions in Haskell

Jan 28, 2022

haskell functor category-theory

How much is applicative really about applying, rather than "combining"?

Aug 31, 2021

haskell type-constraints applicative category-theory

What are some types that discriminate between categories?

Sep 16, 2022

haskell functional-programming category-theory

could someone explain the connection between type covariance/contravariance and category theory?

Oct 16, 2022

covariance contravariance type-theory category-theory

Identity function in Haskell has multiple inhabitants?

Sep 14, 2022

haskell category-theory

Once I have an F-Algebra, can I define Foldable and Traversable in terms of it?

Dec 24, 2020

haskell category-theory recursion-schemes

Don't understand notation of morphisms in Monoid definition

May 15, 2021

haskell category-theory monoids

Why is `pure` only required for Applicative and not already for Functor? [duplicate]

Nov 18, 2022

haskell functor category-theory

What is the main difference between Free Monoid and Monoid?

Oct 15, 2022

haskell functional-programming category-theory monoids

Can I model a list of successes with short circuiting failure via the composition of applicative functors?

Apr 07, 2018

haskell algebra applicative category-theory non-deterministic

How are uncurry and fanin related in category theory?

Oct 11, 2016

haskell category-theory

Are functions of arity-n really just an n-category due to currying? Can they be made into a 1-category?

Apr 25, 2018

haskell currying category-theory arity

Natural Transformations From Reader Bool To Maybe

Nov 23, 2019

haskell functor category-theory

What is this special functor structure called?

Nov 03, 2022

haskell category-theory applicative

Is there any intuition to understand join two functions in Monad?

Oct 29, 2019

haskell functional-programming monads category-theory

What is Representable used for in Haskell?

Aug 15, 2021

haskell functor category-theory

New posts in category-theory