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.
Created 2-category with contravariance and 3-category with contravariance, combining ideas from this preprint of mine with ideas that Vladimir Sotirov had written at contravariant functor (which I moved from there to here).
Added a reference to Higher Operads, Higher Categories.
1 to 2 of 2