scientific article

Publication date: 27 July 2010

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

Categorical logic, topoi (03G30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) General theory of categories and functors (18Axx) Categorical structures (18Dxx)

Related Items

The category of node-and-choice preforms for extensive-form games, Weighted limits in an \((\infty, 1)\)-category, On models of higher-order separation logic, Minimality Notions via Factorization Systems and Examples, Toward a Theory of the Pragmatic A Priori: From Carnap to Lewis and Beyond, Final Semantics for Decorated Traces, Covering-based rough sets and modal logics. II., Analogical proportions, Unnamed Item, Categorical structures of soft groups, Direct spectra of Bishop spaces and their limits, Cofree objects in the centralizer and the center categories, Toposes for semigroups: an invitation, A categorial semantic representation of quantum event structures, Categorial subsystem independence as morphism co-possibility, Combining and relating Aristotelian diagrams, RIGOUR AND PROOF, A well-known representation of monoids and its application to the function ‘vector reverse’, Categories for Dynamic Epistemic Logic, Spined categories: generalizing tree-width beyond graphs, A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations, On consistent functions for neighborhood systems, Kantorovich functors and characteristic logics for behavioural distances, Sequential Measurements, Topological Quantum Field Theories, and Topological Quantum Neural Networks, Topological duality for orthomodular lattices, Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs, Towards a categorical representation of reversible event structures, Representation and Spacetime: The Hole Argument Revisited, The Grassmannian of 3-planes in \(\mathbb{C}^8\) is schön, Metric enrichment, finite generation, and the path coreflection, Normal forms, linearity, and prime algebraicity over nonflat domains, On some categories of structured sets, Initial degenerations of spinor varieties, Comparing the structures of mathematical objects, A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework, Husserl, Intentionality and Mathematics: Geometry and Category Theory, UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC, Dual Ramsey properties for classes of algebras, Double preconditioning for Gabor frame operators: algebraic, functional analytic and numerical aspects, Categorical composable cryptography: extended version, Quantization as a categorical equivalence, Symmetries and the philosophy of language, Fuzzy Analogues of Sets and Functions Can Be Uniquely Determined from the Corresponding Ordered Category: A Theorem, Constructing span categories from categories without pullbacks, Unnamed Item, Contextual semantics in quantum mechanics from a categorical point of view, Category-theoretic structure and radical ontic structural realism, Unnamed Item, Unnamed Item, Heyting mereology as a framework for spatial reasoning, The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms, CATEGORICAL COMPLEXITY, Coalgebra and abstraction, From generic partition refinement to weighted tree automata minimization, On the topological characterization of gestures in a convenient category of spaces, On monotone determined spaces, Existence of reflections and its applications, On representational capacities, with an application to general relativity, Two models of synthetic domain theory, Projective and injective Krasner hypermodules, Dynamical systems in categories, Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment, Product Rules and Distributive Laws, Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order, Functorial data migration, Unnamed Item, Safe \& robust reachability analysis of hybrid systems, Category-theoretic interpretative framework of the complementarity principle in quantum mechanics, Event structure semantics of (controlled) reversible CCS, Initial degenerations of Grassmannians, A calculus of concurrent graph-rewriting processes, Deduction and definability in infinite statistical systems, Networks of hybrid open systems, Unnamed Item, Representation of bifinite domains by BF-closure spaces, A new foundation for finitary corecursion and iterative algebras, Fuzzy analogues of sets and functions can be uniquely determined from the corresponding ordered category: a theorem, Monads and Quantitative Equational Theories for Nondeterminism and Probability, Generalized persistence diagrams for persistence modules over posets, MiniBrass: soft constraints for MiniZinc, Unnamed Item, On the structural theorem of persistent homology, Unnamed Item, Monadic second-order incorrectness logic for GP 2, Trace semantics via determinization, Discrete density comonads and graph parameters, A categorical framework for learning generalised tree automata, Extensions of bundles of C*-algebras, St. Alasdair on Lattices Everywhere, CATEGORICAL HARMONY AND PATH INDUCTION