varkor has contributed to 680 nLab pages.
| cartesian closed 2-category | 11:32:23, July 10 2025 |
| pullback | 21:27:34, July 09 2025 |
| lax-idempotent 2-adjunction | 13:47:47, July 09 2025 |
| lax-idempotent 2-monad | 13:23:35, July 09 2025 |
| lax-idempotent 2-adjunction | 13:14:08, July 09 2025 |
| lax morphism | 13:03:22, July 09 2025 |
| adjoint triple | 12:22:17, July 09 2025 |
| monadicity theorem | 15:37:01, July 08 2025 |
| well-pointed endofunctor | 15:25:12, July 08 2025 |
| algebraic theory | 15:05:31, July 08 2025 |
| strong profunctor | 10:28:19, July 08 2025 |
| dinatural transformation | 10:23:07, July 08 2025 |
| skeletal category | 07:16:10, July 08 2025 |
| pseudomonoid | 07:33:26, July 06 2025 |
| cartesian object | 07:33:06, July 06 2025 |
| local colimit | 13:14:39, July 04 2025 |
| cocomplete category | 09:54:55, June 30 2025 |
| flexible limit | 09:06:58, June 30 2025 |
| weak adjoint | 18:30:14, June 28 2025 |
| semi-adjunction | 18:28:58, June 28 2025 |
| category of elements | 10:05:29, June 28 2025 |
| 2-Grothendieck construction | 10:05:19, June 28 2025 |
| multirepresentable functor | 07:20:06, June 28 2025 |
| weak representation of a functor | 21:28:36, June 27 2025 |
| representable functor | 21:25:46, June 27 2025 |
| 2-Grothendieck construction | 13:36:11, June 26 2025 |
| 2-limit | 13:26:04, June 26 2025 |
| Greg Bird | 22:19:08, June 24 2025 |
| semi-left-exact reflection | 16:28:31, June 24 2025 |
| FinSet | 21:09:39, June 20 2025 |