scientific article

No author found.

Publication date: 1985

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

triples embedding theorems theories toposes theoretical computer science sketches Deligne's theorem internal logic finite colimits logical functor Butler's theorems sheaf categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Research exposition (monographs, survey articles) pertaining to category theory (18-02)

Related Items

Monads for behaviour, Generalized Springer theory for \(D\)-modules on a reductive Lie algebra, What is concrete equivalence?, Sheaves on involutive quantales: Grothendieck quantales., Coalgebraic update lenses, Representation of categories, Semantics of weakening and contraction, Structured theories and institutions, Tensor products and homotopies for \(\omega\)-groupoids and crossed complexes, Categorical aspects of data type constructors, An algebraic theory of normal forms, CGOOD, a categorical graph-oriented object data model, The expectation monad in quantum foundations, Logical systems. I: Internal calculi., On comonadicity of the extension-of-scalars functors, Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures, Partial morphisms in categories of effective objects, Discrete Lawvere theories and computational effects, Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches, Partial Horn logic and Cartesian categories, On rational pairings of functors, Automorphisms of manifolds and algebraic K-theory. I, Morita theory for coring extensions and cleft bicomodules., A topos-theorist looks at dilators, Regular and exact completions, Combining algebraic effects with continuations, 2-groups, trialgebras and their Hopf categories of representations, Hopf polyads, Closure categories, A coinductive calculus for asynchronous side-effecting processes, Monad transformers as monoid transformers, A representable approach to finite nondeterminism, Constructing process categories, Generic weakest precondition semantics from monads enriched with order, Monadic extensions of institutions, An equational notion of lifting monad, The monoidal Eilenberg-Moore construction and bialgebroids, Free internal groups, On Hopf adjunctions, Hopf monads and Frobenius-type properties, A bicategorical version of Masuoka's theorem., The combinatorics of n-categorical pasting, Probabilistic systems coalgebraically: a survey, Pluri-adjoints and preservation of finite limits, A generalization of the concept of sketch, An algebraic approach to stable domains, An induction principle for consequence in arithmetic universes, Idempotent probability measures on ultrametric spaces, Nash equilibria for games in capacities, Uniformly constructive monads, Domain theory in logical form, A characterization of quasi-toposes, A globalization of the Hahn-Banach theorem, CABool is monadic over almost all categories, Quantitative domains and infinitary algebras, Fixed-point operations on ccc's. I, Conditional rewriting logic as a unified model of concurrency, Proving semantical equivalence of data specifications, Finite objects in a locos, Algebraic functor slices, The logic of structures, Covariant functors in categories of topological spaces, A sheaf-theoretic approach to pattern matching and related problems, Tail recursion through universal invariants, A logic for category theory, An algebraic semantics for structured transition systems and its application to logic programs, Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Univalence in locally Cartesian closed categories, Monads in double categories, Comparing free algebras in topological and classical domain theory, Semidirect products of internal groupoids, Characterizations of Morita equivalent inverse semigroups., Enriched categorical semantics for distributed calculi, Comprehension categories and the semantics of type dependency, Units of equivariant ring spectra, Probabilities, distribution monads, and convex categories, Fuzzy Prokhorov metric on the set of probability measures, Probabilistic anonymity via coalgebraic simulations, Idempotent monads and \(\star \)-functors, Quantum logic in dagger kernel categories, Languages for monoidal categories, Monads on higher monoidal categories, The category of varieties and interpretations is alg-universal, Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\), On the construction of free algebras for equational systems, Corrigendum to ``Morita theory for coring extensions and cleft bicomodules., Lie theory of formal groups over an operad., List-arithmetic distributive categories: Locoi, Fixed points in Cartesian closed categories, Notions of computation and monads, Similarities between powersets of terms, Category theory and the foundations of mathematics: philosophical excavations., Repleteness and the associated sheaf, Continuous families of coalgebras, Locally cartesian closed exact completions, Pseudo-commutative monads and pseudo-closed 2-categories, Coalgebras and monads in the semantics of Java, Sketches and parametrization, Combining a monad and a comonad, Some remarks on Maltsev and Goursat categories, Beck's theorem for pseudo-monads, Conditional rewriting logic: Deduction, models and concurrency, Unique-sort order-sorted theories : A description as monad morphisms, The category 𝒮hjIMSet of sheaves in MSet, An algebraic formulation for data refinement, A categorical framework for congruence of applicative bisimilarity in higher-order languages, Functional sorts in data type specifications, A categorical view of varieties of ordered algebras, The costructure–cosemantics adjunction for comodels for computational effects, Mongruences and cofree coalgebras, Abstract categorical logic, Hopf monads: a survey with new examples and applications, HSP type theorems in the category of posets, Non-commutative ambits and equivariant compactifications, Frobenius monoidal functors from (co)Hopf adjunctions, Epimorphic quantum subgroups and coalgebra codominions, Distributive laws for relative monads, Types, abstraction, and parametric polymorphism, part 2, Geometrically partial actions, Morpho-logic from a topos perspective -- application to symbolic AI, Unnamed Item, On operads, bimodules and analytic functors, Backtracking with cut via a distributive law and left-zero monoids, On the topological characterization of gestures in a convenient category of spaces, Topological structures in rough set theory: A survey, Services and Contracts: Coalgebraically, Unifying notions of pasting diagrams, Product Rules and Distributive Laws, On simplicial loops and \(H\)-spaces, Unnamed Item, Sheafifiable homotopy model categories. II, What is the coalgebraic analogue of Birkhoff's variety theorem?, (Co)Homology of crossed modules, Semi-abelian categories, Homological algebra in characteristic one, Unnamed Item, On the formal theory of pseudomonads and pseudodistributive laws, Probabilistic Completion of Nondeterministic Models, Unnamed Item, Coalgebraic Components in a Many-Sorted Microcosm, Weak fibrations, Terminal coalgebras in well-founded set theory, Hilbert's theorem 90 in monoidal categories, Comonadicity and invertible bimodules, Fragmentary structure of global knowledge: constructive processes for interoperability, Homotopical algebraic context over differential operators, Maps. I: Relative to a factorisation system, Lawvere theories enriched over a general base, Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What?, On completeness and cocompleteness in and around small categories, A categorical setting for the 4-colour theorem, 2-representations and associated coalgebra 1-morphisms for locally wide finitary 2-categories, Constructing a quasi-uniform function space, Extending localization functors, Categorifying Computations into Components via Arrows as Profunctors, Higher-order Algebras and Coalgebras from Parameterized Endofunctors, Constructive complete distributivity. I, A formalism for the specification of essentially-algebraic structures in 2-categories, Weak topologies on toposes, Lambek's categorical proof theory and Läuchli's abstract realizability, New model categories from old, Sketches and computation – I: basic definitions and static evaluation, TANGENT BUNDLES, MONOIDAL THEORIES AND WEIL ALGEBRAS, The comprehensive factorization of Burroni's T-functors, Book review of: D. Yau, Colored operads, Lax naturality through enrichment, Cartan-Eilenberg cohomology and triples, Compositional characterization of observable program properties, On the local Cartesian closure of exact completions, Unnamed Item, Stone duality for spectral sheaves and the patch monad, How to centralize and normalize quandle extensions, Unnamed Item, On the foundations of inverse monoids and inverse algebras, Comonadic base change for enriched categories, Generic functional programming with types and relations, Relative properties of frame language, Notions of computation as monoids, Unnamed Item, A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators, Lawvere theories, finitary monads and Cauchy-completion, Powersets of terms and composite monads, Unnamed Item, Specification and proof in membership equational logic, Some facets of Horn covarieties in a category, Fibrations and universal view updatability, Fuzzy metrization of the spaces of idempotent measures, Entwining structures in monoidal categories, On the foundations of inverse monoids and inverse algebras, Two-dimensional linear algebra, Elementary axioms for canonical points of toposes, Generalized Płonka sums and products, Monads and theories, Coproducts of Ideal Monads, On the foundations of inverse monoids and inverse algebras, Metrization of free groups on ultrametric spaces, Distributive laws for the coinductive solution of recursive equations, Coalgebraic semantics for timed processes, Combining effects: sum and tensor, Unnamed Item, Toposes, Monoid Actions, and Universal Coalgebra, Witt vectors. Part 1, Partially Ordered Monads and Rough Sets, A Categorical Approach to Mereology and Its Application to Modelling Software Components, Functional models of neurobiological processes, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, On linear exactness properties, Categories of Timed Stochastic Relations, Categorical Innovations for Rough Sets, Unnamed Item, Petri nets based on Lawvere theories, Gabriel–Ulmer duality and Lawvere theories enriched over a general base, Quantum Logic in Dagger Kernel Categories, The balanced tensor product of module categories, Partially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras, Unnamed Item, The formal theory of multimonoidal monads, Affine geometric spaces in tangent categories, Computing over K-modules, Concrete Process Categories, Comprehension for Coalgebras, Induction, Coinduction, and Adjoints, Paths and Simulations, Monadic forgetful functors and (non-)presentability for \(C^\ast\)- and \(W^\ast\)-algebras, Unnamed Item, Stochastic Decision Theory, On the homotopy of simplicial algebras over an operad, Trace semantics via determinization, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads, Fast left Kan extensions using the chase, Algebraic presentation of semifree monads, Unnamed Item, Algebraic Databases, Lambek's operational categories, Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems