Jacques Carette
Jacques Carette
I agree that E-categories are very much like bicategories with some of the coherences missing. What's so remarkable is how pretty much all of 1-category theory goes through! Yes, some...
I prefer the "maximally unsaturated" point of view of Peter LeFanu Lumsdaine and Erik Palmgren (i.e. I think the concept is Palmgren's but I learned it from Peter). Unfortunately the...
Looking nice. What are you still intending to do before making it 'Ready for Review'? And would you like comments now anyways?
If you give me permission to push to your fork, I can help push this to completion.
Yes, some of the names do need changing from what's in your PR. But some of the name changes you did do were not necessary!
Looks like the master merge broke the build?
Requested changes from @MatthewDaggitt have been done, as verified by @gallais @jamesmckinna and I. Merging.
Should it really be for `ℤ` or for any structure that has FOO properties?
@Taneb I meant it as a placeholder variable for something like `Semiring`, or whatever structure+property bundle is necessary to meaningfully define the concept. Re: evolution. I'm starting to wonder if...
What prevents this from losing its DRAFT status?