En 1957, M. Krasner describió un campo valorado completo como el límite inverso de un sistema de ciertas estructuras, llamadas hiper-campos, asociadas con . Ponemos este resultado en términos puramente categoricos teóricos al traducirlo en una construcción de límite en ciertas categorías de rebanada de la categoría de hiper-campos valorados y sus homomorfismos. Reemplazamos los argumentos originales dependientes de la métrica empleados por Krasner con una transición limpia y elegante a ciertas categorías de rebanada.