The following pages link to A. John Power (Q1584037):
Displaying 50 items.
- Pseudo-distributive laws (Q276490) (← links)
- A graphical foundation for interleaving in game semantics (Q479313) (← links)
- Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\) (Q633802) (← links)
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads (Q687583) (← links)
- Category theory for operational semantics (Q703525) (← links)
- Pseudo-distributive laws and axiomatics for variable binding (Q853747) (← links)
- Generic models for computational effects (Q860841) (← links)
- Discrete Lawvere theories and computational effects (Q860883) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- A 2-categorical pasting theorem (Q912202) (← links)
- (Q1118026) (redirect page) (← links)
- A general coherence result (Q1118027) (← links)
- Two-dimensional monad theory (Q1121980) (← links)
- Flexible limits for 2-categories (Q1262939) (← links)
- A representable approach to finite nondeterminism (Q1391859) (← links)
- Modelling environments in call-by-value programming languages. (Q1427853) (← links)
- Data refinement and algebraic structure (Q1567199) (← links)
- Syntactic control of interference revisited (Q1575885) (← links)
- Bireflectivity (Q1575886) (← links)
- A representation result for free cocompletions (Q1584038) (← links)
- On weak higher dimensional categories. I: Part 1 (Q1588075) (← links)
- Combining a monad and a comonad (Q1603819) (← links)
- Premonoidal categories as categories with algebraic structure (Q1605185) (← links)
- Fixpoint operators for domain equations (Q1605186) (← links)
- Enriched and internal categories: an extensive relationship (Q1689326) (← links)
- Algebraic operations and generic effects (Q1811033) (← links)
- Sketches (Q1818636) (← links)
- Pseudo-commutative monads and pseudo-closed 2-categories (Q1850100) (← links)
- Why tricategories? (Q1898465) (← links)
- Lax naturality through enrichment (Q1923539) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- Higher dimensional categories: induction on extensivity (Q2134826) (← links)
- Category theoretic structure of setoids (Q2253183) (← links)
- Lawvere theories enriched over a general base (Q2378550) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- (Q2722025) (← links)
- (Q2753695) (← links)
- (Q2754136) (← links)
- (Q2771052) (← links)
- (Q2843732) (← links)
- (Q2847418) (← links)
- (Q2847814) (← links)
- (Q2847820) (← links)
- (Q2851332) (← links)
- (Q2851544) (← links)
- (Q2852358) (← links)
- (Q2863881) (← links)
- (Q2863882) (← links)
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (Q2864158) (← links)
