123 citations
- University of OttawaCA25 papers
- Carleton UniversityCA2 papers
- Huawei Technologies (Canada)CA2 papers
- Monash UniversityAU2 papers
- Roger Williams UniversityUS2 papers
- University of OxfordGB2 papers
- Aswan UniversityEG1 paper
- Beihang UniversityCN1 paper
- Brandon UniversityCA1 paper
- California Institute of TechnologyUS1 paper
- Center for Theoretical PhysicsPL1 paper
- École de Technologie SupérieureCA1 paper
Showing math.CTShow all
2 papers · 1 filter
math.CT2018★ 3 cited
Affine geometric spaces in tangent categories
R. F. Blute, G. S. H. Cruttwell, R. B. B. Lucyshyn-Wright
We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the…
math.CT2018★ 5 cited
Differential Categories Revisited
R. F. Blute, J. R. B. Cockett, J-S. Pacaud Lemay +1
Differential categories were introduced to provide a minimal categorical doctrine for differential linear logic. Here we revisit the formalism and, in particular, examine the two d…