Limits and colimits of quantaloid-enriched categories and their distributors

Lili Shen,Walter Tholen

DOI: https://doi.org/10.48550/arXiv.1504.03348

2015-10-13

Abstract:It is shown that, for a small quantaloid Q, the category of small Q-categories and Q-functors is total and cototal, and so is the category of Q-distributors and Q-Chu transforms.

Category Theory

What problem does this paper attempt to address?

Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions

Lili Shen,Dexue Zhang

DOI: https://doi.org/10.48550/arXiv.1307.5625

2013-07-22

Abstract:Each distributor between categories enriched over a small quantaloid Q gives rise to two adjunctions between the categories of contravariant and covariant presheaves, and hence to two monads. These two adjunctions are respectively generalizations of Isbell adjunctions and Kan extensions in category theory. It is proved that these two processes are functorial with infomorphisms playing as morphisms between distributors; and that the free cocompletion functor of Q-categories factors through both of these functors.

Category Theory
Topological categories, quantaloids and Isbell adjunctions

Lili Shen,Walter Tholen

DOI: https://doi.org/10.1016/j.topol.2015.12.020

IF: 0.583

2016-03-01

Topology and its Applications

Abstract:In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory. Motivated by some key results of the 1970s, the paper develops all needed ingredients from the theory of quantaloids in order to place essential results of categorical topology into the context of quantaloid-enriched category theory, a field that previously drew its motivation and applications from other domains, such as quantum logic and sheaf theory.

mathematics, applied
Adjunctions in Quantaloid-enriched Categories

Lili Shen

DOI: https://doi.org/10.48550/arXiv.1408.0321

2015-10-14

Abstract:This dissertation is devoted to a study of adjunctions concerning categories enriched over a quantaloid Q (or Q-categories for short), with the following types of adjunctions involved: (1) adjoint functors between Q-categories; (2) adjoint distributors between Q-categories; (3) adjoint functors between categories consisting of Q-categories. For a small quantaloid Q and a distributor between Q-categories, two adjunctions between the Q-categories of contravariant and covariant presheaves are presented. These adjunctions respectively extend the fundamental construction of Isbell adjunctions and Kan extensions in category theory, so, they will be called the Isbell adjunction and Kan adjunction, respectively. The functoriality of these constructions is the central topic of this dissertation. In order to achieve this, infomorphisms between distributors are introduced to organize distributors (as objects) into a category. Then we proceed as follows: first, the Isbell adjunction and Kan adjunction associated with each distributor between Q-categories give rise to two monads, which are respectively (covariant) functorial and contravariant functorial from the category of distributors and infomorphisms to the category of Q-closure spaces; second, it is shown that the assignments of a distributor to the fixed points of the two monads are respectively (covariant) functorial and contravariant functorial from the category of distributors and infomorphisms to that of skeletal complete Q-categories and left adjoint functors. As consequences of the functoriality of the above processes, three factorizations of the free cocompletion functor of Q-categories are presented. Finally, as applications, the theory of formal concept analysis and that of rough sets are extended to theories based on fuzzy relations between fuzzy sets.

Category Theory
Chu connections and back diagonals between $\mathcal{Q}$-distributors

Lili Shen,Yuanye Tao,Dexue Zhang

DOI: https://doi.org/10.1016/j.jpaa.2015.10.005

2016-01-01

Abstract:Chu connections and back diagonals are introduced as morphisms for distributors between categories enriched in a small quantaloid $\mathcal{Q}$. These notions, meaningful for closed bicategories, dualize the constructions of arrow categories and the Freyd completion of categories. It is shown that, for a small quantaloid $\mathcal{Q}$, the category of complete $\mathcal{Q}$-categories and left adjoints is a retract of the dual of the category of $\mathcal{Q}$-distributors and Chu connections, and it is dually equivalent to the category of $\mathcal{Q}$-distributors and back diagonals. As an application of Chu connections, a postulation of the intuitive idea of reduction of formal contexts in the theory of formal concept analysis is presented, and a characterization of reducts of formal contexts is obtained.

Category Theory,Logic in Computer Science
Chu Connections and Back Diagonals Betweenq-Distributors

Lili Shen,Yuanye Tao,Dexue Zhang

DOI: https://doi.org/10.1016/j.jpaa.2015.10.005

2015-01-01

Abstract:Chu connections and back diagonals are introduced as morphisms for distributors between categories enriched in a small quantaloid $\mathcal{Q}$. These notions, meaningful for closed bicategories, dualize the constructions of arrow categories and the Freyd completion of categories. It is shown that, for a small quantaloid $\mathcal{Q}$, the category of complete $\mathcal{Q}$-categories and left adjoints is a retract of the dual of the category of $\mathcal{Q}$-distributors and Chu connections, and it is dually equivalent to the category of $\mathcal{Q}$-distributors and back diagonals. As an application of Chu connections, a postulation of the intuitive idea of reduction of formal contexts in the theory of formal concept analysis is presented, and a characterization of reducts of formal contexts is obtained.
CATEGORIES ENRICHED OVER A QUANTALOID: ALGEBRAS

