@BartoszMilewski@mathstodon.xyz
Post #3023662
2026-05-13 07:18 UTC
@sjoerd_visscher@types.pl @6d03@mathstodon.xyz
Well, I'm afraid my code is really a toy example based on endofunctors. What I really need is categories and functors between them. What definition of a category did you use?
Replies (1)
-
@BartoszMilewski@mathstodon.xyz 2026-05-13 11:38
@sjoerd_visscher@types.pl @6d03@mathstodon.xyz It seems to me like you're defining a subcategory of Hask by imposing a Constraint on objects. So a Tabulator would be a class that takes two categories and a profunctor between them. It would have two projections giving objects in these two categories, and a projection that gives the element of the type given by the profunctor on these two objects. Does it make sense?