Published April 14, 2026 | Version v1
Thesis Open

The Underlying Intermediate Set A

Authors/Creators

Description

Factual Authoritative English Definitions of Complex Numbers

A

The role of the intermediate set ( A ) in any function composition represents the intermediate codomain of the recovery map, and the domain of the extraction map on which id⁡_A closes the bijection. The unique function id⁡A:A→A, id⁡A(a)=a∀a∈A satisfies the two-sided neutral property f∘id⁡A∘g = f∘gf and is a bijection from ( A ) to itself (hence an isomorphism). The “glue set" in the composition f∘g:X→B.  ( A ) is the intermediate set in the composition of two functions. It is the exact point where the output of the second operand lands and the input of the first operand begins.

In restricted composition:

  1. When you restrict the codomain of a second operand (g:Y→Z) and feed its output into a first operand f:Z→W, the intermediate set (Z) carries the identity map id_Z.
  2. Inserting id_⁡Z anywhere in the chain yields the original composed map unchanged: f∘id⁡Z∘g = f∘g.
Flow of composition:
  1. Let ( X, A, B ) be arbitrary sets (of any cardinality).
  2. second operand → ( A ) → first operand. Universal quantification over elements of ( A ). 
  3. ∀a∈A. id⁡A(a)=a  
  4. Endomorphism + involution:  id⁡A−1=id⁡A.
  5. g:X→A(second operand / recovery map) and f:A→B(first operand / extraction map) such that the composite map is f∘g:X→B
  6. im⁡(g) ⊆ A ⊆ dom⁡(f) 
( A ) is a set such that there exist functions g:X→A and f:A→B (for arbitrary sets ( X, B )), simultaneously representing the codomain of the second operand, and the domain of the first operand in a composition. The image of ( g ) becomes the input to ( f ).

Files

Files (14.4 kB)

Name Size Download all
md5:d2c94de784640f5a38e15b22ae7540d9
14.4 kB Download

Additional details

Related works

Has part
Thesis: 10.5281/zenodo.19565809 (DOI)
Is published in
Thesis: 10.5281/zenodo.19547550 (DOI)
Is supplemented by
Thesis: 10.5281/zenodo.19565809 (DOI)