scientific article

Publication date: 17 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

sheaves topoi adjoint functors allegories natural transformations geometric logic

Topoi (18B25) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)

Related Items (only showing first 100 items - show all)

Kleisli, Parikh and Peleg compositions and liftings for multirelations ⋮ Using relation-algebraic means and tool support for investigating and computing bipartitions ⋮ A Finite Axiomatisation of Finite-State Automata Using String Diagrams ⋮ Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras ⋮ Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants ⋮ Type-n Arrow Categories ⋮ Internal Neighbourhood Structures II: Closure and closed morphisms ⋮ Types as parameters ⋮ Distance Domains: Completeness ⋮ Why mathematics needs engineering ⋮ Kernels, in a nutshell ⋮ Towards patterns for heaps and imperative lambdas ⋮ Dependencies in relational models of databases ⋮ Morita Equivalence of Semigroups with Locally Commuting Idempotents ⋮ Problems in rewriting applied to categorical concepts by the example of a computational comonad ⋮ Unnamed Item ⋮ Convenient category of processes and simulations I: Modulo strong bisimilarity ⋮ Relational set theory ⋮ The S-replete construction ⋮ Categorical fixed point calculus ⋮ Logic in Category Theory ⋮ Typed Linear Algebra for Weigthed (Probabilistic) Automata ⋮ Towards Certifiable Implementation of Graph Transformation via Relation Categories ⋮ Point Axioms in Dedekind Categories ⋮ Relation Algebras, Matrices, and Multi-valued Decision Diagrams ⋮ Continuous Relations and Richardson’s Theorem ⋮ Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory ⋮ Cofree objects in the centralizer and the center categories ⋮ Flatness properties of acts over semigroups ⋮ Unnamed Item ⋮ Relations in linear algebra ⋮ Autonomous posets and quantales ⋮ A Relation-Algebraic Approach to Multirelations and Predicate Transformers ⋮ Components and acyclicity of graphs. An exercise in combining precision with concision ⋮ Unnamed Item ⋮ (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras ⋮ Sharpness in the Fuzzy World ⋮ Categories of relations as models of quantum theory ⋮ On closures verifying that the interior of a closed element is closed ⋮ Formal Concepts in Dedekind Categories ⋮ Boolean Algebras and Stone Maps in Schröder Categories ⋮ Cardinality in Allegories ⋮ An Ordered Category of Processes ⋮ Categories for Dynamic Epistemic Logic ⋮ An axiomatic characterization of the price-money message mechanism for economies with satiation ⋮ Subdirect products of preadditive categories and weak equivalences ⋮ On a Graph Calculus for Algebras of Relations ⋮ Unnamed Item ⋮ Algebraic logoi ⋮ Relative full completeness for bicategorical Cartesian closed structure ⋮ A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes ⋮ The class of representable semilattice-ordered monoids is not a variety ⋮ Second-order properties of undirected graphs ⋮ A variety theorem for relational universal algebra ⋮ Relational sums and splittings in categories of \(L\)-fuzzy relations ⋮ Change of base using arrow categories ⋮ Graph theory in Coq: minors, treewidth, and isomorphisms ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A string diagrammatic axiomatisation of finite-state automata ⋮ Components of the fundamental category. II ⋮ Distributed Modal Logic ⋮ Completeness for Identity-free Kleene Lattices ⋮ Unnamed Item ⋮ The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations ⋮ Monoid-labeled transition systems ⋮ Stably Compact Spaces and Closed Relations ⋮ Reasoning with Graphs ⋮ Sobriety for equilogical spaces ⋮ Unifying exact completions ⋮ Cryptographic logical relations ⋮ Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions ⋮ Normal forms for connectedness in categories ⋮ Completeness of a relational calculus for program schemes ⋮ On the structure of categories of coalgebras ⋮ A duality for modules over monoidal categories of representations of semisimple Hopf algebras ⋮ Unnamed Item ⋮ Ehresmann theory and partition monoids ⋮ Unnamed Item ⋮ Normal forms for binary relations ⋮ Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} ⋮ Positive Fork Graph Calculus ⋮ Semi-abelian categories ⋮ Unnamed Item ⋮ Monoid properties as invariants of toposes of monoid actions ⋮ Internal neighbourhood structures ⋮ A note on admissibility of closed Galois structures ⋮ Graphical Conjunctive Queries. ⋮ Automating free logic in HOL, with an experimental application in category theory ⋮ Automating Free Logic in Isabelle/HOL ⋮ Extending set functors to generalised metric spaces ⋮ Good Magma Gradings on Rings ⋮ The exact completion for regular categories enriched in posets ⋮ Reversible Kleene lattices ⋮ CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC ⋮ On the parallel between the suplattice and preframe approaches to locale theory ⋮ A Diagrammatic Logic for Object-Oriented Visual Modeling ⋮ Quotients of span categories that are allegories and the representation of regular categories ⋮ Point axioms and related conditions in Dedekind categories ⋮ Strong Completeness of S4 for the Real Line

This page was built for publication: