Pages that link to "Item:Q5379782"
From MaRDI portal
The following pages link to An Invitation to Applied Category Theory (Q5379782):
Displaying 20 items.
- High-level modelling for typed functional programming (Q832100) (← links)
- Hypergraph categories (Q2001422) (← links)
- An enriched category theory of language: from syntax to semantics (Q2153136) (← links)
- A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
- Observability in the univalent universe (Q2675950) (← links)
- Open systems in classical mechanics (Q3388195) (← links)
- Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks (Q5009443) (← links)
- (Q5019302) (← links)
- Symmetric Monoidal Categories with Attributes (Q5019657) (← links)
- (Q5019667) (← links)
- (Q5028446) (← links)
- Persistent obstruction theory for a model category of measures with applications to data merging (Q5853603) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
- Concurrent Process Histories and Resource Transducers (Q5883753) (← links)
- Kähler geometry of framed quiver moduli and machine learning (Q6072334) (← links)
- Monoidal Width (Q6076171) (← links)
- Profunctors between posets and Alexander duality (Q6102160) (← links)
- Categorical composable cryptography: extended version (Q6178713) (← links)
- Magnitude and Topological Entropy of Digraphs (Q6190600) (← links)
- A categorical framework for modeling with stock and flow diagrams (Q6196862) (← links)