scientific article; zbMATH DE number 5761737
From MaRDI portal
Publication:3575369
Recommendations
- Category theory. An introduction
- Category Theory
- scientific article; zbMATH DE number 3220362
- scientific article; zbMATH DE number 803303
- scientific article; zbMATH DE number 1263245
- scientific article; zbMATH DE number 7599487
- Kategorientheorie
- Category theory in context
- scientific article; zbMATH DE number 3916525
Cited in
(only showing first 100 items - show all)- Categorical constructions in graph theory
- The category of node-and-choice preforms for extensive-form games
- Covering-based rough sets and modal logics. II.
- Contextual semantics in quantum mechanics from a categorical point of view
- On monotone determined spaces
- Safe \& robust reachability analysis of hybrid systems
- Coalgebra and abstraction
- From generic partition refinement to weighted tree automata minimization
- On representational capacities, with an application to general relativity
- Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order
- Initial degenerations of Grassmannians
- Deduction and definability in infinite statistical systems
- Representation of bifinite domains by BF-closure spaces
- Generalized persistence diagrams for persistence modules over posets
- Monadic second-order incorrectness logic for GP 2
- Discrete density comonads and graph parameters
- A categorical framework for learning generalised tree automata
- On models of higher-order separation logic
- Analogical proportions
- Categorical structures of soft groups
- On consistent functions for neighborhood systems
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
- Category-theoretic interpretative framework of the complementarity principle in quantum mechanics
- A calculus of concurrent graph-rewriting processes
- Networks of hybrid open systems
- 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
- MiniBrass: soft constraints for MiniZinc
- On the structural theorem of persistent homology
- Trace semantics via determinization
- Categorial subsystem independence as morphism co-possibility
- Towards a categorical representation of reversible event structures
- Category-theoretic structure and radical ontic structural realism
- Toposes for semigroups: an invitation
- Combining and relating Aristotelian diagrams
- Constructing span categories from categories without pullbacks
- Toward a theory of the pragmatic a priori: from Carnap to Lewis and beyond
- Categories for Software Engineering
- Final semantics for decorated traces
- The category of node-and-choice forms, with subcategories for choice-sequence forms and choice-set forms
- Categorical complexity
- Categories for dynamic epistemic logic
- (Co)end Calculus
- Abstract and concrete categories: the joy of cats
- A categorial semantic representation of quantum event structures
- scientific article; zbMATH DE number 45228 (Why is no real title available?)
- scientific article; zbMATH DE number 692330 (Why is no real title available?)
- scientific article; zbMATH DE number 1022262 (Why is no real title available?)
- scientific article; zbMATH DE number 7032315 (Why is no real title available?)
- Heyting mereology as a framework for spatial reasoning
- scientific article; zbMATH DE number 800841 (Why is no real title available?)
- Direct spectra of Bishop spaces and their limits
- A semantics for hybrid iteration
- Extensions of bundles of C^-algebras
- St. Alasdair on Lattices Everywhere
- Minimality Notions via Factorization Systems and Examples
- Existence of reflections and its applications
- Cofree objects in the centralizer and the center categories
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- A cubical language for Bishop sets
- A well-known representation of monoids and its application to the function ‘vector reverse’
- Normal forms, linearity, and prime algebraicity over nonflat domains
- Fuzzy Analogues of Sets and Functions Can Be Uniquely Determined from the Corresponding Ordered Category: A Theorem
- Dual-context calculi for modal logic
- Dynamical systems in categories
- On the topological characterization of gestures in a convenient category of spaces
- Multimodal dependent type theory
- Projective and injective Krasner hypermodules
- Basic category theory for models of syntax.
- Efficient and modular coalgebraic partition refinement
- CATEGORICAL HARMONY AND PATH INDUCTION
- The language of categories. II: Matrices and vector spaces
- Category theory. An introduction
- Category Theory
- Product rules and distributive laws
- Category theory and applications. A textbook for beginners
- Event structure semantics of (controlled) reversible CCS
- Introducing String Diagrams
- RIGOUR AND PROOF
- Spined categories: generalizing tree-width beyond graphs
- A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations
- Kantorovich functors and characteristic logics for behavioural distances
- Sequential Measurements, Topological Quantum Field Theories, and Topological Quantum Neural Networks
- Topological duality for orthomodular lattices
- 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
- Clarifying the difference between origami fold models by a matrix representation
- 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
- Native type theory
- 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
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3575369)
