nLab Author — Andrew Stacey

Overview

Andrew Stacey has contributed to 415 nLab pages.

Most recent contributions

All pages contributed to

• (infinity,1)-category of (infinity,1)-sheaves
• (infinity,1)-topos
• (infinity,1)-topos - contents
• (sub)object classifier in an (infinity,1)-topos
• 2009 August changes
• 2009 February changes
• 2009 January changes
• 2009 July changes
• 2009 June changes
• 2009 September changes
• A Not-So-Nice Submanifold
• About
• absolutely convex subset
• absorbing subset
• adequate subcategory > history
• adjunction
• adjunction > zigzagepsilon
• adjunction > zigzageta
• Alexander Grothendieck
• algebraic category
• algebraic homotopy
• algebraic K-theory, a historical perspective
• algebraic theories in functional analysis
• all changes
• All Pages > history
• an elementary treatment of Hilbert spaces
• Andrew Stacey
• Anonymous User
• associahedron
• axiom of multiple choice
• Banach space
• barreled topological vector space
• basis in functional analysis
• basis of a free module
• bifibration
• black hole firewall > history
• black hole firewall problem
• blob homology
• Boman's theorem
• bornological set
• bornological topological vector space
• Borromean link
• Borromean link - SVG
• bounded operator
• bounded set
• Bourbaki
• Brice Halimi
• bridge number
• Brown -- Abstract Homotopy Theory and Generalized Sheaf Cohomology > history
• Brown-Grossman homotopy group
• BrownAHT
• bump function
• categorical properties of Frölicher spaces
• category of fibrant objects
• category of fractions
• category theory
• category theory vs order theory
• Cauchy sum theorem
• chain rule
• Chen space
• Chern character
• Chevalley-Eilenberg algebra in synthetic differential geometry
• Chiral Algebras
• cinquefoil knot - SVG
• circle
• circle n-bundle with connection
• circled set
• closed map > history
• co-H-space
• cogroup
• cohomology
• cohomology theory > history
• coimage
• coinduction
• colorable knot
• comma category
• comma object
• commutative algebraic theory
• Como
• compact self-adjoint operator
• compact space
• compact support
• complete topological vector space
• connected space
• constant morphism
• contents
• contents of contents
• continuous map
• continuous multilinear operator
• continuously differentiable map
• convenient vector space
• convergence vector space
• cotangent bundle
• counterexamples in algebra
• curl
• database of categories > history
• David Corfield
• David Michael Roberts
• dense functor
• density matrix
• dependent sum natural deduction - table
• DF space
• Diaconescu's theorem
• diagram of LCTVS properties
• diffeological space
• differential cohomology
• differential graded algebras and differential graded Lie algebras-relationships
• differential graded objects - contents
• differential module
• differential topology of mapping spaces
• Dirac operator on smooth loop space
• directed graph
• directional derivative
• disjunction
• distribution
• divergence
• Domenico Fiorenza
• dual gebra
• duality in string theory
• embedding of differentiable manifolds
• empty 002
• empty 003
• empty 005
• empty 022
• empty 023
• empty 028
• empty 031
• empty 035
• empty 036
• empty 037
• empty 038
• enriched bicategory
• epimorphism
• equivalence relation
• equivariant tubular neighbourhood in a mapping space
• Erlangen program
• evaluation fibration of mapping spaces
• examples of Frölicher spaces
• exercise in groupoidification - the path integral
• faithful representation
• FAQ > history
• Fermat theory
• figure 8 knot - SVG
• figure eight knot
• flat module
• framed link
• Fréchet derivative
• Fréchet manifold
• Fréchet space
• Frölicher space
• Frölicher spaces and Isbell envelopes
• full functor
• functional analysis - contents
• functional analysis bibliography
• G-delta subspace
• Galois module
• general topology
• generalized object > history
• generalized smooth space
• generator > history II
• geometric infinity-function theory
• geometric Langlands correspondence
• geometry
• graph
• Grothendieck's Galois theory
• group
• Hausdorff space
• heap
• heuristic introduction to sheaves, cohomology and higher stacks > history
• Higher Topos Theory
• Hodge cohomology
• HomePage
• HOMFLY-PT polynomial
• homotopy limit
• homotopy n-type
• Hopf link
• Hopf link - SVG
• horn
• How to get started > history
• HowTo
• Hurewicz connection
• hypergroupoid
• hypermonoid
• hyperplane line bundle
• hypersimplex
• ideal completion
• Ieke Moerdijk
• immersion of smooth manifolds
• Inclusion Sandbox
• induced representation
• infinitary algebraic theory
• infinity-gerbe
• inverse
• Isbell conjugation > history
• Isbell envelope
• isomorphism classes of Banach spaces
• isotopy
• join
• Joseph Goguen
• kinematic tangent space
• knot
• knot group
• knot invariant
• knot theory - contents
• Kontsevich integral
• Kriegl and Michor's cartesian closed category of manifolds
• KW format test
• Künneth theorem
• Lambda-ring
• large cardinal
• lattice of TVS properties
• Lawvere theory
• lctvs dot source
• Leinster2010
• Lie's three theorems
• limit
• linear mapping spaces
• link
• linking number
• local addition
• locally additive space
• locally convex topological vector space
• locally presentable categories - table
• loop space object
• M M Postnikov
• manifold structure of mapping spaces
• maps from compact spaces to Hausdorff spaces are closed and proper
• math blogs
• mathematics
• mathematicscontents
• measurable space
• mechanics
• metric space
• Milnor mu-bar invariant
• Mochizuki's proof of abc
• modal logic
• modified Reidemeister move 1 - SVG
• modular tensor category
• module spectrum
• monadicity theorem
• monoidal category
• monomorphism
• motivation for sheaves, cohomology and higher stacks
• Myles Tierney
• negative type
• Nikolai Durov
• noncommutative symmetric function
• norm
• normal subgroup
• normalizer
• normed group
• nuclear space
• number theory
• On the CLassification of Topological Field Theories > history
• on the manifold structure of singular loops
• open morphism
• oriental
• oriental > Delta2
• orthogonal structure
• paracompact topological space
• parallelogram identity
• partial differentiation
• path groupoid
• pentagon decagon hexagon identity
• pentagonal algebra of open string field theory
• physics
• Poincar%C3%A9 duality > history
• Pontrjagin-Thom collapse map
• positive type
• Pr(infinity,1)Cat
• precompact space
• predicate logic
• prequantum field theory
• PrimeDeGold
• progroup
• propagating flow
• proper homotopy theory
• proper homotopy theory > history
• propositional logic
• proximity space
• quantification
• quasi-symmetric function
• quasicompact morphism
• rack
• radial set
• rational homotopy theory
• rational number
• reality check
• reductions deformations resolutions in physics > bv-axes
• reductions deformations resolutions in physics > bv-diag
• reductions deformations resolutions in physics > cq-arr
• reductions deformations resolutions in physics > ln-arr
• reductions deformations resolutions in physics > pg-arr
• Reedy category
• regular representation
• regular space
• Reidemeister move
• Reidemeister move 1 - SVG
• Reidemeister move 2 - SVG
• Reidemeister move 3 - SVG
• relational beta-module
• request for help > history
• Riemannian metric
• Ross Street
• Sandbox
• Sandbox > SVG > history
• Sandbox > test
• Saunders Mac Lane
• schedule
• Schwartz space
• SEAR plus epsilon
• Searching the nLab > history
• second lctvs diagram dot source
• sequentially compact topological space
• sheaf
• sheaf cohomology
• shift map
• sieve
• singular knot
• sketch
• slideshow sandbox
• Smith space (generalized smooth space)
• smooth loop space
• smooth structure from submanifolds
• smooth structure of the path groupoid
• snake lemma
• sober topological space
• space and quantity
• Spanier-Whitehead duality
• special characters
• SPHERE
• sphere
• Steve Awodey
• stratifold
• StreetCBS
• structure type
• stuff, structure, property
• subcanonical coverage
• subsets of lctvs
• subtopos
• SVG downarrow
• SVG downarrowtail
• SVG Editor HowTo > history
• SVG hookdownarrow
• SVG hookrightarrow
• SVG images
• SVG nearrow
• SVG neswarrow
• SVG nwsearrow
• SVG pullback
• SVG rightarrow
• SVG searrow
• SVG short neswarrow
• SVG short nwsearrow
• SVG skein double crossing
• SVG skein negative crossing
• SVG skein no crossing
• SVG skein positive crossing
• SVG triplelengthrightarrow
• SVGsandbox
• symmetric monoidal category
• symmetric product of circles
• Tall-Wraith monoid
• tangent bundle
• tangent spaces of mapping spaces
• tangential notions of Frölicher spaces
• Template page
• theory of primes > history
• Timeline of category theory and related mathematics
• Toby Bartels
• topological concrete category
• topological notions of Frölicher spaces
• topological vector space
• topology
• topology of mapping spaces
• topos
• totally convex space
• transgression
• trefoil knot
• trefoil knot (2 bridge) - SVG
• trefoil knot - SVG
• triangle identities
• trigonometric identities and the irrationality of pi
• tubular neighbourhood of a mapping space
• TVS relationships
• type (functional analysis)
• Tôhoku
• UC Riverside Seminar on Cobordism and Topological Field Theories
• union
• unitary group
• universal algebra
• universal algebra in a monoidal category
• universal coefficient theorem
• universal principal bundle
• universal quantifier
• Vassiliev invariant
• Vassiliev skein relation
• Verity on descent for strict omega-groupoid valued presheaves
• vielbein
• weighted limit
• what to contribute
• Whitehead link
• Whitehead link - SVG
• Whitehead theorem
• why (infinity,1)-categories?
• WISC
• writhe
• Yasuyuki Kawahigashi
• Yemon Choi
• Yetter model
• Yi-Zhi Huang
• Yoneda embedding
• Yoneda lemma
• Yoneda lemma for bicategories
• Čech groupoid