The following pages link to (Q2762218):
Displaying 31 items.
- Freyd categories are enriched Lawvere theories (Q280202) (← links)
- On the tensor product of modules over skew monoidal categories (Q308158) (← links)
- Imperative programs as proofs via game semantics (Q388203) (← links)
- Formal aspects of Gray's tensor products of 2-categories (Q395676) (← links)
- Commutative algebras in Fibonacci categories (Q713294) (← links)
- Skew-enriched categories (Q722252) (← links)
- Representations are adjoint to endomorphisms (Q777246) (← links)
- Functoriality of the center of an algebra (Q887321) (← links)
- On the construction of free algebras for equational systems (Q1014644) (← links)
- Enrichment and representability for triangulated categories (Q1677378) (← links)
- Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories (Q1730855) (← links)
- Invertible braided tensor categories (Q1983593) (← links)
- Frobenius-Perron theory of representations of quivers (Q2114187) (← links)
- From global to local state, coalgebraically and compositionally (Q2133173) (← links)
- Support varieties -- an axiomatic approach (Q2182420) (← links)
- Universal strict general actors and actors in categories of interest (Q2268748) (← links)
- Enriched regular theories (Q2301998) (← links)
- Reedy diagrams in V-model categories (Q2336053) (← links)
- Moduli spaces of algebras over nonsymmetric operads (Q2444358) (← links)
- Lawvere theories, finitary monads and Cauchy-completion (Q2451739) (← links)
- On normal tensor functors and coset decompositions for fusion categories (Q2516576) (← links)
- Complete positivity and natural representation of quantum computations (Q2520702) (← links)
- From Qualitative to Quantitative Semantics (Q2988359) (← links)
- Theory of interleavings on categories with a flow (Q4563245) (← links)
- A unified framework for notions of algebraic theory (Q4972696) (← links)
- Degeneration of A-infinity modules (Q5322887) (← links)
- Term Equational Systems and Logics (Q5415637) (← links)
- Semantics of Higher-Order Recursion Schemes (Q5891582) (← links)
- Differential 2-rigs (Q6150153) (← links)
- An axiomatic account of a fully abstract game semantics for general references (Q6612783) (← links)
- Unitary braided-enriched monoidal categories (Q6652709) (← links)
