Mi pregunta es acerca de la octaédrico axioma (OA) en la definición de un triangular de la categoría. Por lo que puedo entender hasta ahora (cf. Huybrechts, transformadas de Fourier-Mukai algebraica gometry, Definición 1.32), este axioma quiere aproximadamente generalizar la "doble cociente" situación en la categoría de abelian grupos, es decir, si $A\subset B\subset C$ son abelian grupos, a continuación,$C/B\cong(C/A)/(B/A)$.
Me gustaría saber por qué la gente piensa que este axioma es superfluo.
Me informó que el "doble cociente" situación, porque uno puede decir que si se quiere generalizar una situación que es natural en el que no generalizada caso, entonces sería de esperar que esta situación es natural también. Pero a mí me parece que este argumento es muy débil y probablemente hay mejores argumentos...
Por otra parte, es cierto que todo el mundo está convencido de que?
Como una motivación a esta pregunta me gustaría decir que: $1)$ el pasado verano un papel por Maciocia aparecido en el que demostró que el OA es una consecuencia de los anteriores. Pero por desgracia no fue un error que aún no se soluciona. $2)$ En el Huybrechts libro, que he citado antes, no el estado de la OA, porque él "nunca la use explícitamente y sólo una vez implícitamente". $3)$ Estoy muy curioso acerca de eso.
Muchas gracias a todos!
P. S.: he intentado encontrar algo en la literatura o en StackExchange así, pero yo estaba al parecer no se puede. Lo siento si es un duplicado.
