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 |