nLab Author — Jonas Frey

Overview

Jonas Frey has contributed to 110 nLab pages.

Most recent contributions

All pages contributed to

• 2009 June changes
• A study in derived algebraic geometry
• affine logic
• amnestic functor
• Andrew Swan
• Ausdehnungslehre
• bounded geometric morphism
• cartesian object
• Categorical dynamics
• categorical semantics of dependent type theory
• category of fibrant objects
• category of presheaves
• Category Theory conference
• Cisinski model structure
• clan
• colimits in categories of algebras
• commutativity of limits and colimits
• compactly generated topological space
• companion pair
• completely distributive category
• computad
• concrete sheaf
• configuration space of points
• conjunction
• conservative functor
• counterexamples in category theory
• created limit
• Deligne's theorem on tensor categories
• dense functor
• descent morphism
• Diaconescu's theorem
• direct category
• DistLat
• distributive law
• double-negation shift
• effects of foundations on core mathematics
• Eilenberg-Moore category
• Eilenberg-Zilber category
• events of interest for the working category theorist
• exact couple
• extensive category
• extremal epimorphism
• final functor
• first-order hyperdoctrine
• flat morphism
• free bicompletion
• gaunt category
• Grothendieck topos
• horn
• Hurewicz cofibration
• hypercomplete (infinity,1)-topos
• hyperconnected geometric morphism
• hyperdoctrine
• internal diagram
• internally projective object
• Introduction to Topology -- 1
• irreducible element
• John Duskin
• John Isbell
• Kan extension
• lax morphism
• lax-idempotent 2-adjunction
• level of a topos
• list of category theory papers that never appeared
• list of journals publishing homotopy theory and category theory
• localizable Boolean algebra
• locally connected geometric morphism
• Marta Bunge
• metric space
• Michael Barr
• microlocal analysis
• monadic functor
• monadicity theorem
• monoidal model category
• phase semantics
• pointed endofunctor
• pretopos
• pseudomonic functor
• pure type system
• quality type
• Quillen-Suslin theorem
• realizability topos
• Reedy category
• regular monomorphism
• replete subcategory
• reverse monoidal category
• Robert Thomason
• Sandbox
• scheme
• Segal category
• semi-left-exact reflection
• separator
• sifted category
• simplex category
• simplicial model for weak omega-categories
• slice model structure
• star-autonomous category
• strong monomorphism
• synthetic differential geometry
• test category
• Thomas Streicher
• Thomason model structure
• topological localization
• transfinite construction of free algebras
• van Kampen colimit
• Waldhausen category
• weak homotopy equivalence
• Weil algebra
• well-powered category
• Zariski site