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 |

- 2-limit
- action of a monoidal category
- algebra for a profunctor
- amazing right adjoint
- applications of double category theory
- arrow (in computer science)
- Beck-Chevalley condition
- biproduct
- cartesian monoidal category
- cartesian object
- categorical Galois theory
- categorical systems theory
- category of presheaves
- category with duals
- chain homotopy
- closed monoidal structure on presheaves
- cocartesian coclosed category
- coherent functor
- cohesive topos
- companion pair
- complete Heyting algebra
- Conduché functor
- counterexamples in category theory
- Daisuke Tambara
- decorated cospan
- definability
- definability (fibred category theory)
- derivations of smooth functions are vector fields
- discrete fibration
- displayed category
- double category
- double functor
- doubly indexed category
- Drinfeld center
- dual fibration
- empty 171
- fibration in a 2-category
- fibred category theory
- fibred category theory - contents
- fixed point of an adjunction
- Giry monad
- Heyting algebra
- implicative algebra
- implicative structure
- implicative tripos
- indexed functor
- inverse image
- Isbell duality
- Kripke-Joyal semantics
- Lawvere distribution
- lax functor
- lax monoidal category
- lens (in computer science)
- local reflexive coequalizer
- localic topos
- minimal ideal
- minimal object
- modal hyperdoctrine
- monoidal double category
- monomorphism
- morphism of sites
- n-fold category
- necessity and possibility
- opetopic type theory
- optic (in computer science)
- posetal reflection
- prefibered category
- pseudomonic functor
- quasi-limit
- reflexive coequalizer
- relative monad
- ring spectrum
- Sandbox
- simplicial skeleton
- space and quantity
- Stone-Čech compactification
- strict terminal object
- structured (infinity,1)-topos
- structured cospan
- subobject classifier
- symmetric monoidal functor
- Tambara module
- tight and loose morphisms
- tripos
- two-sided fibration
- vertical transformation
- walking isomorphism
- weighted limit
- Čech cohomology