Questions about implementations of categories, in the category theoretical sense. Examples include the Category type class in e.g. Haskell, PureScript and Cats/Scalaz, as well as Haskell libraries such as constrained-categories. Distinct from [category-theory], which is more general and primarily about conceptual aspects, though there is some overlap.
