Fabian? has contributed to 62 nLab pages.
Kripke-Joyal semantics | 16:05:12, December 08 2021 |
Čech groupoid | 18:12:07, November 29 2021 |
presheaf of groupoids | 17:57:30, November 29 2021 |
formal grammar | 09:14:44, October 28 2021 |
Mac Lane's proof of the coherence theorem for monoidal categories | 15:03:50, October 27 2021 |
projective object | 06:18:06, September 15 2021 |
reflective factorization system | 15:30:28, August 24 2021 |
small object argument | 08:17:28, August 12 2021 |
well-powered category | 10:06:32, August 11 2021 |
pointed endofunctor | 10:31:45, August 09 2021 |
arrow (in computer science) | 16:01:09, August 06 2021 |
Handbook of Categorical Algebra | 08:19:58, August 03 2021 |
adjoint functor | 07:57:50, August 03 2021 |
mate | 07:20:59, August 03 2021 |
graded monad | 14:59:54, July 28 2021 |
strong monad | 14:18:40, July 19 2021 |
strong monad | 13:47:27, July 19 2021 |
synthetic topology | 21:01:38, April 15 2021 |
synthetic topology | 20:11:38, April 15 2021 |
Kripke-Joyal semantics | 09:39:22, February 28 2021 |
adjoint triple | 13:06:00, February 24 2021 |
monadic descent | 13:13:23, February 15 2021 |
homotopy type theory | 16:36:06, February 12 2021 |
generalized algebraic theory | 12:03:41, February 10 2021 |
enriched category | 11:37:36, February 10 2021 |
companion pair | 09:11:43, August 14 2020 |
weighted limit | 10:20:47, July 29 2020 |
descent object | 13:01:32, July 26 2020 |
fibrant object | 12:35:14, July 26 2020 |
monadic functor | 09:59:44, July 22 2020 |