# An extension of the normed dual functors

## TL;DR

This paper introduces the hyperdual functor, a new construction associating a bidualic Banach space to each normed space, capturing all even duals and preserving algebraic dimension.

## Contribution

It extends the dual functor to a hyperdual functor using direct limits, providing a new categorical tool for normed space analysis.

## Key findings

- The hyperdual space contains the original space isometrically.
- It includes all even duals as increasing sequence of retracts.
- The functor is faithful and covariant, preserving algebraic dimension.

## Abstract

By means of the direct limit technique, with every normed space X it is associated a bidualic (Banach) space $\tilde{X} (D^2( \tilde{X}) \cong \tilde{X} $ - called the hyperdual of $X$) that contains (isometrically embedded) $X$ as well as all the even (normed) duals $D^{2n}(X)$, which make an increasing sequence of the category retracts. The algebraic dimension dim $\tilde{X}$ = dim $X$ (dim $\tilde{X}$ = $2^{\aleph_0}$ ), whenever dim $X \neq \aleph_0$, (dim $X = \aleph_0$). Furthermore, the correspondence $X \mapsto \tilde{X}$ extends to a faithful covariant functor (called the hyperdual functor) on the category of normed spaces.