nLab Author — Daniel Luckhardt

Overview

Daniel Luckhardt has contributed to 195 nLab pages.

Most recent contributions

All pages contributed to

• (n,r)-category
• A Concise Course in Algebraic Topology
• abc conjecture
• absolutely convex subset
• abstract elementary class
• action groupoid
• Alex Simpson
• Alexander Grothendieck
• allegory
• almost Kähler geometric quantization
• amazing right adjoint
• An Essay on the Foundations of Geometry
• analytic philosophy
• Andreas Thom
• approach space
• Archive of Formal Proofs
• Attempt to Introduce the Concept of Negative Quantities into Philosophy
• Aufhebung
• axiom of replacement
• Baire lattice
• Baire subset
• being
• Benedikt Ahrens
• bitopological space
• blueprint
• boost
• Brandt groupoid
• Cantor-Schroeder-Bernstein theorem
• category (philosophy)
• category of open subsets
• central product of groups
• characteristic class
• classical mechanics
• closed subspace
• co-Yoneda lemma
• cohesive
• Como
• comonoid
• compact object
• compact subspaces of Hausdorff spaces are closed
• concept with an attitude
• constructive mathematics
• continuous poset
• convex space
• copresheaf
• cotopology
• countable chain condition
• countably locally discrete set of subsets
• countably locally finite set of subsets
• countably tight space
• Critique of Pure Reason
• Daniel Luckhardt
• de Rham theorem
• descent
• direct image with compact support
• discrete and indiscrete topology
• EI-category
• Einstein-Hilbert action
• enriched functor category
• entropy
• eta invariant
• exceptional naturalism
• first-countable space
• ForMath
• fourth generation of fundamental particles
• Frechet-Uryson space
• free loop space
• Galois connection
• general topology
• geometric quantization
• George Strecker
• Giry monad
• graph of groups
• Hadamard lemma
• Hausdorff space
• Hermite-Einstein connection
• heteromorphism
• Higher toposes of laws of motion
• HOL
• HowTo
• hyperbolic geometry
• hypercover
• hyperfunction
• idempotent semifield
• idempotent semiring
• identity of indiscernibles
• image
• Immanuel Kant
• infinite judgement
• integer
• Introduction to Topology
• IPC-property
• Isabelle
• Isbell duality
• J.M. Ellis McTaggart
• Jean Bénabou
• jet bundle
• Kakeya Conjecture
• Karl Rosenkranz
• Kripke frame
• language
• lattice
• Lectures on the Philosophy of Religion
• Lie groupoid
• limit
• Lindelöf topological space
• locally compact and second-countable spaces are sigma-compact
• locally compact topological space
• locally discrete set of subsets
• locally finite set of subsets
• loop space object
• Lorentz group
• Löwenheim-Skolem theorem
• Malcev category
• maps from compact spaces to Hausdorff spaces are closed and proper
• mathematical object
• Meister Eckhart
• metacompact space
• metric space
• metrisable topological space
• metrization theorem
• modular lattice
• module over a monad
• monoidal category
• multi-valued function
• mysticism
• Nagata-Smirnov metrization theorem
• Nagata-Smirnov metrization theorem - main theorem
• Naturerkennen und Logik
• nucleus (disambiguation)
• one-point compactification
• open covers of metric spaces have open countably locally discrete refinements
• overt space
• p-adic physics
• Paley-Wiener-Schwartz theorem
• paracompact spaces satisfying the countable chain condition are Lindelöf
• paracompact topological space
• Parmenides dialogue
• Peter Kloeden
• philosophy
• Poisson manifold
• Principia Mathematica
• principle of equivalence
• pro-object
• propositions as types
• quantale
• quintessence
• quotient object
• regular space
• relational beta-module
• relative monad
• Ricci curvature
• Ryszard Engelking
• Sandbox
• Schwartz space
• Science of Logic
• Scott's trick
• second-countable space
• second-countable spaces are Lindelöf
• selection theorem
• semicontinuous map
• separable metacompact spaces are Lindelöf
• separable space
• sequent calculus
• sequential topological space
• sequentially compact metric spaces are equivalently compact metric spaces
• sheafification
• short map
• sieve
• Skolem's paradox
• sober topological space
• solution set condition
• Some remarks on axiomatized set theory
• statistical significance
• subsequential space
• suplattice
• Taimanov theorem
• tangent bundle category
• The QED Project
• Thoralf Skolem
• topologically complete space
• topology - countability axioms
• totally disconnected space
• Tractatus Logico-Philosophicus
• transcendental ideal
• UniMath project
• unit of an adjunction
• unnatural isomorphism
• Urysohn metrization theorem
• Urysohn metrization theorem - main theorem
• weakly Lindelöf spaces with countably locally finite base are second countable
• weakly Lindelöf topological space
• Xena project
• étale space
• Čech nerve