scientific article
From MaRDI portal
Publication:3958648
zbMath0495.18009MaRDI QIDQ3958648
Publication date: 1981
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1981__22_3_283_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
category of sheavessheaves on localeadjoint pair of bimodulescategory based on a bicategoryCauchy-complete categorylocally partially ordered bicategoryskeletal symmetric Cauchy-complete categories
Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Enriched categories (over closed or monoidal categories) (18D20)
Related Items
An introduction to quantaloid-enriched categories ⋮ Sheaves on involutive quantales: Grothendieck quantales. ⋮ Categorical foundations of topology with applications to quantaloid enriched topological spaces ⋮ Quantale-valued preorders: globalization and cocompleteness. ⋮ Morita equivalence for many-sorted enriched theories ⋮ Maps. I: Relative to a factorisation system ⋮ Topological categories, quantaloids and Isbell adjunctions ⋮ Unnamed Item ⋮ Yoneda completeness and flat completeness of ordered fuzzy sets ⋮ Fixed points of adjoint functors enriched in a quantaloid ⋮ The rise and fall of \(V\)-functors ⋮ Quantalic topological theories ⋮ Diagonals between \(\mathcal{Q}\)-distributors ⋮ Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ On continuous time agents ⋮ Commutativity ⋮ Enriched categories as a free cocompletion ⋮ Unnamed Item ⋮ Preordered sets valued in a GL-monoid ⋮ Generalising Conduché's theorem ⋮ A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes ⋮ Restriction categories as enriched categories ⋮ Comonadic base change for enriched categories ⋮ Many-Valued Preorders I: The Basis of Many-Valued Mathematics ⋮ Mealy morphisms of enriched categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Sheaves on sites as Cauchy-complete categories ⋮ Groupoid sheaves as quantale sheaves ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\) ⋮ \(\mathcal{Q}\)-closure spaces ⋮ Unnamed Item ⋮ Regularity vs. constructive complete (co)distributivity ⋮ A non-commutative and non-idempotent theory of quantale sets ⋮ Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras ⋮ Ultrafilters, finite coproducts and locally connected classifying toposes ⋮ ENRICHED CATEGORIES AND COHOMOLOGY ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Categories enriched on two sides ⋮ Generalized enrichment of categories ⋮ Multi-adjoint concept lattices via quantaloid-enriched categories ⋮ On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular ⋮ Fuzzy Galois connections on fuzzy sets ⋮ Two types of Galois correspondences over quantaloid-typed sets ⋮ Unnamed Item ⋮ An axiomatics for bicategories of modules ⋮ A 2-Categories Companion ⋮ An enriched view on the extended finitary monad--Lawvere theory correspondence ⋮ Categorie variabili ⋮ Conduché property and tree-based categories ⋮ Process synchronisation as fusion ⋮ Sheaves on quantaloids ⋮ Categories with sums and right distributive tensor product ⋮ Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid
Cites Work
