Jacques Carette
Jacques Carette
Why not put them directly in `Categories.Category.Construction.ObjectRestriction.Properties` ? Only if that grows very large would it need to be split (probably as you propose). It might well be that some...
@Taneb It would be really nice to get this finished and merged in. What can I do to help?
If we go there (which I'm in favour of), we'll probably also want to enrich over skew monoidal categories as well (introduced in https://arxiv.org/abs/1201.4981 but then used in various places...
Cool! It does seem like working over SMCs is currently trendy. And simpler. It's odd that it relies on such non-trivial properties though - that seems to be elided from...
I've gotten better at taking string diagrams and translating them to combinator expressions (as an art, not as a procedure!). Are they in Geoff Cruttwell's thesis? Also, I think the...
Very cool stuff. I will do a careful review soon. [The code is very clean, but we might as well optimize it even more while it's still under development.] Right...
No worries, I easily drift into that too. I then have to go back and do some git magic to fix my own bad habits.
@TOTBWF I know this is rather an old, partial PR, and that you're working more on 1lab right now, but it would be nice to get some closure on this...
This was a good start @tetrapharmakon . Ready to come back to this and 'finish' it? Is there something I can do to help that along?
I think what makes sense to do would to be to do this in phases: first the basic construction (which is done), then its properties (in progress). I could comment...