The following pages link to Multicategories revisited (Q4735315):
Displaying 33 items.
- A mathematical theory of resources (Q320201) (← links)
- Graphs of plural cuts (Q383359) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- A note on natural numbers objects in monoidal categories (Q749645) (← links)
- The structure of free closed categories (Q803265) (← links)
- An abstract framework for environment machines (Q804281) (← links)
- On some connections between logic and category theory (Q919088) (← links)
- Monoidal categories with natural numbers object (Q920197) (← links)
- Full intuitionistic linear logic (Q1314646) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Representable multicategories (Q1570232) (← links)
- On weak higher dimensional categories. I: Part 1 (Q1588075) (← links)
- Metric, topology and multicategory -- a common approach (Q1869194) (← links)
- Why tricategories? (Q1898465) (← links)
- Lawvere theories, finitary monads and Cauchy-completion (Q2451739) (← links)
- Models of deduction (Q2500815) (← links)
- Applications of methods of proof theory in category theory. (Q2744122) (← links)
- Deductive systems and categories (Q2774635) (← links)
- Multiplicative linear logics and fibrations (Q2842824) (← links)
- Closed categories vs. closed multicategories (Q2884476) (← links)
- Sequential multicategories (Q2927668) (← links)
- (Q3138536) (← links)
- On a connection between algebra, logic and linguistics (Q3495524) (← links)
- (Q4344804) (← links)
- Deductive systems and categories in linguistics (Q4946229) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- The Sequent Calculus of Skew Monoidal Categories (Q5014602) (← links)
- Proof of a S.Mac Lane conjecture (extended abstract) (Q5057466) (← links)
- Graded multicategories of polynomial-time realizers (Q5096260) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
- A unified framework for generalized multicategories (Q5200289) (← links)
- On weak higher-dimensional categories. I. 2 (Q5931436) (← links)
