nLab Author — Matteo Capucci

Overview

Matteo Capucci has contributed to 165 nLab pages.

Most recent contributions

All pages contributed to

• 2-category equipped with proarrows
• 2-limits and 2-colimits in 2-categories of 2-algebras
• 2-monad
• accessible category
• action of a monoidal category
• algebra for a profunctor
• amazing right adjoint
• applications of double category theory
• arrow (in computer science)
• bar construction
• Beck-Chevalley condition
• bicartesian category
• bicategorical limit
• biproduct
• braided monoidal functor
• cartesian monoidal category
• cartesian object
• categorical Galois theory
• category of fractions
• category of presheaves
• category theory for dynamical systems
• category with duals
• chain homotopy
• clique
• closed monoidal structure on presheaves
• co-Heyting algebra
• 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
• Day convolution
• 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
• familial 2-monad
• 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
• foliated category
• Giry monad
• Grothendieck fibration
• Heyting algebra
• hypercover
• idempotent monad
• implicative algebra
• implicative structure
• implicative tripos
• indexed functor
• internal pseudocategory
• inverse image
• Isbell duality
• isoinserter
• isomorphism
• iterated localization
• join of categories
• jointly monic morphisms
• Kripke-Joyal semantics
• Lawvere distribution
• lax algebra for a 2-monad
• lax functor
• lax monoidal category
• lens (in computer science)
• linear-non-linear adjunction
• linear-non-linear logic
• linearly distributive category
• 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
• multi-adjoint
• n-fold category
• necessity and possibility
• nuclear object
• opetopic type theory
• optic (in computer science)
• orthogonal factorization system
• para construction
• partial functor
• permutation category - history
• polynomial monad
• posetal reflection
• powering
• prefibered category
• pseudoaction
• pseudomonic functor
• pseudomonoid
• quasi-limit
• reflective localization
• reflexive coequalizer
• Rel
• relation
• relative monad
• representable morphism
• restriction (double category theory)
• ring spectrum
• Robin Cockett
• Sandbox
• Segal condition
• simplicial skeleton
• space and quantity
• split essentially surjective functor
• Stone-Čech compactification
• strict 2-limit
• strict factorization system
• strict terminal object
• strong profunctor
• structured (infinity,1)-topos
• structured cospan
• subobject classifier
• symmetric monoidal functor
• tensor linear category
• theory
• tight and loose morphisms
• tripos
• twisted arrow category
• two-sided fibration
• vertical transformation
• walking isomorphism
• weighted limit
• wreath
• wreath product
• wreath product of wreaths
• étale map
• Čech cohomology