The following pages link to Coherence in closed categories (Q2544617):
Displaying 50 items.
- Hermitian \(K\)-theory, derived equivalences and Karoubi's fundamental theorem (Q515890) (← links)
- On natural transformations of distinguished functors and their superpositions in certain closed categories (Q579398) (← links)
- Languages for monoidal categories (Q584380) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- Interaction graphs: multiplicatives (Q714715) (← links)
- On the conditions of full coherence in closed categories (Q757581) (← links)
- Multiplicative infinite loop space theory (Q789055) (← links)
- Coherence in linear predicate logic (Q1011758) (← links)
- Algebraic geometry in first-order logic (Q1040258) (← links)
- Abel transformation and harmonic analysis. I (Q1075550) (← links)
- Two-dimensional monad theory (Q1121980) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- Examples of non-monadic structures on categories (Q1140707) (← links)
- Coherence for compact closed categories (Q1146248) (← links)
- Closed categories and the theory of proofs (Q1147133) (← links)
- Kohaerenz in Kategorien mit Gruppenstruktur (Q1158238) (← links)
- Une théorie combinatoire des séries formelles (Q1167168) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- Discrete-time machines in closed monoidal categories. I (Q1216447) (← links)
- Monads generated by monoids (Q1222709) (← links)
- Brauer groups and Amitsur cohomology for general commutative ring extensions (Q1248649) (← links)
- Categories (Q1255566) (← links)
- Natural transformations of the superpositions of distinguished functors in certain closed categories (Q1270459) (← links)
- An internal language for autonomous categories (Q1320337) (← links)
- Tortile tensor categories (Q1321051) (← links)
- \(E_ n\)-ring categories (Q1358936) (← links)
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- Exhausting strategies, joker games and full completeness for IMLL with unit (Q1398468) (← links)
- G-dinaturality. (Q1400601) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Witt groups of smooth projective quadrics (Q1731556) (← links)
- The \(n\)-fold reduced bar construction (Q1793958) (← links)
- A-transformation dans les arbres n-aires (Q1836307) (← links)
- Equality of morphism and coherence theorem for biclosed categories (Q1838564) (← links)
- Coherence and embedding of algebras (Q1845801) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- The development and prospects for category theory (Q1923793) (← links)
- Wall-crossing, Hitchin systems, and the WKB approximation (Q1935187) (← links)
- Simple free star-autonomous categories and full coherence (Q1936110) (← links)
- Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions (Q2014742) (← links)
- Coherence for closed categories with biproducts (Q2200954) (← links)
- On paradoxes in normal form (Q2288281) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Coherence for star-autonomous categories (Q2498908) (← links)
- Models of deduction (Q2500815) (← links)
- Kompakt erzeugte Räume und Limesräume. (Compactly generated spaces and limit spaces) (Q2551272) (← links)
- Isomorphic formulae in classical propositional logic (Q3117775) (← links)
- Generality of proofs and its Brauerian representation (Q3160565) (← links)
- Cyclic multicategories, multivariable adjunctions and mates (Q3191179) (← links)
- An Australian Conspectus of Higher Categories (Q3400014) (← links)
