Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I started writing something about codiscrete cofibrations, which is a nice way that many categories can be canonically equipped with proarrows. Richard Garner is visiting Chicago this week, and yesterday some of us were talking about how this construction can be made very functorial, giving a very nice way to construct functors and monads on equipments; I plan to add this to the entry as well.
I’ve improved the definition of “equippable” at codiscrete cofibration, and added a discussion of how to characterize the “canonical” such factorization systems in 2-categorical terms.
1 to 2 of 2