Pages that link to "Item:Q1575878"
From MaRDI portal
The following pages link to Coherence completions of categories (Q1575878):
Displaying 17 items.
- Musings around the geometry of interaction, and coherence (Q534708) (← links)
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- Coherence in Cartesian closed categories and the generality of proofs (Q750442) (← links)
- Cohesive categories and manifolds (Q1176043) (← links)
- Coherence of associativity in categories with multiplication (Q1779460) (← links)
- Softness of MALL proof-structures and a correctness criterion with Mix (Q1882627) (← links)
- Essential completeness in categories of completely regular frames. (Q1942032) (← links)
- Completions intrinseques et co-intrinseques (Q3338404) (← links)
- (Q3470629) (← links)
- On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication (Q3644749) (← links)
- (Q4436028) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- Coherence for bicategorical cartesian closed structure (Q5068207) (← links)
- (Q5185705) (← links)
- The parametric continuation monad (Q5269001) (← links)
- Rewriting in Gray categories with applications to coherence (Q5877242) (← links)
- Free \(\mu\)-lattices (Q5960406) (← links)