Search results for "Adjunction"
showing 10 items of 10 documents
Fuzzy Relational Mathematical Morphology: Erosion and Dilation
2020
In the recent years, the subject if fuzzy mathematical morphology entered the field of interest of many researchers. In our recent paper [23], we have developed the basis of the (unstructured) L-fuzzy relation mathematical morphology where L is a quantale. In this paper we extend it to the structured case. We introduce structured L-fuzzy relational erosion and dilation operators, study their basic properties, show that under some conditions these operators are dual and form an adjunction pair. Basing on the topological interpretation of these operators, we introduce the category of L-fuzzy relational morphological spaces and their continuous transformations.
From quantale algebroids to topological spaces: Fixed- and variable-basis approaches
2010
Using the category of quantale algebroids the paper considers a generalization of the classical Papert-Papert-Isbell adjunction between the categories of topological spaces and locales to partial algebraic structures. It also provides a single framework in which to treat the concepts of quasi, standard and stratified fuzzy topology.
Homotopy limits for 2-categories
2008
AbstractWe study homotopy limits for 2-categories using the theory of Quillen model categories. In order to do so, we establish the existence of projective and injective model structures on diagram 2-categories. Using these results, we describe the homotopical behaviour not only of conical limits but also of weighted limits. Finally, pseudo-limits are related to homotopy limits.
Triple planes with $p_g=q=0$
2019
We show that general triple planes with p_g=q=0 belong to at most 12 families, that we call surfaces of type I,..., XII, and we prove that the corresponding Tschirnhausen bundle is direct sum of two line bundles in cases I, II, III, whereas is a rank 2 Steiner bundle in the remaining cases. We also provide existence results and explicit constructions for surfaces of type I,..., VII, recovering all classical examples and discovering several new ones. In particular, triple planes of type VII provide counterexamples to a wrong claim made in 1942 by Bronowski.
Double adjunctions and free monads
2011
We characterize double adjunctions in terms of presheaves and universal squares, and then apply these characterizations to free monads and Eilenberg--Moore objects in double categories. We improve upon our earlier result in "Monads in Double Categories", JPAA 215:6, pages 1174-1197, 2011, to conclude: if a double category with cofolding admits the construction of free monads in its horizontal 2-category, then it also admits the construction of free monads as a double category. We also prove that a double category admits Eilenberg--Moore objects if and only if a certain parameterized presheaf is representable. Along the way, we develop parameterized presheaves on double categories and prove …
Pied-piping domains and adjunction coincide in Finnish
2012
It is well-known thatwh-pronouns may pied-pipe their containing host phrases as they move to their final scope positions. In Finnish, such pied-piping requires further that awh-element is situated at the left edge of host phrases, a position in which it ends up either through base generation or throughwh-movement. This article investigates which independent properties define such pied-piping domains. An empirical generalization will be defended according to which a phrase constitutes such pied-piping domain if and only if it is adjoinable. The hypothesis that pied-piping domains are islands is put into question. Secondarywh-movement, pied-piping and adjunction are thus intrinsically linked …
Ideal-valued topological structures
2010
With L a complete lattice and M a continuous lattice, this paper demonstrates an adjunction between M -valued L-topological spaces (i.e. (L,M )-topological spaces) and Idl(M )-valued L-topological spaces where Idl(M ) is the complete lattice of all ideals of M . It is shown that the right adjoint functor provides a procedure of generating (L,M )-topologies from antitone families of (L,M )-topologies. This procedure is then applied to give an internal characterization of joins in the complete lattice of all (L,M )-topologies on a given set.
Monads in double categories
2010
We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means for a double category to admit the construction of free monads. Our main theorem shows that, under some mild conditions, a double category that is a framed bicategory admits the construction of free monads if its horizontal 2-category does. We apply this result to obtain double adjunctions which extend the adjunction between graphs and categories and the adjunction between polynomial endofunctors and polynomial monads.
Weighted limits in simplicial homotopy theory
2010
Abstract By combining ideas of homotopical algebra and of enriched category theory, we explain how two classical formulas for homotopy colimits, one arising from the work of Quillen and one arising from the work of Bousfield and Kan, are instances of general formulas for the derived functor of the weighted colimit functor.
Sobriety and spatiality in varieties of algebras
2008
The paper considers a generalization of the classical Papert-Papert-Isbell adjunction between the categories of topological spaces and locales to an arbitrary variety of algebras and illustrates the obtained results by the category of algebras over a given unital commutative quantale.