scientific article; zbMATH DE number 3574077
From MaRDI portal
Publication:4145861
zbMath0368.18001MaRDI QIDQ4145861
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Homological algebra in category theory, derived categories and functors (18G99) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Foundations, relations to logic and deductive systems (18A15)
Related Items (only showing first 100 items - show all)
Unnamed Item ⋮ Unnamed Item ⋮ Functional Thesauri, Classifying Topoi, Unification, and Flatness ⋮ Functional sorts in data type specifications ⋮ Partiality and Container Monads ⋮ Relational set theory ⋮ Unnamed Item ⋮ Some Results on Locally Finitely Presentable Categories ⋮ Theories of presheaf type ⋮ What do Abelian categories form? ⋮ Unnamed Item ⋮ Descent Data and Absolute Kan Extensions ⋮ Discrete Double Fibrations ⋮ Triposes as a generalization of localic geometric morphisms ⋮ Cauchy completeness for DG-categories ⋮ Dictoses ⋮ Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals ⋮ On the dependent product in toposes ⋮ Smooth Homotopy of Infinite-Dimensional 𝐶^{∞}-Manifolds ⋮ Unnamed Item ⋮ THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC ⋮ Univalent categories of modules ⋮ Limits, colimits, and spectra of modelled spaces ⋮ Iterated \(S^3\) Sasaki joins and Bott orbifolds ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The Greenberg Functor is Site Cocontinuous ⋮ Unnamed Item ⋮ Locally free vector spaces in a topos ⋮ An induction principle and pigeonhole principles for K-finite sets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes ⋮ Pre-Hausdorff and Hausdorff proximity spaces ⋮ Distribution algebras and duality ⋮ A note on effectively projective objects ⋮ Boolean algebras in a localic topos ⋮ Construction of Closure Operations in a Category of Presheaves ⋮ Categorical aspects of generating functions. I: Exponential formulas and Krull-Schmidt categories ⋮ Real numbers in the topos of sheaves over the category of filters ⋮ On the structure of categories of coalgebras ⋮ Domains in \(H\) ⋮ Stacks and D-brane bundles ⋮ The strength of Mac Lane set theory ⋮ A study on the quasi topos ⋮ From coherent structures to universal properties ⋮ Type theories, toposes and constructive set theory: Predicative aspects of AST ⋮ Two applications of analytic functors ⋮ String orbifolds and quotient stacks ⋮ Why Sets? ⋮ A proposed categorical semantics for Pure ML ⋮ Internal split opfibrations and cofunctors ⋮ Topos Theory in Montréal in the 1970s: My Personal Involvement ⋮ On the Distinction Between Sets and Classes: A Categorical Perspective ⋮ A STUDY ON THE CATEGORY OF NORMAL FUZZY HYPERGROUPS ⋮ From term models to domains ⋮ The nominal/FM Yoneda Lemma ⋮ On Supercompactly and Compactly Generated Toposes ⋮ Categorie variabili ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A STUDY ON THE CARTESIAN CLOSED CATEGORY POSM ⋮ Actions of internal groupoids in the category of Leibniz algebras ⋮ Local pre-Hausdorff extended pseudo-quasi-semi metric spaces ⋮ Unnamed Item ⋮ Quantales and their sheaves ⋮ Quasitopoi, logic and Heyting-valued models ⋮ Continuity and geometric logic ⋮ Separably real closed local rings ⋮ On algebras over multicategories ⋮ An exact coexact characterization of the finite cardinals ⋮ Identical particles and the simplicial category ⋮ Free monoid in monoidal abelian categories ⋮ On right adjoints to exponential functors ⋮ On completeness of locally-internal categories ⋮ On the tensor product of modules over skew monoidal categories ⋮ On the left exactness of orthogonal reflections ⋮ Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator ⋮ Models of arithmetic and categories with finiteness conditions ⋮ Subobject classifier for algebraic structures ⋮ Cartesian bicategories. I ⋮ Well-ordering and choice in toposes ⋮ Injectivity and modelling in the Blass topos ⋮ Dedekind finiteness in topoi ⋮ Ideals of closed categories ⋮ Partial morphisms in categories of effective objects ⋮ Categories of partial maps ⋮ Higher dimensional crossed modules of algebras ⋮ Exponentiable morphisms, partial products and pullback complements ⋮ A small complete category ⋮ Automorphisms of manifolds and algebraic K-theory. I ⋮ Conceptual completeness for first-order intuitionistic logic: An application of categorical logic ⋮ Codisjunctors and singular epimorphisms in the category of commutative rings ⋮ On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ Proarrows and cofibrations ⋮ Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology ⋮ An intuitionistic model of single electron interference
This page was built for publication:
