<span class="searchmatch">natural</span> <span class="searchmatch">isomorphism</span> (plural <span class="searchmatch">natural</span> <span class="searchmatch">isomorphisms</span>) (category theory) A <span class="searchmatch">natural</span> transformation whose every component is an <span class="searchmatch">isomorphism</span>....
<span class="searchmatch">natural</span> <span class="searchmatch">isomorphisms</span> plural of <span class="searchmatch">natural</span> <span class="searchmatch">isomorphism</span>...
category theory): iso anisomorphism Curry-Howard <span class="searchmatch">isomorphism</span> <span class="searchmatch">natural</span> <span class="searchmatch">isomorphism</span> quasi-<span class="searchmatch">isomorphism</span> ring <span class="searchmatch">isomorphism</span> symplectomorphism isomorphic isomorphous the...
<span class="searchmatch">naturality</span> square — between two components (correlated to the domain and codomain of the arrow). Cartesian <span class="searchmatch">natural</span> transformation <span class="searchmatch">natural</span> <span class="searchmatch">isomorphism</span>...
unit, a left unit <span class="searchmatch">natural</span> <span class="searchmatch">isomorphism</span> λ A : I ⊗ A ≃ A {\displaystyle \lambda _{A}:I\otimes A\simeq A} , a right unit <span class="searchmatch">natural</span> <span class="searchmatch">isomorphism</span> ρ A : A ⊗ I ≃ A...
history <span class="searchmatch">natural</span> increase rate naturalise, naturalize <span class="searchmatch">natural</span> <span class="searchmatch">isomorphism</span> naturalist naturalistic <span class="searchmatch">natural</span> join <span class="searchmatch">natural</span> key <span class="searchmatch">natural</span> killer <span class="searchmatch">natural</span> killer...
equivalence of categories, <span class="searchmatch">isomorphism</span> of categories, Galois connection (category theory, strictly) A <span class="searchmatch">natural</span> <span class="searchmatch">isomorphism</span> between a pair of functors satisfying...
Etymology scriptorium.) traciator (plural traciators) (mathematics) A <span class="searchmatch">natural</span> <span class="searchmatch">isomorphism</span> of a functor (F) such that F(x⊗y)→F(y⊗x). 2015, André Henriques,...
to a hom functor represented by that object and any morphism to a <span class="searchmatch">natural</span> <span class="searchmatch">isomorphism</span> induced uniquely by that morphism according to the Yoneda lemma....
has an extension to a cocontinuous functor that is unique up to <span class="searchmatch">natural</span> <span class="searchmatch">isomorphism</span>. 2015, Rory B. B. Lucyshyn-Wright, “Enriched algebraic theories and...