nLab Author — Matteo Capucci

Overview

Matteo Capucci has contributed to 137 nLab pages.

Most recent contributions

All pages contributed to

• 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
• clique
• closed monoidal structure on presheaves
• co-relation
• co-Yoneda lemma
• cocartesian coclosed category
• codensity monad
• coherent functor
• cohesive topos
• companion pair
• complete Heyting algebra
• conjunction
• 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
• dominance
• dominion
• double category
• double functor
• doubly indexed category
• Drinfeld center
• dual fibration
• Eilenberg-Moore category
• empty 171
• enhanced 2-category
• entwining structure
• exponentiable functor
• extension (double category theory)
• factorization system on a 2-category
• fibrant double category
• fibration in a 2-category
• fibred category theory
• fibred category theory - contents
• fibred functor
• fibred natural transformation
• fixed point of an adjunction
• Giry monad
• Grothendieck fibration
• Heyting algebra
• hypercover
• implicative algebra
• implicative structure
• implicative tripos
• indexed functor
• internal pseudocategory
• inverse image
• Isbell duality
• iterated localization
• 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
• Matteo Capucci
• 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)
• orthogonal factorization system
• para construction
• permutation category - history
• posetal reflection
• powering
• prefibered category
• pseudoaction
• pseudomonic functor
• pseudomonoid
• quasi-limit
• reflexive coequalizer
• Rel
• relation
• relative monad
• restriction (double category theory)
• ring spectrum
• Sandbox
• simplicial skeleton
• space and quantity
• Stone-Čech compactification
• strict factorization system
• strict terminal object
• structured (infinity,1)-topos
• structured cospan
• subobject classifier
• symmetric monoidal functor
• Tambara module
• tensor linear category
• tight and loose morphisms
• tripos
• twisted arrow category
• two-sided fibration
• vertical transformation
• walking isomorphism
• weighted limit
• wreath
• wreath product
• wreath product of wreaths
• Čech cohomology