Tim Campion has contributed to 83 nLab pages.

Reedy model structure | 05:21:52, May 18 2024 |

absolute pushout | 16:09:54, November 27 2022 |

Eilenberg-Moore category | 17:42:20, November 22 2022 |

quintet construction | 19:26:57, September 28 2022 |

Yoneda embedding | 15:32:35, September 25 2022 |

higher Segal space | 20:50:11, September 05 2022 |

compact closed category | 16:10:51, July 09 2021 |

dense functor | 13:47:43, May 04 2021 |

cyclic category | 21:07:53, April 16 2021 |

Spanier-Whitehead duality | 09:40:48, April 04 2021 |

relative (infinity,1)-limit | 15:22:40, February 27 2021 |

Steenrod algebra | 14:41:06, February 26 2021 |

Boolean topos | 17:57:10, February 23 2021 |

Max Kelly | 13:46:16, February 22 2021 |

exponential object | 13:44:04, February 22 2021 |

exponential object | 01:51:30, February 22 2021 |

subobject classifier | 23:06:19, February 20 2021 |

relative (infinity,1)-limit | 17:42:07, February 14 2021 |

GAGA | 19:02:22, February 07 2021 |

Hartogs number | 15:12:08, October 24 2020 |

monadic functor | 21:17:26, February 29 2020 |

model structure for Cartesian fibrations | 04:14:51, February 28 2020 |

idempotent complete (infinity,1)-category | 22:34:33, February 25 2020 |

test category | 16:19:46, December 20 2019 |

Waldhausen category | 12:03:06, September 04 2019 |

conformal compactification | 23:39:53, July 18 2019 |

Dold-Thom theorem | 22:31:20, June 13 2019 |

complex oriented cohomology theory | 00:52:43, May 01 2019 |

lim^1 and Milnor sequences | 17:28:44, April 17 2019 |

flat functor | 18:00:27, February 24 2019 |

- (infinity,n)-category of cobordisms
- (infinity,n)-category with duals
- (sub)object classifier in an (infinity,1)-topos
- absolute pushout
- accessible (infinity,1)-category
- algebraic K-theory
- bisimplicial set
- Boolean topos
- cartesian bicategory
- cartesian monad
- category of cubes
- Cauchy complete category
- cocategory
- cohesive (infinity,1)-topos -- structure sheaves
- colimits in categories of algebras
- combinatorial model category
- compact closed category
- compactly generated (∞,1)-category
- complex oriented cohomology theory
- conformal compactification
- cubical set - exposition
- cyclic category
- dense functor
- Dold-Thom theorem
- Durov's generalized scheme
- Dwyer map
- Eilenberg-Moore category
- exact square
- exponential object
- fibration
- final functor
- FinSet
- flat functor
- Freyd-Mitchell embedding theorem
- GAGA
- generalized Reedy category
- generator > history
- geometry (for structured (infinity,1)-toposes)
- Goodwillie calculus
- Hartogs number
- Hausdorff implies sober
- Hausdorff space
- Henselian pair
- higher Segal space
- idempotent complete (infinity,1)-category
- infinitesimal extension
- Isbell envelope
- Jónsson-Tarski algebra
- Koszul duality
- lim^1 and Milnor sequences
- locally bounded category
- locally cartesian closed category
- locally presentable (infinity,1)-category
- M-category
- Max Kelly
- mixed model structure
- model structure for Cartesian fibrations
- model structure on chain complexes
- model structure on cubical sets
- model structure on simplicial sheaves
- monad with arities
- monadic functor
- n-localic (infinity,1)-topos
- pro-object
- quintet construction
- quiver
- Reedy model structure
- relational beta-module
- relative (infinity,1)-limit
- separated morphism of schemes
- separator
- sober topological space
- Spanier-Whitehead duality
- spine
- Steenrod algebra
- subobject classifier
- test category
- Thomason model structure
- topological concrete category
- total category
- type theory
- Waldhausen category
- Yoneda embedding