Common Contracts

6 similar End User Agreement contracts

PDF hosted at the Radboud Repository of the Radboud University Nijmegen
End User Agreement • April 20th, 2023

We have required V : Set to be limit-preserving; in fact it mostly suffices to assume product-preservation. In that case the only thing that fails is the isomorphism V ◦ [−, Ω]T ∼= EM(T )(−, Ωτ )

PDF hosted at the Radboud Repository of the Radboud University Nijmegen
End User Agreement • April 15th, 2023

We have required V : Set to be limit-preserving; in fact it mostly suffices to assume product-preservation. In that case the only thing that fails is the isomorphism V ◦ [−, Ω]T ∼= EM(T )(−, Ωτ )

PDF hosted at the Radboud Repository of the Radboud University Nijmegen
End User Agreement • December 2nd, 2022

We have required V : Set to be limit-preserving; in fact it mostly suffices to assume product-preservation. In that case the only thing that fails is the isomorphism V ◦ [−, Ω]T ∼= EM(T )(−, Ωτ )

PDF hosted at the Radboud Repository of the Radboud University Nijmegen
End User Agreement • October 31st, 2022

We have required V : Set to be limit-preserving; in fact it mostly suffices to assume product-preservation. In that case the only thing that fails is the isomorphism V ◦ [−, Ω]T ∼= EM(T )(−, Ωτ )

PDF hosted at the Radboud Repository of the Radboud University Nijmegen
End User Agreement • October 31st, 2022

We have required V : Set to be limit-preserving; in fact it mostly suffices to assume product-preservation. In that case the only thing that fails is the isomorphism V ◦ [−, Ω]T ∼= EM(T )(−, Ωτ )

PDF hosted at the Radboud Repository of the Radboud University Nijmegen
End User Agreement • September 29th, 2022

We have required V : Set to be limit-preserving; in fact it mostly suffices to assume product-preservation. In that case the only thing that fails is the isomorphism V ◦ [−, Ω]T ∼= EM(T )(−, Ωτ )