Pages that link to "Item:Q1052452"
From MaRDI portal
The following pages link to A presentation of topoi as algebraic relative to categories or graphs (Q1052452):
Displaying 11 items.
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads (Q687583) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- Two-dimensional monad theory (Q1121980) (← links)
- Monads for which structures are adjoint to units (Q1903697) (← links)
- Lax naturality through enrichment (Q1923539) (← links)
- Coalgebraic Monads (Q2842553) (← links)
- Topological categories with many symmetric monoidal closed structures (Q3341029) (← links)
- A 2-Categories Companion (Q3400012) (← links)
- (Q4362079) (← links)
- Algebras, Coalgebras, Monads and Comonads (Q4917035) (← links)
- An algebraic formulation for data refinement (Q5887529) (← links)
