Skip to content
Channels - Extended Stone Duality via Monoidal Adjunctions :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Extended Stone Duality via Monoidal Adjunctions
Search for more channels:
Similar Items: Extended Stone Duality via Monoidal Adjunctions
Channel Options
View Record
Explore related channels
Quick Look
Stone-Type Dualities for Separation Logics
Quick Look
A duality theoretic view on limits of finite structures: Extended version
Quick Look
Monoidal Width
Quick Look
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
Quick Look
Duality for powerset coalgebras
Quick Look
Coinductive Streams in Monoidal Categories
Quick Look
Coherent Presentations of Monoidal Categories
Quick Look
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
Quick Look
A Monoidal View on Fixpoint Checks
Quick Look
A Categorical Approach to Syntactic Monoids
Quick Look
Weak upper topologies and duality for cones
Quick Look
On Second-Order Monadic Monoidal and Groupoidal Quantifiers
Quick Look
Tameness and the power of programs over monoids in DA
Quick Look
A Coalgebraic Approach to Dualities for Neighborhood Frames
Quick Look
Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
Quick Look
Branching Bisimilarity of Normed BPA Processes as a Rational Monoid
Quick Look
Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Quick Look
Linear Datalog and Bounded Path Duality of Relational Structures
Quick Look
Small Stone in Pool
Quick Look
From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
Quick Look
Extending Mean-Field Variational Inference via Entropic Regularization: Theory and Computation
Quick Look
Labelled transition systems as a Stone space
Quick Look
Extended Initiality for Typed Abstract Syntax
Quick Look
Categorical composable cryptography: extended version
Load more items
View Record
Prev
Explore related channels
Next