The following pages link to (Q5595187):
Displaying 50 items.
- On the equivalence between Lurie's model and the dendroidal model for infinity-operads (Q317340) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Coherence for modalities (Q531368) (← 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)
- Coherence in Cartesian closed categories and the generality of proofs (Q750442) (← links)
- The structure of free closed categories (Q803265) (← links)
- An abstract framework for environment machines (Q804281) (← links)
- Commutativity (Q899553) (← links)
- The logic of message-passing (Q923880) (← links)
- An abstract characterization of Thompson's group \(F\). (Q972594) (← links)
- Coherence in linear predicate logic (Q1011758) (← links)
- Permutative categories, multicategories and algebraic \(K\)-theory (Q1048470) (← links)
- An algebraic structure for derivations in rewriting systems (Q1111012) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- Closed categories and the theory of proofs (Q1147133) (← links)
- Pre-recursive categories (Q1164127) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Prelogic of logoi (Q1233435) (← links)
- Quantifier-complete categories (Q1238805) (← links)
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- Triples on functor categories (Q1393594) (← links)
- G-dinaturality. (Q1400601) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Representable multicategories (Q1570232) (← links)
- On weak higher dimensional categories. I: Part 1 (Q1588075) (← links)
- Skew monoidal categories and skew multicategories (Q1647335) (← links)
- An embedding theorem for tangent categories (Q1682009) (← links)
- How strict is strictification? (Q1730856) (← links)
- Equality of morphism and coherence theorem for biclosed categories (Q1838564) (← links)
- Abstract substitution in enriched categories (Q1869199) (← links)
- Skew structures in 2-category theory and homotopy theory (Q2012168) (← links)
- Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions (Q2014742) (← links)
- Complexity of Lambek calculi with modalities and of total derivability in grammars (Q2066100) (← links)
- Bifibrations of polycategories and classical linear logic (Q2133466) (← links)
- A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
- Dynamical systems and sheaves (Q2303775) (← links)
- Cofibrantly generated lax orthogonal factorisation systems (Q2336048) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- On pseudo-bialgebras (Q2376683) (← links)
- Associative algebras related to conformal algebras. (Q2426120) (← links)
- Polycategories via pseudo-distributive laws (Q2427570) (← links)
- Categorical interpretation of logical derivations and its applications in algebra (Q2452950) (← links)
- Gröbner-Shirshov bases, conformal algebras, and pseudo-algebras. (Q2462029) (← links)
- Irreducible modules over finite simple Lie pseudoalgebras. I: Primitive pseudoalgebras of type \(W\) and \(S\). (Q2496720) (← links)
- Rings, modules, and algebras in infinite loop space theory (Q2503363) (← links)
- Coherence in closed categories (Q2544617) (← links)
