역방향 자동 미분 (Reverse-mode automatic differentiation)은 일반적으로 각 소스 타입 (source type)이 단일 코탄젠트 타입 (cotangent type)을 갖는 의미론적 설명 (denotational account)을 통해 제공됩니다. 변형 타입 (Variant types)은 실행 시점에 선택된 분기 (branch)에 따라 유효한 코탄젠트 공간 (cotangent space)이 달라지기 때문에, 이러한 단순 타입 표현을 방해합니다. 따라서 기존의 정확성 결과들은 프라이멀 인덱스 기반의 코탄젠트 공간 가족 (primal-indexed families of cotangent spaces)을 사용하며, 이들의 자연스러운 내부 언어는 의존 타입 (dependently typed)입니다. 본 논문에서는 동일한 의존성을 일반적인 비의존 타겟 (nondependent target)에서도 표현할 수 있음을 보여줍니다. 각 소스 타입의 코탄젠트 파이버 (cotangent fibres)는 공통의 주변 타입 (ambient type)에 임베딩되며, 프라이멀 인덱스 멱등원 (primal-indexed idempotent)이 유효한 파이버를 선택합니다. 의미론적으로 이는 상수 가족 모델 (constant-family model)에서 그 Karoubi 완비 (Karoubi completion)로 전환하는 것과 같습니다. 카테고리 $\mathcal C$와 정규 무한 기수 $κ$에 대하여, 우리는 $\mathcal C$가 Cauchy 완비 (Cauchy complete)이고 모든 $κ$-작은 가족 (κ-small family)이 공통의 retract host를 허용할 때에만 상수 가족 포함 관계가 $\mathrm{Kar}(\mathrm{Copow}*κ(\mathcal C)) \simeq \mathrm{Fam}*κ(\mathcal C)$ 동치 관계로 확장됨을 증명합니다. 또한 우리는 결과적으로 발생하는 코제품 (coproducts)을 명시적으로 구성합니다. 이 정리를 적용하여, 우리는 일반적인 타겟 타입 (target types), 투영기 (projectors), 그리고 역전파기 (backpropagators)만을 사용하여 변형을 포함한 역방향 자동 미분에 대한 이카테시안 폐쇄 의미론 (bicartesian closed semantics)을 얻습니다. 생성된 멱등원 (idempotents)을 분할하면 기존의 의존 의미론 (dependent semantics)을 회복할 수 있습니다. 따라서 의존적 코탄젠트 가족 (dependent cotangent families)과 투영기로 장착된 단순 타입 주변 코탄젠트 (simply typed ambient cotangents)는 동일한 의미론적 변환의 동등한 표현입니다.