Results 11 to 20 of about 255 (119)

μ-Bicomplete Categories and Parity Games

RAIRO - Theoretical Informatics and Applications, 2002
Unfortunately, it appears that LaBRI has not kept a copy of this document. An email sent to director of this institution enquiring where are kept the reports before 2005 has not received an answer. A shortened version of this report has been published as RAIRO-Theor. Inf.
L. Santocanale
semanticscholar   +6 more sources

Cuts for circular proofs: semantics and cut-elimination [PDF]

Annual Conference for Computer Science Logic, 2013
International audienceOne of the authors introduced in (Santocanale 2003) a calculus of circular proofs for studying the computability arising from the following categorical operations: finite products, finite coproducts, initial algebras, final ...
J. Fortier, L. Santocanale
semanticscholar   +2 more sources

Cuntz semigroups of ultraproduct C∗ ‐algebras [PDF]

Journal of the London Mathematical Society, 2019
We prove that the category of abstract Cuntz semigroups is bicomplete. As a consequence, the category admits products and ultraproducts. We further show that the scaled Cuntz semigroup of the (ultra)product of a family of C∗ ‐algebras agrees with the ...
Ramon Antoine, F. Perera, Hannes Thiel
semanticscholar   +3 more sources

Koszul Monoids in Quasi-abelian Categories [PDF]

Applied Categorical Structures, 2022
Suppose that we have a bicomplete closed symmetric monoidal quasi-abelian category $$\mathcal {E}$$ E with enough flat projectives, such as the category of complete bornological spaces $${{\textbf {CBorn}}}_k$$ CBorn k or the category of inductive limits
Rhiannon Savage
semanticscholar   +3 more sources

Compactly generated triangulated subcategories of homotopy categories induced by cotorsion pairs

Journal of Algebra and its Applications, 2017
In this paper, we investigate the homotopy categories [Formula: see text] and [Formula: see text] with respect to a complete and hereditary cotorsion pair [Formula: see text] in a bicomplete abelian category.
Wenjing Chen, Zhong-kui Liu, Xiaoyan Yang   +2 more
semanticscholar   +2 more sources

The tensor embedding for a Grothendieck cosmos

Science China Mathematics, 2019
While the Yoneda embedding and its generalizations have been studied extensively in the literature, the so-called tensor embedding has only received a little attention. In this paper, we study the tensor embedding for closed symmetric monoidal categories
Henrik Holm, Sinem Odabaşı
semanticscholar   +2 more sources

µ-Bicomplete Categories and Parity Games

, 2002
For an arbitrary category, we consider the least class of functors con- taining the projections and closed under finite products, finite coproducts, parameterized initial algebras and parameterized final coalgebras, i.e. the class of functors that are definable by μ-terms. We call the category μ-bicomplete if every μ-term defines a functor.
Santocanale, Luigi
openaire   +2 more sources

Cotorsion Pairs in 𝒞N(A)

, 2017
Given a cotorsion pair ([Formula: see text], [Formula: see text]) in an abelian category [Formula: see text] , we define cotorsion pairs ([Formula: see text], dg[Formula: see text]) and (dg[Formula: see text], [Formula: see text]) in the category ...
Xiaoyan Yang, T. Cao
semanticscholar   +2 more sources

Fixed Point Results in Fuzzy Strong Controlled Metric Spaces with an Application to the Domain Words

Advances in Mathematical Physics, Volume 2023, Issue 1, 2023., 2023
In this manuscript, we introduce the notions of fuzzy strong controlled metric spaces, fuzzy strong controlled quasi‐metric spaces, and non‐Archimedean fuzzy strong controlled quasi‐metric spaces and generalize the famous Banach contraction principle. We prove several fixed point results in the context of non‐Archimedean fuzzy strong controlled quasi ...
Aftab Hussain, Umar Ishtiaq, Hamed Al Sulami, John Clayton   +3 more
wiley   +1 more source

Interpolative Kannan Contractions in T0‐Quasi‐Metric Spaces

Journal of Mathematics, Volume 2021, Issue 1, 2021., 2021
In this paper, we update the well‐known fixed point theorem of Kannan using the interpolation notion in the realm of quasi‐metric spaces. We consider some asymmetric versions. We also present some illustrative examples in support of the obtained results.
Yaé Ulrich Gaba, Maggie Aphane, Hassen Aydi, Zoran Mitrovic   +3 more
wiley   +1 more source