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 a new entry homotopy monomorphism.
ah, we already have monomorphism in an (infinity,1)-category. Do you have the energy to merge them?
Oops. I deleted it and just added the reference to the Muro paper to monomorphism in an (infinity,1)-category.
1 to 3 of 3