Matteo Capucci has contributed to 89 nLab pages.
| pseudomonic functor | 11:47:21, September 22 2023 |
| definability (fibred category theory) | 13:25:04, August 28 2023 |
| biproduct | 09:47:44, August 25 2023 |
| cartesian object | 09:29:34, August 25 2023 |
| local reflexive coequalizer | 15:23:09, August 22 2023 |
| reflexive coequalizer | 15:12:35, August 22 2023 |
| tight and loose morphisms | 14:59:57, August 22 2023 |
| tight and loose morphisms | 09:09:49, August 19 2023 |
| Sandbox | 09:05:58, August 19 2023 |
| monoidal double category | 08:01:15, August 19 2023 |
| monoidal double category | 15:40:27, August 18 2023 |
| Sandbox | 15:40:12, August 18 2023 |
| necessity and possibility | 15:35:35, August 11 2023 |
| coherent functor | 14:34:05, July 21 2023 |
| category of presheaves | 10:30:16, July 15 2023 |
| categorical Galois theory | 10:56:10, July 10 2023 |
| implicative structure | 20:23:07, April 30 2023 |
| implicative algebra | 02:12:43, April 30 2023 |
| posetal reflection | 21:45:35, April 29 2023 |
| implicative algebra | 21:39:48, April 29 2023 |
| implicative tripos | 21:39:03, April 29 2023 |
| implicative structure | 21:26:06, April 29 2023 |
| implicative structure | 20:53:46, April 29 2023 |
| complete Heyting algebra | 20:45:45, April 29 2023 |
| Heyting algebra | 20:44:30, April 29 2023 |
| walking isomorphism | 12:49:05, April 24 2023 |
| minimal object | 15:18:02, April 06 2023 |
| minimal object | 14:40:31, April 06 2023 |
| minimal object | 14:21:33, April 06 2023 |
| definability (fibred category theory) | 08:56:54, April 03 2023 |