Pages that link to "Item:Q673964"
From MaRDI portal
The following pages link to Nonsymmetric \(^{\ast}\)-autonomous categories (Q673964):
Displaying 31 items.
- A micrological study of negation (Q345707) (← links)
- On cyclic star-autonomous categories (Q456839) (← links)
- Closed categories, star-autonomy, and monoidal comonads (Q834844) (← links)
- Orthocomplementation and compound systems (Q861639) (← links)
- Chu connections and back diagonals between \(\mathcal{Q}\)-distributors (Q899562) (← links)
- Descent in \(*\)-autonomous categories (Q952244) (← links)
- Ordered groups with a conucleus (Q1035670) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- \(\bigstar\)-autonomous lattices (Q1780899) (← links)
- \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic (Q1840462) (← links)
- *-autonomous categories, revisited (Q1921351) (← links)
- Hochschild homology, lax codescent, and duplicial structure (Q2404189) (← links)
- Topological \(\ast\)-autonomous categories, revisited (Q2406537) (← links)
- Character sheaves on unipotent groups in positive characteristic: foundations. (Q2436523) (← links)
- Coherence for star-autonomous categories (Q2498908) (← links)
- A duality formalism in the spirit of Grothendieck and Verdier (Q2637475) (← links)
- Unitless Frobenius quantales (Q2680596) (← links)
- Complemented MacNeille completions and algebras of fractions (Q2694744) (← links)
- Multiplicative linear logics and fibrations (Q2842824) (← links)
- A quantum double construction in Rel. (Q2909732) (← links)
- Non-crossing Tree Realizations of Ordered Degree Sequences (Q2964006) (← links)
- Bialgebras in Rel (Q3178263) (← links)
- (Q3413926) (← links)
- Linear distributivity with negation, star-autonomy, and Hopf monads (Q4555337) (← links)
- Frobenius monads and pseudomonoids (Q4833520) (← links)
- Linear Exponential Comonads without Symmetry (Q5014810) (← links)
- The Involutive Quantaloid of Completely Distributive Lattices (Q5098728) (← links)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)
- (Q5227516) (← links)
- Weak units, universal cells, and coherence via universality for bicategories (Q5239844) (← links)
- Traced monoidal categories as algebraic structures in Prof (Q6653750) (← links)
