Author — Matt Earnshaw

Matt Earnshaw has contributed to 38 nLab pages.

space attachment | 10:37:53, July 31 2018 |

space attachment | 10:36:25, July 31 2018 |

tangent bundle | 10:14:30, November 23 2017 |

tangent bundle | 10:14:30, November 23 2017 |

essential image | 09:21:17, September 25 2017 |

category of elements | 09:05:51, September 21 2017 |

Lindenbaum-Tarski algebra | 06:59:30, July 12 2017 |

weak omega-category | 08:49:48, July 05 2017 |

higher category theory | 08:49:42, July 05 2017 |

path space | 12:43:26, July 01 2017 |

Kleisli category | 12:01:47, June 22 2017 |

Sandbox | 12:00:32, June 22 2017 |

Category Theory in Context | 11:29:41, June 22 2017 |

Kleisli category | 14:56:37, June 21 2017 |

C^∞-ring | 14:42:38, June 14 2017 |

composition | 18:33:55, May 30 2017 |

exponential object | 12:06:12, May 04 2017 |

proof by contradiction | 11:28:21, May 02 2017 |

mysticism | 05:35:08, May 02 2017 |

structure in model theory | 05:50:47, April 25 2017 |

diagram | 17:25:52, April 20 2017 |

additive category | 17:03:07, April 20 2017 |

abductive reasoning | 07:39:09, April 09 2017 |

limit | 16:31:31, April 04 2017 |

identity of indiscernibles | 06:48:05, March 31 2017 |

Lie derivative | 09:29:03, March 23 2017 |

frame | 10:31:51, March 18 2017 |

topology | 13:13:02, January 26 2017 |

subobject classifier | 05:34:49, October 17 2016 |

general covariance | 14:19:29, September 30 2016 |

- abductive reasoning
- additive category
- Aufhebung
- Boolean algebra
- C^∞-ring
- category of elements
- category theory
- Category Theory in Context
- composition
- constructive mathematics
- cut rule
- CW complex
- dependent sum natural deduction - table
- diagram
- essential image
- exponential object
- frame
- general covariance
- generalized element
- geometry of physics -- coordinate systems
- higher category theory
- identity of indiscernibles
- internal hom
- Kleisli category
- Lie derivative
- limit
- Lindenbaum-Tarski algebra
- motivation for sheaves, cohomology and higher stacks
- mysticism
- path space
- proof by contradiction
- Sandbox
- space attachment
- structure in model theory
- subobject classifier
- tangent bundle
- topology
- weak omega-category