Perfil de shibai

Últimas Respuestas

• 2 votos

  Mostrando $ \langle \forall x:: P.x \rangle \land \langle \exists x:: Q.x \rangle \implies \langle \exists y: P.y : Q.y \rangle $ es un teorema.

  el 21 de Agosto, 2020 2 votos
• 1 votos

  biyección $\{0, 1, \ldots, \binom{|m|}{n}-1\} \longleftrightarrow \binom{m}{n}$

  el 9 de Septiembre, 2020 1 votos
• 3 votos

  Suma de productos escalares de vectores linealmente independientes

  el 12 de Julio, 2020 3 votos
• 3 votos

  ¿Todo functor representable en $\text{Psh}(\mathcal{C}\times{\mathcal{\Delta}})$ tienen una equivalencia débil con $h_{(c,0)}$ ?

  el 22 de Agosto, 2020 3 votos
• 0 votos

  Encuentre el número de ordenados $k$ -tuplas

  el 15 de Agosto, 2020 0 votos
• 3 votos

  ¿Cómo un functor entre categorías de índice induce un morfismo canónico entre colimits?

  el 31 de Agosto, 2020 3 votos
• 1 votos

  Condiciones suficientes para que el ideal esté en el núcleo del homomorfismo de anillo

  el 23 de Julio, 2020 1 votos