Qiang Pu,Dexue Zhang

2015-01-01

Theory and applications of categories

Abstract:Given a small quantaloid Q with a set of objects Q(0), it is proved that complete skeletal Q-categories, completely distributive skeletal Q-categories, and Q-powersets of Q-typed sets are all monadic over the slice category of Set over Q(0).
Many-valued complete distributivity

Hongliang Lai,Dexue Zhang

DOI: https://doi.org/10.48550/arXiv.math/0603590

2006-05-12

Abstract:Categories enriched over a commutative unital quantale can be studied as generalized, or many-valued, ordered structures. Because many concepts, such as complete distributivity, in lattice theory can be characterized by existence of certain adjunctions, they can be reformulated in the many-valued setting in terms of categorical postulations. So, it is possible, by aid of categorical machineries, to establish theories of many-valued complete lattices, many-valued completely distributive lattices, and so on. This paper presents a systematical investigation of many-valued complete distributivity, including the topics: (1) subalgebras and quotient algebras of many-valued completely distributive lattices; (2) categories of (left adjoint) functors; and (3) the relationship between many-valued complete distributivity and properties of the quantale of truth values. The results show that enriched category theory is a very useful tool in the study of many-valued versions of order-related mathematical entities.

Category Theory,Logic
The powerset monad on quantale-valued sets

Lili Shen,Xiaojuan Zhao

DOI: https://doi.org/10.1016/j.fss.2024.108855

IF: 4.462

2024-01-10

Fuzzy Sets and Systems

Abstract:For a small involutive quantaloid Q , it is shown that the category of separated complete Q -categories and left adjoint Q -functors is strictly monadic over the category of symmetric Q -categories. In particular, the (covariant) powerset monad on the category of quantale-valued sets is precisely formulated.

mathematics, applied,statistics & probability,computer science, theory & methods
Quantale Valued Sets: Categorical Constructions and Properties

José G. Alvim,Hugo L. Mariano,Caio de A. Mendes

DOI: https://doi.org/10.1007/s11225-024-10138-w

2024-09-20

Studia Logica

Abstract:This work mainly concerns the—here introduced—category of -sets and functional morphisms, where is a commutative semicartesian quantale. We prove it enjoys all limits and colimits, that it has a classifier for regular subobjects (a sort of truth-values object), which we characterize and give explicitly. Moreover: we prove it to be -locally presentable, (where ); we also describe a hierarchy of monoidal structures in this category.

mathematics,logic
Density in categorical topology via quantaloid-enriched categories

Hongliang Lai,Lili Shen

DOI: https://doi.org/10.1016/j.topol.2020.107524

IF: 0.583

2021-09-01

Topology and its Applications

Abstract:<p>Based on Garner's discovery that topological categories are total categories enriched in a quantaloid, this paper presents a series of results related to initial and final density in categorical topology via (co)density in quantaloid-enriched categories, focusing on (co-)Sierpiński objects, Galois correspondences and their fixed points.</p>

mathematics, applied
Products, Homotopy Limits and Applications

Amit Hogadi,Chenyang Xu

DOI: https://doi.org/10.48550/arXiv.0902.4016

2009-02-24

Abstract:In this note, we discuss the derived functors of infinite products and homotopy limits. $QC(X)$, the category of quasi-coherent sheaves on a Deligne-Mumford stack $X$, usually has the property that the derived functors of product vanish after a finite stage. We use this fact to study the convergence of certain homotopy limits and apply it compare the derived category of $QC(X)$ with certain other closely related triangulated categories.

Category Theory,Algebraic Geometry
Quasicontinuous Domains and Generalized Completely Distributive Lattices

YANG Jinbo,LUO Maokang

DOI: https://doi.org/10.3969/j.issn.1000-0917.2007.04.002

IF: 1.675

2007-01-01

Advances in Mathematics

Abstract:In this paper we prove that (1) The category of distributive generalized completely lattices and the category of quasicontinuous domains (both endowed with suitable morphisms) are equivalent, and (2) Any bounded-complete quasicontinuous domain with its Scott topology forms a maximal limit space.
Properties of well-powered of the category of Quantale modules and its direct limits

WANG Kai-Yun,ZHAO Bin

DOI: https://doi.org/10.3969/j.issn.0490-6756.2010.06.011

2010-01-01

