For a given morphism \alpha: A \rightarrow B, a weak kernel of \alpha consists of three parts:
an object K,
a morphism \iota: K \rightarrow A such that \alpha \circ \iota \sim_{K,B} 0,
a dependent function u mapping each morphism \tau: T \rightarrow A satisfying \alpha \circ \tau \sim_{T,B} 0 to a morphism u(\tau): T \rightarrow K such that \iota \circ u( \tau ) \sim_{T,A} \tau.
The triple ( K, \iota, u ) is called a weak kernel of \alpha. We denote the object K of such a triple by \mathrm{WeakKernelObject}(\alpha). We say that the morphism u(\tau) is induced by the universal property of the weak kernel.
‣ WeakKernelObject( alpha ) | ( attribute ) |
Returns: an object
The argument is a morphism \alpha. The output is the weak kernel K of \alpha.
‣ WeakKernelEmbedding( alpha ) | ( attribute ) |
Returns: a morphism in \mathrm{Hom}(\mathrm{WeakKernelObject}(\alpha),A)
The argument is a morphism \alpha: A \rightarrow B. The output is the weak kernel embedding \iota: \mathrm{WeakKernelObject}(\alpha) \rightarrow A.
‣ WeakKernelEmbeddingWithGivenWeakKernelObject( alpha, K ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}(K,A)
The arguments are a morphism \alpha: A \rightarrow B and an object K = \mathrm{WeakKernelObject}(\alpha). The output is the weak kernel embedding \iota: K \rightarrow A.
‣ WeakKernelLift( alpha, tau ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}(T,\mathrm{WeakKernelObject}(\alpha))
The arguments are a morphism \alpha: A \rightarrow B and a test morphism \tau: T \rightarrow A satisfying \alpha \circ \tau \sim_{T,B} 0. The output is the morphism u(\tau): T \rightarrow \mathrm{WeakKernelObject}(\alpha) given by the universal property of the weak kernel.
‣ WeakKernelLiftWithGivenWeakKernelObject( alpha, tau, K ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}(T,K)
The arguments are a morphism \alpha: A \rightarrow B, a test morphism \tau: T \rightarrow A satisfying \alpha \circ \tau \sim_{T,B} 0, and an object K = \mathrm{WeakKernelObject}(\alpha). The output is the morphism u(\tau): T \rightarrow K given by the universal property of the weak kernel.
‣ AddWeakKernelObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation WeakKernelObject. F: \alpha \mapsto \mathrm{WeakKernelObject}(\alpha).
‣ AddWeakKernelEmbedding( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation WeakKernelEmbedding. F: \alpha \mapsto \iota.
‣ AddWeakKernelEmbeddingWithGivenWeakKernelObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation WeakKernelEmbeddingWithGivenWeakKernelObject. F: (\alpha, K) \mapsto \iota.
‣ AddWeakKernelLift( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation WeakKernelLift. F: (\alpha, \tau) \mapsto u(\tau).
‣ AddWeakKernelLiftWithGivenWeakKernelObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation WeakKernelLiftWithGivenWeakKernelObject. F: (\alpha, \tau, K) \mapsto u.
For a given morphism \alpha: A \rightarrow B, a weak cokernel of \alpha consists of three parts:
an object K,
a morphism \epsilon: B \rightarrow K such that \epsilon \circ \alpha \sim_{A,K} 0,
a dependent function u mapping each \tau: B \rightarrow T satisfying \tau \circ \alpha \sim_{A, T} 0 to a morphism u(\tau):K \rightarrow T such that u(\tau) \circ \epsilon \sim_{B,T} \tau.
The triple ( K, \epsilon, u ) is called a weak cokernel of \alpha. We denote the object K of such a triple by \mathrm{WeakCokernelObject}(\alpha). We say that the morphism u(\tau) is induced by the universal property of the weak cokernel.
‣ WeakCokernelObject( alpha ) | ( attribute ) |
Returns: an object
The argument is a morphism \alpha: A \rightarrow B. The output is the weak cokernel K of \alpha.
‣ WeakCokernelProjection( alpha ) | ( attribute ) |
Returns: a morphism in \mathrm{Hom}(B, \mathrm{WeakCokernelObject}( \alpha ))
The argument is a morphism \alpha: A \rightarrow B. The output is the weak cokernel projection \epsilon: B \rightarrow \mathrm{WeakCokernelObject}( \alpha ).
‣ WeakCokernelProjectionWithGivenWeakCokernelObject( alpha, K ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}(B, K)
The arguments are a morphism \alpha: A \rightarrow B and an object K = \mathrm{WeakCokernelObject}(\alpha). The output is the weak cokernel projection \epsilon: B \rightarrow \mathrm{WeakCokernelObject}( \alpha ).
‣ WeakCokernelColift( alpha, tau ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}(\mathrm{WeakCokernelObject}(\alpha),T)
The arguments are a morphism \alpha: A \rightarrow B and a test morphism \tau: B \rightarrow T satisfying \tau \circ \alpha \sim_{A, T} 0. The output is the morphism u(\tau): \mathrm{WeakCokernelObject}(\alpha) \rightarrow T given by the universal property of the weak cokernel.
‣ WeakCokernelColiftWithGivenWeakCokernelObject( alpha, tau, K ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}(K,T)
The arguments are a morphism \alpha: A \rightarrow B, a test morphism \tau: B \rightarrow T satisfying \tau \circ \alpha \sim_{A, T} 0, and an object K = \mathrm{WeakCokernelObject}(\alpha). The output is the morphism u(\tau): K \rightarrow T given by the universal property of the weak cokernel.
‣ AddWeakCokernelObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation WeakCokernelObject. F: \alpha \mapsto K.
‣ AddWeakCokernelProjection( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation WeakCokernelProjection. F: \alpha \mapsto \epsilon.
‣ AddWeakCokernelProjectionWithGivenWeakCokernelObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation WeakCokernelProjectionWithGivenWeakCokernelObject. F: (\alpha, K) \mapsto \epsilon.
‣ AddWeakCokernelColift( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation WeakCokernelColift. F: (\alpha, \tau) \mapsto u(\tau).
‣ AddWeakCokernelColiftWithGivenWeakCokernelObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation WeakCokernelColiftWithGivenWeakCokernelObject. F: (\alpha, \tau, K) \mapsto u(\tau).
For a given pair of morphisms (\alpha: A \rightarrow B, \beta \colon C \rightarrow B), a weak bi-fiber product of (\alpha, \beta) consists of three parts:
an object P,
morphisms \pi_1: P \rightarrow A, \pi_2: P \rightarrow B such that \alpha \circ \pi_1 \sim_{P,B} \beta \circ \pi_2,
a dependent function u mapping each pair \tau = ( \tau_1, \tau_2 ) of morphisms \tau_1: T \rightarrow A, \tau_2: T \rightarrow C with the property \alpha \circ \tau_1 \sim_{T,B} \beta \circ \tau_2 to a morphism u(\tau):T \rightarrow P such that \pi_1 \circ u( \tau ) \sim_{A,T} \tau_1 and \pi_2 \circ u( \tau ) \sim_{C,T} \tau_2.
The quadrupel ( P, \pi_1, \pi_2, u ) is called a weak bi-fiber product of (\alpha,\beta). We denote the object P of such a quadrupel by \mathrm{WeakBiFiberProduct}(\alpha,\beta). We say that the morphism u(\tau) is induced by the universal property of the weak bi-fiber product.
‣ WeakBiFiberProduct( alpha, beta ) | ( operation ) |
Returns: an object
The arguments are two morphisms \alpha: A \rightarrow B, \beta: C \rightarrow B. The output is the weak bi-fiber product P of \alpha and \beta.
‣ ProjectionInFirstFactorOfWeakBiFiberProduct( alpha, beta ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( P, A )
The arguments are two morphisms \alpha: A \rightarrow B, \beta: C \rightarrow B. The output is the first weak bi-fiber product projection \pi_1: P \rightarrow A.
‣ ProjectionInFirstFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct( alpha, beta, P ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( P, A )
The arguments are two morphisms \alpha: A \rightarrow B, \beta: C \rightarrow B and an object P = \mathrm{WeakBiFiberProduct}( \alpha, \beta ). The output is the first weak bi-fiber product projection \pi_1: P \rightarrow A.
‣ ProjectionInSecondFactorOfWeakBiFiberProduct( alpha, beta ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( P, C )
The arguments are two morphisms \alpha: A \rightarrow B, \beta: C \rightarrow B. The output is the second weak bi-fiber product projection \pi_2: P \rightarrow C.
‣ ProjectionInSecondFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct( alpha, beta, P ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( P, C )
The arguments are two morphisms \alpha: A \rightarrow B, \beta: C \rightarrow B and an object P = \mathrm{WeakBiFiberProduct}( \alpha, \beta ). The output is the second weak bi-fiber product projection \pi_2: P \rightarrow C.
‣ UniversalMorphismIntoWeakBiFiberProduct( alpha, beta, tau_1, tau_2 ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( T, P )
The arguments are four morphisms \alpha: A \rightarrow B, \beta: C \rightarrow B, \tau_1: T \rightarrow A, \tau_2: T \rightarrow C. The output is the morphism u( \tau ) induced by the universal property of the weak bi-fiber product P of \alpha and \beta.
‣ UniversalMorphismIntoWeakBiFiberProductWithGivenWeakBiFiberProduct( alpha, beta, tau_1, tau_2, P ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( T, P )
The arguments are four morphisms \alpha: A \rightarrow B, \beta: C \rightarrow B, \tau_1: T \rightarrow A, \tau_2: T \rightarrow C and an object P = \mathrm{WeakBiFiberProduct}( \alpha, \beta ). The output is the morphism u( \tau ) induced by the universal property of the weak bi-fiber product P.
‣ WeakBiFiberProductMorphismToDirectSum( alpha, beta ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( P, A \oplus C )
The arguments are two morphisms \alpha: A \rightarrow B, \beta: C \rightarrow B. The output is the morphism P \rightarrow A \oplus C obtained from the two weak bi-fiber product projections \pi_1 and \pi_2 and the universal property of the direct sum.
‣ AddWeakBiFiberProduct( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation WeakBiFiberProduct. F: ( \alpha, \beta ) \mapsto P
‣ AddProjectionInFirstFactorOfWeakBiFiberProduct( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation ProjectionInFirstFactorOfWeakBiFiberProduct. F: ( \alpha, \beta ) \mapsto \pi_1
‣ AddProjectionInSecondFactorOfWeakBiFiberProduct( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation ProjectionInSecondFactorOfWeakBiFiberProduct. F: ( \alpha, \beta ) \mapsto \pi_2
‣ AddProjectionInFirstFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation ProjectionInFirstFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct. F: ( \alpha, \beta, P ) \mapsto \pi_1
‣ AddProjectionInSecondFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation ProjectionInSecondFactorOfWeakBiFiberProductWithGivenWeakBiFiberProduct. F: ( \alpha, \beta, P ) \mapsto \pi_2
‣ AddUniversalMorphismIntoWeakBiFiberProduct( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation UniversalMorphismIntoWeakBiFiberProduct. F: ( \alpha, \beta, \tau_1, \tau_2 ) \mapsto u(\tau)
‣ AddUniversalMorphismIntoWeakBiFiberProductWithGivenWeakBiFiberProduct( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation UniversalMorphismIntoWeakBiFiberProductWithGivenWeakBiFiberProduct. F: ( \alpha, \beta, \tau_1, \tau_2, P ) \mapsto u(\tau)
‣ AddWeakBiFiberProductMorphismToDirectSum( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation WeakBiFiberProductMorphismToDirectSum. F: ( \alpha, \beta ) \mapsto \mathrm{WeakBiFiberProductMorphismToDirectSum}( \alpha, \beta )
For a given pair of morphisms (\alpha: A \rightarrow B, \beta \colon C \rightarrow B), a biased weak fiber product of (\alpha, \beta) consists of three parts:
an object P,
a morphism \pi: P \rightarrow A such that there exists a morphism \delta: P \rightarrow C such that \beta \circ \delta \sim_{P,B} \alpha \circ \pi,
a dependent function u mapping each \tau: T \rightarrow A, which admits a morphism \mu \colon T \rightarrow C with \beta \circ \mu \sim_{T,B} \alpha \circ \tau, to a morphism u(\tau):T \rightarrow P such that \pi \circ u(\tau) \sim_{T,A} \tau.
The triple ( P, \pi, u ) is called a biased weak fiber product of (\alpha,\beta). We denote the object P of such a triple by \mathrm{BiasedWeakFiberProduct}(\alpha,\beta). We say that the morphism u(\tau) is induced by the universal property of the biased weak fiber product.
‣ BiasedWeakFiberProduct( alpha, beta ) | ( operation ) |
Returns: an object
The arguments are two morphisms \alpha: A \rightarrow B, \beta: C \rightarrow B. The output is the biased weak fiber product P of \alpha and \beta.
‣ ProjectionOfBiasedWeakFiberProduct( alpha, beta ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( P, A )
The arguments are two morphisms \alpha: A \rightarrow B, \beta: C \rightarrow B. The output is the biased weak fiber product projection \pi: P \rightarrow A.
‣ ProjectionOfBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct( alpha, beta, P ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( P, A )
The arguments are two morphisms \alpha: A \rightarrow B, \beta: C \rightarrow B, and an object P = \mathrm{BiasedWeakFiberProduct}( \alpha, \beta ). The output is the biased weak fiber product projection \pi: P \rightarrow A.
‣ UniversalMorphismIntoBiasedWeakFiberProduct( alpha, beta, tau ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( T, P )
The arguments are three morphisms \alpha: A \rightarrow B, \beta: C \rightarrow B, \tau: T \rightarrow A. The output is the morphism u( \tau ) induced by the universal property of the biased weak fiber product P of \alpha and \beta.
‣ UniversalMorphismIntoBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct( alpha, beta, tau, P ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( T, P )
The arguments are three morphisms \alpha: A \rightarrow B, \beta: C \rightarrow B, \tau: T \rightarrow A and an object P = \mathrm{BiasedWeakFiberProduct}( \alpha, \beta ). The output is the morphism u( \tau ) induced by the universal property of the biased weak fiber product P of \alpha and \beta.
‣ AddBiasedWeakFiberProduct( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation BiasedWeakFiberProduct. F: ( \alpha, \beta ) \mapsto P
‣ AddProjectionOfBiasedWeakFiberProduct( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation ProjectionOfBiasedWeakFiberProduct. F: ( \alpha, \beta ) \mapsto \pi
‣ AddProjectionOfBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation ProjectionOfBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct. F: ( \alpha, \beta, P ) \mapsto \pi
‣ AddUniversalMorphismIntoBiasedWeakFiberProduct( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation UniversalMorphismIntoBiasedWeakFiberProduct. F: ( \alpha, \beta, \tau ) \mapsto u(\tau)
‣ AddUniversalMorphismIntoBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation UniversalMorphismIntoBiasedWeakFiberProductWithGivenBiasedWeakFiberProduct. F: ( \alpha, \beta, \tau, P ) \mapsto u(\tau)
For a given pair of morphisms (\alpha: A \rightarrow B, \beta \colon A \rightarrow C), a weak bi-pushout of (\alpha, \beta) consists of three parts:
an object P,
morphisms \iota_1: B \rightarrow P, \iota_2: C \rightarrow P such that \iota_1 \circ \alpha \sim_{A,P} \iota_2 \circ \beta,
a dependent function u mapping each pair \tau = (\tau_1, \tau_2) of morphisms \tau_1: B \rightarrow T, \tau_2: C \rightarrow T with the property \tau_1 \circ \alpha \sim_{A,T} \tau_2 \circ \beta to a morphism u(\tau): P \rightarrow T such that u( \tau ) \circ \iota_1 \sim_{B,T} \tau_1 and u( \tau ) \circ \iota_2 \sim_{C,T} \tau_2.
The quadrupel ( P, \iota_1, \iota_2, u ) is called a weak bi-pushout of (\alpha,\beta). We denote the object P of such a quadrupel by \mathrm{WeakBiPushout}(\alpha,\beta). We say that the morphism u(\tau) is induced by the universal property of the weak bi-pushout.
‣ WeakBiPushout( alpha, beta ) | ( operation ) |
Returns: an object
The arguments are two morphisms \alpha: A \rightarrow B, \beta: A \rightarrow C. The output is the weak bi-pushout P of \alpha and \beta.
‣ InjectionOfFirstCofactorOfWeakBiPushout( alpha, beta ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( B, P )
The arguments are two morphisms \alpha: A \rightarrow B, \beta: A \rightarrow C. The output is the first weak bi-pushout injection \iota_1: B \rightarrow P.
‣ InjectionOfSecondCofactorOfWeakBiPushout( alpha, beta ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( C, P )
The arguments are two morphisms \alpha: A \rightarrow B, \beta: A \rightarrow C. The output is the second weak bi-pushout injection \iota_2: C \rightarrow P.
‣ InjectionOfFirstCofactorOfWeakBiPushoutWithGivenWeakBiPushout( alpha, beta, P ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( B, P )
The arguments are two morphisms \alpha: A \rightarrow B, \beta: A \rightarrow C and an object P = \mathrm{WeakBiPushout}( \alpha, \beta ). The output is the first weak bi-pushout injection \iota_1: B \rightarrow P.
‣ InjectionOfSecondCofactorOfWeakBiPushoutWithGivenWeakBiPushout( alpha, beta, P ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( C, P )
The arguments are two morphisms \alpha: A \rightarrow B, \beta: A \rightarrow C and an object P = \mathrm{WeakBiPushout}( \alpha, \beta ). The output is the second weak bi-pushout injection \iota_2: C \rightarrow P.
‣ UniversalMorphismFromWeakBiPushout( alpha, beta, tau_1, tau_2 ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( P, T )
The arguments are four morphisms \alpha: A \rightarrow B, \beta: A \rightarrow C, \tau_1: B \rightarrow T, \tau_2: C \rightarrow T. The output is the morphism u( \tau ) induced by the universal property of the weak bi-pushout P of \alpha and \beta.
‣ UniversalMorphismFromWeakBiPushoutWithGivenWeakBiPushout( alpha, beta, tau_1, tau_2, P ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( P, T )
The arguments are four morphisms \alpha: A \rightarrow B, \beta: A \rightarrow C, \tau_1: B \rightarrow T, \tau_2: C \rightarrow T, and an object P = \mathrm{WeakBiPushout}( \alpha, \beta ). The output is the morphism u( \tau ) induced by the universal property of the weak bi-pushout P of \alpha and \beta.
‣ DirectSumMorphismToWeakBiPushout( alpha, beta ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}(B \oplus C, P )
The arguments are two morphisms \alpha: A \rightarrow B, \beta: C \rightarrow B. The output is the morphism B \oplus C \rightarrow P obtained from the two weak bi-fiber product injections \iota_1 and \iota_2 and the universal property of the direct sum.
‣ AddWeakBiPushout( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation WeakBiPushout. F: ( \alpha, \beta ) \mapsto P
‣ AddInjectionOfFirstCofactorOfWeakBiPushout( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation InjectionOfFirstCofactorOfWeakBiPushout. F: ( \alpha, \beta ) \mapsto \iota_1
‣ AddInjectionOfSecondCofactorOfWeakBiPushout( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation InjectionOfSecondCofactorOfWeakBiPushout. F: ( \alpha, \beta ) \mapsto \iota_2
‣ AddInjectionOfFirstCofactorOfWeakBiPushoutWithGivenWeakBiPushout( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation InjectionOfFirstCofactorOfWeakBiPushoutWithGivenWeakBiPushout. F: ( \alpha, \beta, P ) \mapsto \iota_1
‣ AddInjectionOfSecondCofactorOfWeakBiPushoutWithGivenWeakBiPushout( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation InjectionOfSecondCofactorOfWeakBiPushoutWithGivenWeakBiPushout. F: ( \alpha, \beta, P ) \mapsto \iota_2
‣ AddUniversalMorphismFromWeakBiPushout( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation UniversalMorphismFromWeakBiPushout. F: ( \alpha, \beta, \tau_1, \tau_2 ) \mapsto u(\tau)
‣ AddUniversalMorphismFromWeakBiPushoutWithGivenWeakBiPushout( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation UniversalMorphismFromWeakBiPushoutWithGivenWeakBiPushout. F: ( \alpha, \beta, \tau_1, \tau_2, P ) \mapsto u(\tau)
‣ AddDirectSumMorphismToWeakBiPushout( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation DirectSumMorphismToWeakBiPushout. F: ( \alpha, \beta ) \mapsto \mathrm{DirectSumMorphismToWeakBiPushout}( \alpha, \beta )
For a given pair of morphisms (\alpha: A \rightarrow B, \beta: A \rightarrow C), a biased weak pushout of (\alpha, \beta) consists of three parts:
an object P,
a morphism \iota: B \rightarrow P such that there exists a morphism \delta: C \rightarrow P such that \delta \circ \beta \sim_{A,P} \iota \circ \alpha,
a dependent function u mapping each \tau: B \rightarrow T, which admits a morphism \mu \colon C \rightarrow T with \mu \circ \beta \sim_{B,T} \tau \circ \alpha, to a morphism u(\tau):P \rightarrow T such that u(\tau) \circ \iota \sim_{A,T} \tau.
The triple ( P, \iota, u ) is called a biased weak pushout of (\alpha,\beta). We denote the object P of such a triple by \mathrm{BiasedWeakPushout}(\alpha,\beta). We say that the morphism u(\tau) is induced by the universal property of the biased weak pushout.
‣ BiasedWeakPushout( alpha, beta ) | ( operation ) |
Returns: an object
The arguments are two morphisms \alpha: A \rightarrow B, \beta: A \rightarrow C. The output is the biased weak pushout P of \alpha and \beta.
‣ InjectionOfBiasedWeakPushout( alpha, beta ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( B, P )
The arguments are two morphisms \alpha: A \rightarrow B, \beta: A \rightarrow C. The output is the biased weak pushout injection \iota: B \rightarrow P.
‣ InjectionOfBiasedWeakPushoutWithGivenBiasedWeakPushout( alpha, beta, P ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( B, P )
The arguments are two morphisms \alpha: A \rightarrow B, \beta: A \rightarrow C and an object P = \mathrm{BiasedWeakPushout}( \alpha, \beta ). The output is the biased weak pushout injection \iota: B \rightarrow P.
‣ UniversalMorphismFromBiasedWeakPushout( alpha, beta, tau ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( P, T )
The arguments are three morphisms \alpha: A \rightarrow B, \beta: A \rightarrow C, \tau: B \rightarrow T. The output is the morphism u( \tau ) induced by the universal property of the biased weak pushout P of \alpha and \beta.
‣ UniversalMorphismFromBiasedWeakPushoutWithGivenBiasedWeakPushout( alpha, beta, tau, P ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}( P, T )
The arguments are three morphisms \alpha: A \rightarrow B, \beta: A \rightarrow C, \tau: B \rightarrow T and an object P = \mathrm{BiasedWeakPushout}( \alpha, \beta ). The output is the morphism u( \tau ) induced by the universal property of the biased weak pushout P of \alpha and \beta.
‣ AddBiasedWeakPushout( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation BiasedWeakPushout. F: ( \alpha, \beta ) \mapsto P
‣ AddInjectionOfBiasedWeakPushout( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation InjectionOfBiasedWeakPushout. F: ( \alpha, \beta ) \mapsto \iota
‣ AddInjectionOfBiasedWeakPushoutWithGivenBiasedWeakPushout( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation InjectionOfBiasedWeakPushoutWithGivenBiasedWeakPushout. F: ( \alpha, \beta, P ) \mapsto \iota
‣ AddUniversalMorphismFromBiasedWeakPushout( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation UniversalMorphismFromBiasedWeakPushout. F: ( \alpha, \beta, \tau ) \mapsto u(\tau)
‣ AddUniversalMorphismFromBiasedWeakPushoutWithGivenBiasedWeakPushout( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation UniversalMorphismFromBiasedWeakPushoutWithGivenBiasedWeakPushout. F: ( \alpha, \beta, \tau, P ) \mapsto u(\tau)
‣ SomeProjectiveObjectForKernelObject( alpha ) | ( attribute ) |
Returns: an object
The argument is a morphism \alpha. The output is the source of EpimorphismFromSomeProjectiveObjectForKernelObject applied to \alpha.
‣ EpimorphismFromSomeProjectiveObjectForKernelObject( alpha ) | ( attribute ) |
Returns: a morphism in \mathrm{Hom}(P,\mathrm{KernelObject}( \alpha ))
The argument is a morphism \alpha. The output is an epimorphism \pi: P \rightarrow \mathrm{KernelObject}( \alpha ) with P a projective object.
‣ EpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectForKernelObject( alpha ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}(P,\mathrm{KernelObject}( \alpha ))
The arguments are a morphism \alpha and an object P = \mathrm{SomeProjectiveObjectForKernelObject}( \alpha ). The output is an epimorphism \pi: P \rightarrow \mathrm{KernelObject}( \alpha ).
‣ SomeInjectiveObjectForCokernelObject( alpha ) | ( attribute ) |
Returns: an object
The argument is a morphism \alpha. The output is the range of MonomorphismToSomeInjectiveObjectForCokernelObject applied to \alpha.
‣ MonomorphismToSomeInjectiveObjectForCokernelObject( alpha ) | ( attribute ) |
Returns: a morphism in \mathrm{Hom}(\mathrm{CokernelObject}( \alpha ), I)
The argument is a morphism \alpha. The output is a monomorphism \iota: \mathrm{CokernelObject}( \alpha ) \rightarrow I with I an injective object.
‣ MonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectForCokernelObject( alpha ) | ( operation ) |
Returns: a morphism in \mathrm{Hom}(\mathrm{CokernelObject}( \alpha ), I)
The arguments are a morphism \alpha and an object I = \mathrm{SomeInjectiveObjectForCokernelObject}( \alpha ). The output is a monomorphism \iota: \mathrm{CokernelObject}( \alpha ) \rightarrow I.
‣ AddSomeProjectiveObjectForKernelObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation SomeProjectiveObjectForKernelObject. F: \alpha \mapsto P.
‣ AddSomeInjectiveObjectForCokernelObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation SomeInjectiveObjectForCokernelObject. F: \alpha \mapsto I.
‣ AddEpimorphismFromSomeProjectiveObjectForKernelObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation EpimorphismFromSomeProjectiveObjectForKernelObject. F: \alpha \mapsto \pi.
‣ AddMonomorphismToSomeInjectiveObjectForCokernelObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation MonomorphismToSomeInjectiveObjectForCokernelObject. F: \alpha \mapsto \iota.
‣ AddEpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectForKernelObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation EpimorphismFromSomeProjectiveObjectForKernelObjectWithGivenSomeProjectiveObjectForKernelObject. F: (\alpha, P) \mapsto \pi.
‣ AddMonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectForCokernelObject( C, F ) | ( operation ) |
Returns: nothing
The arguments are a category C and a function F. This operation adds the given function F to the category for the basic operation MonomorphismToSomeInjectiveObjectForCokernelObjectWithGivenSomeInjectiveObjectForCokernelObject. F: (\alpha, I) \mapsto \iota.
generated by GAPDoc2HTML