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