BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Frédéric Mynard contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The interrelations between various classes of convergence spaces defined by countability conditions are studied. Remarkably, they all find characterizations in the usual space of ultrafilters in terms of classical topological properties. This is exploited to produce relevant examples in the realm of convergence spaces from known topological examples.
We introduce a pointfree theory of convergence on lattices and coframes. A convergence lattice is a lattice $L$ with a monotonic map $\lim_L$ from the lattice of filters on $L$ to $L$, meant to be an abstract version of the map sending every filter of subsets to its set of limits. This construction exhibits the category of convergence spaces as a coreflective subcategory of the opposite of the category of convergence lattices. We extend this construction to coreflections between limit spaces and the opposite of so-called limit lattices and limit coframes, between pretopological convergence spaces and the opposite of so-called pretopological convergence coframes, between adherence spaces and the opposite of so-called adherence coframes, between topological spaces and the opposite of so-called topological coframes. All of our pointfree categories are complete and cocomplete, and topological over the category of coframes. Our final pointfree category, that of topological coframes, shares with the category of frames the property of being in a dual adjunction with the category of topological spaces. We show that the latter arises as a retract of the former, and that this retraction restricts to a reflection between frames and so-called strong topological coframes.
We study the completeness and ultracompleteness numbers of a convergence space. In the case of a completely regular topological space, the completeness number is countable if and only if the space is $Č$ech-complete, and the ultracompleteness number is countable if and only if the space is ultracomplete. We show that the completeness number of a space is equal to the pseudopaving number of the upper Kuratowski convergence on the space of its closed subsets, at $\emptyset$. Similarly, the ultracocompleteness number of a space is equal to the paving number of the upper Kuratowski convergence on the space of its closed subsets, at $\emptyset$.
This article fits in the context of the approach to topological problems in terms of the underlying convergence space structures, and serves as yet another illustration of the power of the method. More specifically, we spell out convergence-theoretic characterizations of the notions of weak base, weakly first-countable space, semi-metrizable space, and symmetrizable spaces. With the help of the already established similar characterizations of the notions of Fréchet-Ursyohn, sequential, and accessibility spaces, we give a simple algebraic proof of a classical result regarding when a symmetrizable (respectively, weakly first-countable, respectively sequential) space is semi-metrizable (respectively first-countable, respectively Fréchet) that clarifies the situation for non-Hausdorff spaces. Using additionally known results on the commutation of the topologizer with product, we obtain simple algebraic proofs of various results of Y. Tanaka on the stability under product of symmetrizability and weak first-countability, and we obtain the same way a new characterization of spaces whose product with every metrizable topology is weakly first-countable, respectively symmetrizable.
We examine sufficient conditions for the dual of a topological group to be metrizable and locally compact.
Two classical results characterizing regularity of a convergence space in terms of continuous extensions of maps on one hand, and in terms of continuity of limits for the continuous convergence on the other, are extended to convergence-approach spaces. Characterizations are obtained for two alternative extensions of regularity to convergence-approach spaces: regularity and strong regularity. The results improve upon what is known even in the convergence case. On the way, a new notion of strictness for convergence-approach spaces is introduced.
The first author introduced a measure of compactness for families of sets, relative to a class of filters, in the context of convergence approach spaces. We characterize a variety of maps (types of quotient maps, closed maps, and variants of perfect maps) as those respecting this measure of compactness under one form or another. We establish a product theorem for measure of compactness that yields as instances new product theorems for spaces and maps, and new product characterizations of spaces and maps, thus extending existing results from the category of convergence spaces to that of convergence approach spaces. In particular, results of the Mròwka-Kuratowski type are obtained, shedding new light on existing results for approach spaces.
Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identified as those Kleisli monoids with algebraic structure. This result generalizes the classical identification of exponentiable topological spaces as those whose lattice of open subsets forms a continuous lattice.