nLab Author — Guest

Overview

Guest? has contributed to 136 nLab pages.

Most recent contributions

All pages contributed to

• Ab-enriched category
• absorption magma
• absorption monoid
• Ali Mozaffari
• axiom of circle type localization
• axiom of infinity
• axiom of set truncation
• being
• binomial theorem
• binomial type
• boolean domain
• Boolean rig
• Boolean ring
• bracket type
• Cauchy filter
• Cauchy sequence
• center
• choice operator
• coalgebra
• commutative invertible semigroup
• concrete (infinity,1)-category
• concrete (n,1)-category
• concrete category
• context lock
• continuous map
• contravariant type family
• copy
• countably compact topological space
• covariant type family
• Darboux integration
• decidable equality
• decidable subset
• dependent extension type
• dependent product type
• derivation
• directed homotopy type theory - contents
• directed topological space
• directed univalence axiom
• discrete Segal type
• dominance
• Eanna Flanagan
• elementary symmetric polynomial
• Emily Riehl
• empty type
• equivalence type
• excluded middle
• existential quantifier
• extension type
• filter
• finite mathematics
• FinSet
• formal (infinity,1)-category theory
• formal topology
• function type
• fundamental theorem of algebra
• generalized Cauchy real number
• Graded Seely isomorphism > history
• graded vector space
• handlebody
• hom type
• HoTT book real number
• identity system
• inductive definition
• integral
• intermediate value theorem
• invertible semigroup
• ionad
• isomorphism in a Segal type
• Kolmogorov topological space
• Kripke frame
• left division in modal type theory
• localization of a commutative ring
• localization of a ring
• Loeb measure
• marked extensional well-founded order
• Mike Shulman
• MOND
• monoid theory - contents
• Mordehai Milgrom
• multi-valued function
• natural numbers type
• objective type theory
• ontology
• point-free topology
• pointed abelian group
• polynomial
• power series
• power set
• preorder
• pushout type
• quasigroup
• quotient set
• rational vertex operator algebra
• real quadratic function
• relational beta-module
• Rezk completion
• Rezk type
• Riemann integration
• root
• Segal type
• semi-simplicial types in homotopy type theory
• separation axioms
• sigma-algebra
• sigma-frame
• sigma-topological space
• simple root
• simplicial type theory
• small set
• spacetime
• specialization order
• specialization topology
• split context
• strict terminal object
• sublocale
• subtype
• symmetric space
• symmetric topological space
• synthetic topology
• Tarski group
• Tarski universe
• Terence Tao
• Tom Zlosnik
• topological space
• Topologie
• topology
• trivial algebra
• trivial monoid
• type of propositions
• type theory with shapes
• union
• unit type
• univalent groupoid
• unramifiable polynomial
• wide pullback
• zero locus
• zero-set structure