nLab Author — Matteo Capucci

Overview

Matteo Capucci has contributed to 89 nLab pages.

Most recent contributions

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

All pages contributed to