The following pages link to (Q3961629):
Displaying 15 items.
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Pseudo-commutativity of KZ 2-monads (Q645210) (← links)
- Higher-dimensional word problems with applications to equational logic (Q685405) (← links)
- Partial Horn logic and Cartesian categories (Q866572) (← links)
- A presentation of topoi as algebraic relative to categories or graphs (Q1052452) (← links)
- Functorial semantics and HSP type theorems (Q1319054) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Monoidal Indeterminates and Categories of Possible Worlds (Q2805149) (← links)
- (Q3337621) (← links)
- (Q3532317) (← links)
- (Q3797358) (← links)
- (Q4029347) (← links)
- (Q4362079) (← links)
- (Q4675787) (← links)
- Diagrammatic presentations of enriched monads and varieties for a subcategory of arities (Q6077388) (← links)
