The following pages link to (Q3682648):
Displaying 50 items.
- The category theoretic understanding of universal algebra: Lawvere theories and monads (Q2864158) (← links)
- Coalgebraic trace semantics for combined possibilitistic and probabilistic systems (Q2873666) (← links)
- Coalgebraic Components in a Many-Sorted Microcosm (Q2888477) (← links)
- Categorifying computations into components via arrows as profunctors (Q2919448) (← links)
- Higher-order algebras and coalgebras from parameterized endofunctors (Q2919455) (← links)
- Algebraic Databases (Q2981748) (← links)
- Elementary axioms for canonical points of toposes (Q3027006) (← links)
- Witt vectors. Part 1 (Q3053864) (← links)
- Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? (Q3178270) (← links)
- Petri nets based on Lawvere theories (Q3386752) (← links)
- (Q3410765) (← links)
- Stochastic Decision Theory (Q3415912) (← links)
- Fragmentary structure of global knowledge: constructive processes for interoperability (Q3451527) (← links)
- Constructive complete distributivity. I (Q3469144) (← links)
- (Q3470451) (← links)
- (Q3480252) (← links)
- A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators (Q3540185) (← links)
- Partially Ordered Monads and Rough Sets (Q3600299) (← links)
- A Categorical Approach to Mereology and Its Application to Modelling Software Components (Q3600304) (← links)
- Categorical Innovations for Rough Sets (Q3628686) (← links)
- Gabriel–Ulmer duality and Lawvere theories enriched over a general base (Q3638917) (← links)
- Lambek's operational categories (Q3688526) (← links)
- (Q3724516) (← links)
- (Q3731834) (← links)
- Toposes, Monoid Actions, and Universal Coalgebra (Q3745995) (← links)
- (Q3792855) (← links)
- On the foundations of inverse monoids and inverse algebras (Q3839935) (← links)
- Monads and cocompleteness of categories (Q3982076) (← links)
- Executable specifications for data-type constructors (Q3986951) (← links)
- (Q3994018) (← links)
- A formalism for the specification of essentially-algebraic structures in 2-categories (Q4006237) (← links)
- Lambek's categorical proof theory and Läuchli's abstract realizability (Q4008758) (← links)
- Compositional characterization of observable program properties (Q4020510) (← links)
- (Q4133592) (← links)
- (Q4285620) (← links)
- Sketches and computation – I: basic definitions and static evaluation (Q4302336) (← links)
- (Q4339951) (← links)
- On the foundations of inverse monoids and inverse algebras (Q4354305) (← links)
- (Q4379679) (← links)
- On the foundations of inverse monoids and inverse algebras (Q4400095) (← links)
- On the homotopy of simplicial algebras over an operad (Q4485730) (← links)
- TANGENT BUNDLES, MONOIDAL THEORIES AND WEIL ALGEBRAS (Q4576832) (← links)
- How to centralize and normalize quandle extensions (Q4606550) (← links)
- Notions of computation as monoids (Q4625158) (← links)
- The formal theory of multimonoidal monads (Q4631636) (← links)
- Affine geometric spaces in tangent categories (Q4632601) (← links)
- Some facets of Horn covarieties in a category (Q4639649) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)
- (Q4723927) (← links)
- Generic functional programming with types and relations (Q4880524) (← links)
