Matteo Capucci has contributed to 120 nLab pages.

braided monoidal functor | 06:57:26, April 30 2024 |

Sandbox | 06:57:09, April 30 2024 |

doctrinal adjunction | 08:54:22, April 27 2024 |

internal pseudocategory | 07:49:27, April 11 2024 |

co-relation | 14:12:59, April 02 2024 |

relation | 14:04:50, April 02 2024 |

conservative functor | 19:18:44, March 05 2024 |

Eilenberg-Moore category | 17:18:03, February 08 2024 |

locally graded category | 10:54:03, February 07 2024 |

2-category equipped with proarrows | 16:22:16, January 30 2024 |

2-category equipped with proarrows | 15:29:04, January 30 2024 |

Sandbox | 15:28:45, January 30 2024 |

framed bicategory | 14:57:57, January 30 2024 |

distributive law | 11:36:25, January 19 2024 |

lax algebra for a 2-monad | 07:40:35, January 18 2024 |

entwining structure | 12:33:43, January 17 2024 |

permutation category - history | 10:31:19, December 20 2023 |

hypercover | 12:07:47, December 11 2023 |

accessible category | 13:31:06, December 03 2023 |

monoidal action of a monoidal category | 10:03:06, November 27 2023 |

bicartesian category | 09:44:42, November 27 2023 |

para construction | 15:22:14, November 26 2023 |

monoidal action of a monoidal category | 15:21:28, November 26 2023 |

action of a monoidal category | 14:38:22, November 26 2023 |

para construction | 14:36:54, November 26 2023 |

para construction | 15:53:04, November 18 2023 |

para construction | 11:45:18, November 18 2023 |

action of a monoidal category | 11:14:46, November 18 2023 |

tight and loose morphisms | 11:31:11, November 15 2023 |

F-category | 11:28:54, November 15 2023 |

- 2-category equipped with proarrows
- 2-limit
- accessible category
- action of a monoidal category
- algebra for a profunctor
- amazing right adjoint
- applications of double category theory
- arrow (in computer science)
- Beck-Chevalley condition
- bicartesian category
- biproduct
- braided monoidal functor
- cartesian monoidal category
- cartesian object
- categorical Galois theory
- category of presheaves
- category theory for dynamical systems
- category with duals
- chain homotopy
- closed monoidal structure on presheaves
- co-relation
- co-Yoneda lemma
- cocartesian coclosed category
- coherent functor
- cohesive topos
- companion pair
- complete Heyting algebra
- Conduché functor
- conservative functor
- counterexamples in category theory
- Daisuke Tambara
- decorated cospan
- definability
- definability (fibred category theory)
- derivations of smooth functions are vector fields
- discrete fibration
- display map
- displayed category
- distributive law
- doctrinal adjunction
- double category
- double functor
- doubly indexed category
- Drinfeld center
- dual fibration
- Eilenberg-Moore category
- empty 171
- entwining structure
- F-category
- fibration in a 2-category
- fibred category theory
- fibred category theory - contents
- fibred functor
- fibred natural transformation
- fixed point of an adjunction
- framed bicategory
- Giry monad
- Grothendieck fibration
- Heyting algebra
- hypercover
- implicative algebra
- implicative structure
- implicative tripos
- indexed functor
- internal pseudocategory
- inverse image
- Isbell duality
- Kripke-Joyal semantics
- Lawvere distribution
- lax algebra for a 2-monad
- lax functor
- lax monoidal category
- lens (in computer science)
- local reflexive coequalizer
- localic topos
- locally graded category
- minimal ideal
- minimal object
- modal hyperdoctrine
- module category
- module over a monad
- monoidal action of a monoidal category
- monoidal double category
- monomorphism
- morphism of sites
- n-fold category
- necessity and possibility
- opetopic type theory
- optic (in computer science)
- para construction
- permutation category - history
- posetal reflection
- powering
- prefibered category
- pseudoaction
- pseudomonic functor
- pseudomonoid
- quasi-limit
- reflexive coequalizer
- relation
- 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
- tensor linear category
- tight and loose morphisms
- tripos
- two-sided fibration
- vertical transformation
- walking isomorphism
- weighted limit
- Čech cohomology