Agda encoding of premonoidal categories (by gelisam)

Premonoidal Alternatives

Similar projects and alternatives to premonoidal

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better premonoidal alternative or higher similarity.

Suggest an alternative to premonoidal

Reviews and mentions

Posts with mentions or reviews of premonoidal. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-05-16.
  • Deconstructing Lambdas—An Awkward Guide to Programming Without Functions
    6 projects | | 16 May 2021
    I haven't touched category-syntax itself in years, so it's probably very bit-rotten by now. I've been working in two other repos, premonoidal and free-premonoidal, in order to look for the elusive free {,symmetric,precartesian,cartesian} premonoidal category, and then I plan to go back and resurect category-syntax once I'm done with that quest. But if there's interest, perhaps I can try to revive it with a slightly-less-perfect representation!
    6 projects | | 16 May 2021
    The reason I don't like it is the same as always: we learn nothing from that representation. I can easily think about and visualize lists. I can't do that with the equivalence classes of MonoidAST nor with this FreeMonoid implementation which just regurgitates the definition of a free monoid back at me. I prefer to put actually work into finding a useful definition, such as a list, so that I can reap the benefits later when I get to manipulate values of type list :)


Basic premonoidal repo stats
7 months ago
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
Find remote jobs at our new job board There are 33 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.