Elements of Topological Algebra. III. The Closed Category of Filters

TL;DR

This paper investigates the category of filters and germs of admissible partial functions, demonstrating that it forms a nonsymmetric closed category, thus contributing to the understanding of topological algebra structures.

Contribution

It establishes that the category of filters and germs of admissible partial functions is a nonsymmetric closed category, expanding the categorical framework in topological algebra.

Findings

$ ext{Fil}$ is a nonsymmetric closed category

The structure of filters and germs is formalized categorically

Advances understanding of topological algebra structures

Abstract

We explore the structure of $\text{Fil}$, the category of filters and germs of admissible partial functions. In particular, we show that $\text{Fil}$ is a nonsymmetric closed category, as defined elsewhere by this and other authors.