Abstract:Firstly,the authors prove that the category of Quantale modules has intersection and is balanced. Secondly,a one-to-one-correspondence between the set of all the nuclei(conuclei) on a Quantale module and the set of all the quotient objects(sub-objects) of it in the category of Quantale modules can be obtained.So,the extremal well-powered and the extremal co-well-powered facts are proved.Finally, the authors study the direct limit of the category of Quantale modules and give its concrete structure.
Quantization as a categorical equivalence

Benjamin H. Feintzeig

DOI: https://doi.org/10.1007/s11005-023-01765-w

2024-01-20

Letters in Mathematical Physics

Abstract:We demonstrate that, in certain cases, quantization and the classical limit provide functors that are "almost inverse" to each other. These functors map between categories of algebraic structures for classical and quantum physics, establishing a categorical equivalence.

physics, mathematical
Two Types of Galois Correspondences over Quantaloid-Typed Sets

Jinming Fang,Zhou Fang

DOI: https://doi.org/10.2989/16073606.2020.1746429

2020-01-01

Quaestiones Mathematicae

Abstract:For a small, integral and meet-continuous quantaloid, we establish two types of Galois correspondences by considering a limit structure on a set as a-multiple limit structure on a-typed set. One Galois correspondence shows that the stratified-topologies and the-multiple limit structures based on-typed sets can be converted to each other categorically. Moreover, the other one shows that a new mathematical structure on a-typed set, namely T-limit structure, can be obtained from-multiple limit structures categorically. In the case thatis the quantaloid(L) of diagonals obtained from a GL-quantale L, the first Galois correspondence captures a pair of concrete functors between the concrete category of (L)-multiple limit spaces and that of stratified(L)-topological spaces over the slice category Set down arrow L, and the second Galois correspondence captures a pair of concrete functors between the concrete category of (L)-multiple limit spaces and that of T-(L)-limit spaces over the slice category Set down arrow L. Last but not the least, the first Galois correspondence reduces to the famous Lowen's functors, while the second Galois correspondence captures a new relationship between the construct of limit spaces and that of T-limit spaces in the case that the underlying quantale L is considered as a one-object quantaloid.
Notes on Two-Sided Quantales

Xi-juan Wang,Wei He

DOI: https://doi.org/10.1007/978-3-642-15660-1_75

2010-01-01

Abstract:hi this paper, we show that a two-sided quantale is coherent if it is isomorphic to the quantale of ideals of a distributive two-sided *-semilattice. Thus quantale representations of distributive two-sided *-semilattices are obtained. We also show that the free two-sided quantale generated by a set exists. And then the category TQuant of two-sided quantales is an algebraic category.
Some properties of the category of fuzzy Quantales

WANG Kai-yun,ZHAO Bin

DOI: https://doi.org/10.3969/j.issn.1672-4291.2013.03.001

2013-01-01

Abstract:The concept of a fuzzy Quantale is introduced.It is shown that the category of fuzzy Quantales is isomorphic to the category of L-algebras.This result presents that L-algebras can also be treated as fuzzifications of Quantales from the viewpoint of category theory.The concrete structure of limit in the category of fuzzy Quantales is given,and the completeness of the category of fuzzy Quantales is obtained.The structure of inverse limit of an inverse system in the category of fuzzy Quantales is described.Then a mapping between two inverse systems is defined,and the concept of a limit mapping between the inverse limits of two inverse systems is induced.
Fundamental study: Complete and directed complete Ω-categories

Hongliang Lai,Dexue Zhang

DOI: https://doi.org/10.1016/j.tcs.2007.09.012

2007-01-01

Abstract:AbstractLet @W be a commutative, unital quantale. Complete and directed complete @W-categories are the core objects in Quantitative Domain Theory. This paper, based on the theory of @F-completeness for enriched categories, presents a systematic investigation of completeness and directed completeness of @W-categories.

Limits and colimits of quantaloid-enriched categories and their distributors

Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions

Topological categories, quantaloids and Isbell adjunctions

Adjunctions in Quantaloid-enriched Categories

Chu connections and back diagonals between $\mathcal{Q}$-distributors

Chu Connections and Back Diagonals Betweenq-Distributors

CATEGORIES ENRICHED OVER A QUANTALOID: ALGEBRAS

Many-valued complete distributivity

The powerset monad on quantale-valued sets

Quantale Valued Sets: Categorical Constructions and Properties

Density in categorical topology via quantaloid-enriched categories

Products, Homotopy Limits and Applications

Quasicontinuous Domains and Generalized Completely Distributive Lattices

Properties of well-powered of the category of Quantale modules and its direct limits

Quantization as a categorical equivalence

Two Types of Galois Correspondences over Quantaloid-Typed Sets

Notes on Two-Sided Quantales

Some properties of the category of fuzzy Quantales

Fundamental study: Complete and directed complete Ω-categories