Results 51 to 60 of about 255 (119)

Verdier duality on conically smooth stratified spaces

, 2023
In this paper we prove a duality for constructible sheaves on conically smooth stratified spaces. Here we consider sheaves with values in a stable and bicomplete $\infty$-category equipped with a closed symmetric monoidal structure, and in this setting ...
Volpe, Marco
core  

Coherence Completions of Categories and Their Enriched Softness

, 1997
We summarize some recent results on coherence completions of categories. Our goal is to demonstrate that there is a close connection between Girard's coherence spaces and free bicomplete categories. We extend coherence spaces to C-valued coherence spaces
Joyal, André, Hu, Hongde
core   +1 more source

Bicompleteness of the fine quasi-uniformity

, 2017
A characterization of the topological spaces that possess a bicomplete fine quasi-uniformity is obtained. In particular we show that the fine quasi-uniformity of each sober space, of each first-countable T1-space and of each quasi-pseudo-metrizable space
Ferrario, Nathalie, Künzi, Hans-Peter A.   +1 more
core  

Assessing the Importance of Psychosocial Factors Associated With Sustainable Organizational Development During COVID-19. [PDF]

Front Psychol, 2021
Dragan F, Luo C, Ivascu L, Ali M.
europepmc   +1 more source

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

, 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

, 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, Luigi Santocanale   +1 more
core  

Cuts for circular proofs

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

Fuzzy quasi-metrik uzaylar

, 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  

The six operations in topology

, 2023
In this paper we show that the six functor formalism for sheaves on locally compact Hausdorff topological spaces, as developed for example in Kashiwara and Schapira's book Sheaves on Manifolds, can be extended to sheaves with values in any closed ...
Volpe, Marco
core  

Fuzzy quasi-metric spaces

, 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 ...
Akdoğan, Ümmügülsüm
core