The following pages link to J. Robin B. Cockett (Q673961):
Displayed 42 items.
- (Q3552029) (← links)
- Boolean and classical restriction categories (Q3625678) (← links)
- On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication (Q3644749) (← links)
- (Q3783792) (← links)
- (Q3831000) (← links)
- (Q4029593) (← links)
- (Q4222751) (← links)
- Introduction to distributive categories (Q4282805) (← links)
- (Q4342439) (← links)
- (Q4444126) (← links)
- Introduction to linear bicategories (Q4487269) (← links)
- Differential bundles and fibrations for tangent categories (Q4611023) (← links)
- Integral categories and calculus categories (Q4611199) (← links)
- (Q4707046) (← links)
- ! and ? – Storage as tensorial strength (Q4715669) (← links)
- The logic of linear functors (Q4792946) (← links)
- Deforestation, program transformation, and cut-elimination (Q4917034) (← links)
- Latent Fibrations: Fibrations for Categories of Partial Maps (Q5004679) (← links)
- (Q5028428) (← links)
- Linearizing Combinators (Q5037747) (← links)
- (Q5040173) (← links)
- Categorical models of the differential λ-calculus (Q5108533) (← links)
- Integral Categories and Calculus Categories (Q5111187) (← links)
- (Q5111309) (← links)
- Cartesian Differential Storage Categories (Q5261929) (← links)
- Connections in Tangent Categories (Q5364129) (← links)
- Restriction categories III: colimits, partial limits and extensivity (Q5756980) (← links)
- (Q5874203) (← links)
- (Q5874204) (← links)
- Restriction categories. I: Categories of partial maps (Q5958307) (← links)
- (Q6153339) (← links)
- Extending Resource Monotones using Kan Extensions (Q6190596) (← links)
- Moore-Penrose Dagger Categories (Q6200530) (← links)
- Finiteness spaces and generalized power series (Q6302076) (← links)
- Dagger linear logic for categorical quantum mechanics (Q6306122) (← links)
- Complete Positivity for Mixed Unitary Categories (Q6319129) (← links)
- Compact inverse categories (Q6320273) (← links)
- Tangent Categories from the Coalgebras of Differential Categories (Q6327072) (← links)
- Reverse derivative categories (Q6327285) (← links)
- Normalizing Resistor Networks (Q6430334) (← links)
- Classical Distributive Restriction Categories (Q6438060) (← links)
- On the complexity of Cockett-Seely polarized games (Q6473695) (← links)