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.
What does it mean for a 1-morphism to have a weak inverese? Is it some morphism that tensors to the identity?
Should just mean that it is an isomorphism up to a 2-isomorphism (and maybe some coherence conditions).
1 to 3 of 3