Results 51 to 60 of about 149 (94)

Fuzzy quasi-metrik uzaylar

open access: yes, 2011
Bu tezde, fuzzy metrik uzayların bir genelleştirilmesi olan fuzzy quasi-metrik uzaylar ile ilgili tanımlar verilmiş ve bazı özellikleri incelenmiştir. Ayrıca quasi-metrik uzaylardan yararlanarak tam fuzzy quasi-metrik uzaylar, dengeli fuzzy quasi-metrik ...
Ümmügülsüm Akdoğan
core   +1 more source

Minimal Decompositions of Complete Graphs into Subgraphs with Embeddability Properties

open access: yes, 1969
Although the problem of finding the minimum number of planar graphs into which the complete graph can be decomposed remains partially unsolved, the corresponding problem can be solved for certain other surfaces.
L. W. Beineke
core   +1 more source

Caristi's Type Mappings On Complete Partial Metric Spaces [PDF]

open access: yes, 2013
Altun, Ishak/0000-0002-7967-0554We introduce a new type of Caristi's mapping on partial metric spaces and show that a partial metric space is complete if and only if every Caristi mapping has a fixed point.
Acar, Ozlem   +2 more
core   +1 more source

Coherence completions of categories [PDF]

open access: yes, 1999
This is the first of a series of papers on coherence completions of categories. Here we show that there is a close connection between Girard's coherence spaces and free bicomplete categories.
Hu, Hongde, Joyal, Andre
core   +1 more source

The tensor embedding for a Grothendieck cosmos

open access: yes, 2023
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
Holm, Henrik   +3 more
core   +1 more source

Problems with Fixpoints of Polynomials of Polynomials [PDF]

open access: yes
Motivated by applications in computable analysis, we study fixpoints of certain endofunctors over categories of containers. More specifically, we focus on fibred endofunctors over the fibrewise opposite of the codomain fibration that can be themselves be
Pradic, Cécilia, Price, Ian
core   +1 more source

Almost 2-Fully Normal, Pairwise Paracompact and Complete Developable Bispaces

open access: yes, 2004
We introduce and study the notion of an almost 2-fully normal bispace. In particular; we prove that a bispace is quasi-pseudometrizable if and only if it is almost 2-fully normal and pairwise developable.
Romaguera, Salvador
core  

Abstract From Parity Games to Circular Proofs

open access: yes, 2008
We survey on the ongoing research that relates the combinatorics of parity games to the algebra of categories with finite products, finite coproducts, initial algebras and final coalgebras of definable functors, i.e. µ-bicomplete categories.
Labri Université Bordeaux   +1 more
core  

Cuts for circular proofs

open access: yes
One of the authors introduced in [1] a calculus ofcircular proofs for studying the computability arising from thefollowing categorical operations: finite products and coproducts,initial algebras, final coalgebras.
Luigi Santocanale, Jérôme Fortier
core   +1 more source

Home - About - Disclaimer - Privacy