Pages that link to "Item:Q3411960"
From MaRDI portal
The following pages link to Topological \(\ast\)-autonomous categories (Q3411960):
Displaying 16 items.
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- Deep inference and probabilistic coherence spaces (Q452333) (← links)
- Interactive information systems: toward perception based computing (Q714829) (← links)
- Closed categories, star-autonomy, and monoidal comonads (Q834844) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- Descent in \(*\)-autonomous categories (Q952244) (← links)
- *-autonomous categories, revisited (Q1921351) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- Simple free star-autonomous categories and full coherence (Q1936110) (← links)
- Topological \(\ast\)-autonomous categories, revisited (Q2406537) (← links)
- On *-autonomous categories of topological vector spaces (Q2709565) (← links)
- (Q3413926) (← links)
- Linear distributivity with negation, star-autonomy, and Hopf monads (Q4555337) (← links)
- *-autonomous categories: Once more around the track (Q4704203) (← links)
- A practical type theory for symmetric monoidal categories (Q5006460) (← links)
- On *-autonomous categories of topological modules (Q5200282) (← links)