Skip to main content
wikpedia is not "wiki"
Source Link
Mike Shulman
  • 66.7k
  • 7
  • 162
  • 368

Let $\mathsf{C}$ be a category. We call $\mathsf{C}$ binormal if it has a null object, has all equilizers and coequilizers, all monomorphisms are kernels and all epimorphisms are cokernels (whereby a kernel means an equalizer of a morphism and a zero morphism, and cokernel dually). Then my question is:

Can we make any binormal category a preadditive category?

Here I'm using wiki'swikipedia's definition of preadditive category.

I know that a binormal category which has all binary products must be abelian. I'm just wondering if we can drop out the requirement of the existence of products.

Let $\mathsf{C}$ be a category. We call $\mathsf{C}$ binormal if it has a null object, has all equilizers and coequilizers, all monomorphisms are kernels and all epimorphisms are cokernels (whereby a kernel means an equalizer of a morphism and a zero morphism, and cokernel dually). Then my question is:

Can we make any binormal category a preadditive category?

Here I'm using wiki's definition of preadditive category.

I know that a binormal category which has all binary products must be abelian. I'm just wondering if we can drop out the requirement of the existence of products.

Let $\mathsf{C}$ be a category. We call $\mathsf{C}$ binormal if it has a null object, has all equilizers and coequilizers, all monomorphisms are kernels and all epimorphisms are cokernels (whereby a kernel means an equalizer of a morphism and a zero morphism, and cokernel dually). Then my question is:

Can we make any binormal category a preadditive category?

Here I'm using wikipedia's definition of preadditive category.

I know that a binormal category which has all binary products must be abelian. I'm just wondering if we can drop out the requirement of the existence of products.

added 128 characters in body
Source Link
Censi LI
  • 403
  • 2
  • 10

Let $\mathsf{C}$ be a category. We call $\mathsf{C}$ binormal if it has a null object, has all equilizers and coequilizers, all monomorphisms are kernels and all epimorphisms are cokernels (whereby a kernel means an equalizer of a morphism and a zero morphism, and cokernel dually). Then my question is:

Can we make any binormal category a pre-additivepreadditive category?

Here I'm using wiki's definition of preadditive category.

I know that a binormal category which has all binary products must be abelian. I'm just wondering if we can drop out the requirement of the existence of products.

Let $\mathsf{C}$ be a category. We call $\mathsf{C}$ binormal if it has a null object, has all equilizers and coequilizers, all monomorphisms are kernels and all epimorphisms are cokernels (whereby a kernel means an equalizer of a morphism and a zero morphism, and cokernel dually). Then my question is:

Can we make any binormal category a pre-additive category?

I know that a binormal category which has all binary products must be abelian. I'm just wondering if we can drop out the requirement of the existence of products.

Let $\mathsf{C}$ be a category. We call $\mathsf{C}$ binormal if it has a null object, has all equilizers and coequilizers, all monomorphisms are kernels and all epimorphisms are cokernels (whereby a kernel means an equalizer of a morphism and a zero morphism, and cokernel dually). Then my question is:

Can we make any binormal category a preadditive category?

Here I'm using wiki's definition of preadditive category.

I know that a binormal category which has all binary products must be abelian. I'm just wondering if we can drop out the requirement of the existence of products.

Source Link
Censi LI
  • 403
  • 2
  • 10

Does a binormal category always admit an additive structure?

Let $\mathsf{C}$ be a category. We call $\mathsf{C}$ binormal if it has a null object, has all equilizers and coequilizers, all monomorphisms are kernels and all epimorphisms are cokernels (whereby a kernel means an equalizer of a morphism and a zero morphism, and cokernel dually). Then my question is:

Can we make any binormal category a pre-additive category?

I know that a binormal category which has all binary products must be abelian. I'm just wondering if we can drop out the requirement of the existence of products.