All Pages
There are currently 1038 pages.
1Lab
2-Category
2-Out-Of-3 Property
2-Sided Displayed Category
A Normal Form
AMS Math
Abelian Category
Abelian Group Object
Abelian Group
Abelianization of a Group
Absolutely Cocomplete Category
Absorbing Element
Abstract Datatype
Accessible Localization
Accumulation Point
Actegory
Action Groupoid
Acyclic Class
Addition of Matrices
Additive Bundle
Additive Map
Adherent Point
Adjacency Matrix
Adjoint Functor Theorem For Posets
Adjoint Functor
Adjoint in a 2-Category
Adjunction in a Bicategory
Admissible Inference Rule
Affine
Algebra Homomorphism
Algebra over a Ring
Algebra with Involution
Algebraic Effect
Algebraic Morphism of Infinity Topoi
Algebraic Theory
Algebraic Variety
Allegory
Alpha Equivalence
Alternating Map
Anafunctor
Antireflexive Relation
Antisymmetric Relation
Approximate pattern matching
Arithmetic Combinatorics
Arithmetic Progression
Arrow Category
Artin Gluing
Associative Algebra
Associative Operation
Associative Unital Algebra
Atom in a Poset
Augmentation Ideal
Augmented Algebra
Augmented Category
Augmented Displayed Group
Augmented Group
Augmented Simplex Category
Augmented Simplicial Set
Axiom of Choice
Bag Paper Meeting with Alexander
Balanced Map of Modules
Base Change Functor
Basis of a Vector Space
Beck Module
Beck-Chevalley Condition
Bi-Initial Object
Bi-Terminal Object
Biadjunction
Bicategory of Categories
Bicategory of Spans
Bicategory
Bicommutative Elements
Bidirectional Type Theory
Bifibration
Bilinear Map
Bilinear Morphism of Monoids
Bimodule between Monoid Objects
Bimodule in a Bicategory
Binary Biproduct
Binary Cartesian Product
Binary Cocartesian Coproduct
Binary Operation
Binary Pullback
Biunitary Element
Boolean Satisfiability
Boolean
Border array
Border of a string
Bottom Element
Bounded Lattice
Bourne Congruence
Boyer-Moore string matching
Braided Monoidal Category
Bridge in a Double Category
Bridgeable Double Category
Bunched Implication Logic
Bundle
Burnside Semiring
Burrows-Wheeler Transform
C
CT-Structure
CalcCheck
Calculus of Fractions
Call-By-Push-Value
Cancellative Monoid
Canonical model structure on Cat
Canonicity of a Type Theory
Cardinal Number
Cartesian Category
Cartesian Closed Category
Cartesian Fibration
Cartesian Morphism of Polynomial Functors
Cartesian Morphism
Cartesian Morphisms of the Family Fibration
Cartesian Product of Groups
Cartesian Product of Monoids
Cartesian Square
Category of Abelian Groups
Category of Additive Bundles
Category of Commutative Monoid Objects
Category of Commutative Monoids
Category of Complete Atomic Boolean Algebras
Category of Complete Atomic Heyting Algebras
Category of Contexts
Category of Elements
Category of Groups
Category of Lawvere Theories
Category of Lenses
Category of Locales
Category of Modules over a Ring
Category of Modules over a Semiring
Category of Monoid Objects
Category of Monoids
Category of Pointed Sets
Category of Polynomial Functors
Category of Relations
Category of Rings
Category of Semiring Bimodules
Category of Semirings
Category of Sets
Category of Standard Finite Sets
Category of Topological Spaces
Category with Fibrant Objects
Category
Cayley-Dickson Construction
Center of a Ring
Central Element of a Semigroup
Characteristic of a Field
Chart in a Topological Space
Circular String
Classical Mathematics
Classical Propositional Logic
Classical Sequent Calculus
Cleavage
Closed Category
Closed Modality
Closed Monoidal Category
Closed String
Closed Subset of a Topological Space
Closure Conversion
Closure
Cloven Fibration
Coarse Space
Cocartesian Category
Cocartesian Fibration
Cocartesian Morphism
Cocomplete Category
Cocontinuous Functor
Codiscrete Cofibration
Codiscrete Topology
Codisplayed Category
Codomain Fibration
Coend
Coequaliser
Cofibre
Cofibrewise Terminal Object
Cofiltered Category
Cofunctor
Cograph
Cohomology
Coinductive Type
Colimit in an Infinity Category
Colimit of a Functor
Comaximal Ideal
Combinator Calculus
Combinatorial Class
Comma Category
Commutative Localization of a Ring
Commutative Monoid Object
Commutative Monoid
Commutative Operation
Commutative Ring
Commutative Semigroup
Commutative Semiring
Compact Closed Category
Compact Locales
Compact Object
Compact Topological Space
Compiling with Continuations
Complement of a Subset
Complete Boolean Algebra
Complete Category
Complete Lattice
Complete Theory
Complex Conjugation
Complex Numbers
Composition of Displayed Categories
Composition of Polynomial Functors
Composition of Profunctors
Composition of Relations
Comprehension Category
Conatural Number
Conceptual Completeness
Concrete Category
Conflict-Driven Clause Learning
Congruence in a Category
Congruence in an Infinity Topos
Conjugation in a Group
Conjunction
Connected Category
Connected Limit
Connected Relation
Conservative Extension
Conservative Functor
Conservative Infinity Functor
Constructive Mathematics
Context
Continuation
Continuous Function
Continuous Functor
Continuous Map of Kleene Spaces
Contractible
Contraction Substitution
Convergence of a Net
Converse of Relations
Conversion Checking
Convolution Product
Coopcartesian Morphism
Cooperator in a Unital Category
Copower
Copresheaf
Coproduct of Lawvere Theories
Coproduct of Telescopes
Coproducts in a Comprehension Category
Core of a Category
Coseparator
Coset of a Group
Coslice Category
Cospan
Cotangent Bundle
Cotopological Congruence
Cotopological Localization
Cotransitive Relation
Countable Type
Covariant Derivative
Covectors
Cover of a Locale
Cowedge under a Functor
Coyoneda Lemma
Cubical Monad
Cut Rule
Cyclic Group
DPLL
DavMail
Day Convolution
Decidable Equality
Decidable Relation
Definable Set
Definitional Equality
Defunctionalization
Defunctionalizing Set Theory
Delimited Continuation
Delooping of a Group
Delooping of a Monoid
Delooping of a Monoidal Category
Demisimplex Category
Dense Order
Dense Relation
Dependent Type
Deterministic Finite Automaton
Diagonal Map in an Infinity Topos
Dialectica Category
Differentiable Manifold
Differential Form
Differentiating Telescopes
Direct Image of a Subset
Direct Sum
Directed Multigraph
Directed Set
Directed-Complete Partial Order
Discrete Cartesian Fibration
Discrete Category
Discrete Cocartesian Fibration
Discrete Fourier Transform
Discrete Topology
Discrete Two-Sided Fibration
Disjoint Coproduct
Disjunction
Displayed Adjunction in a Displayed Bicategory
Displayed Bicategory of Cartesian Fibrations
Displayed Bicategory of Displayed Categories
Displayed Bicategory
Displayed Category of Functor Dialgebras
Displayed Category of Topologies
Displayed Category
Displayed Functor
Displayed Group
Displayed Isomorphism
Displayed Monoidal Category
Displayed Natural Transformation
Displayed Ring
Displayed Semiring
Displayed Type Theory
Distributive Category
Distributivity Pullback
Divisibility in a Semigroup
Division Allegory
Domain Opfibration
Dot Product
Double Categories and (Op)Lax Morphisms
Double Category of Bimodules
Double Category of Bridges
Double Category of Mates
Double Category
Double Entry Task Tracking
Double Exponential Function
Double Negation Monad
Dual Vector Bundle
Dual Vector Space
Dual in a Closed Category
Duoidal Category
Duval's Algorithm
Dynamic Logic
EWS
Eckmann-Hilton Argument
Effective Quotient
Eigenvalue
Eigenvector
Eilenberg-Moore Category
Elementary Fibration
Elementary Topos
Elimination Rule
Elpaca
Emacs load performance
Emacs
Emacsql
Embedding in an Infinity Topos
Embedding of Types
Empty Type
End of a Functor
Endofunctor
Endomorphism Monoid
Endomorphism Ring
Endomorphism Semiring
Enriched Category
Environment
Epimorphism
Equaliser
Equality Reflection
Equality in a Cartesian Fibration
Equivalence Relation
Equivalence in an Infinity-Category
Equivalence of categories
Equivalence
Equivariant Function
Essentially Small
Essentially Surjective on Objects Functor
Eta Rule
Euclidean Space
Euler Characteristic of a Semiring
Event-B
Eventuality Modality
Eventuality in a Net
Exact Sequence
Exchange Rule
Exchange Substitution
Exponential Function
Exponential Object
Exponential Semiring
Exponential of Presheaves
Extened Real Number
Extension of Scalars
Extensive Category
Exterior Algebra
External Product of Presheaves
Extranatural Transformation
Factorial
Faithful Functor
Falling Factorial
Family Fibration of a Fibration
Family Fibration
Fibrant object
Fibration of Points
Fibration of Signatures
Fibration of Subsets
Fibre Bundle
Fibre Category
Fibre
Fibred Adjunction
Fibred Functor
Fibred Terminal Objects
Fibrewise Opposite of a Cartesian Fibration
Fibrewise Orthogonal Morphisms
Fibrewise Terminal Objects
Field Extension
Field Homomorphism
Field
Filtered Category
Filtered Colimits
Final Coalgebra
Final Map
Final object
Finally tagless in Agda
Finite Biproduct
Finite Cartesian Product
Finite Cocartesian Coproduct
Finite Dimensional Vector Space
Finite Field
Finite Limit of a Functor
Finite Ordinal
Finite Set
Finitely Complete Category
Finitely Supported Function
Finitely Supported Partial Function
First Order Logic
First-Order Language
First-Order Theory
Fixing byte compilation issues with use-package
Formal Language
Formal Power Series
Fourier Transform
Frame
Free Abelian Group
Free Commutative Monoid
Free Group Action
Free Group
Free Magma
Free Monoid
Free Object
Free Product of Groups
Full Functor
Full Subcategory
Fully Faithful Functor
Functional Analysis
Functional Relation
Functor Algebra
Functor Category
Functor Coalgebra
Functor Dialgebra
Functor
G-Set
Galois Theory
General Adjoint Functor Theorem
Generalized Element
Generalized Gurevič Identities
Generating Function
Generic Object
Geometric Embedding
Geometric Morphism
Global Element
Globular Monad
Gnus
Godel Coding
Green Slime
Grothendieck Construction
Grothendieck Topology
Grothendieck Topos
Groud
Group Action
Group Homomorphism
Group Object
Group of Units of a Monoid
Group of Units of a Ring
Group
Groupoid
Gurevič Identities
H-Level
H-Proposition
H-Set
HOL Light
Hadamard Product in a Cartesian Fibration
Hadamard Product of Matricies
Hadamard Product of Polynomial Functors
Hall Sets
Hamming distance
Hermitian Form
Heyting Algebra
Higher Inductive Type
Higher Order Logic
Hilbert Space
Hoare Logic
Holonomy
Hom Functor
Homeomorphism
Homomorphism of Monoid Objects
Homotopy Category
IMAP
Ideal in a Monoid Object
Idempotent Comonad
Idempotent Monad
Idempotent Operation
Idempotent Semigroud
Identity Displayed Category
Identity Element
Identity Relation
Identity System
Identity Systems as Effect Handlers
Identity Type
Identity-On-Objects Functor
Iizuka Congruence
Image of a Function
Imperative Programming Language
Impredicativity
Indeterminate string
Indexed Biproduct
Indexed Cartesian Product
Indexed Category
Indexed Cocartesian Coproduct
Indexed Polynomial Functor
Inference Rule
Infinity Category
Infinity Connected Morphism
Infinity Functor
Infinity Topos
Infinity-Connected Object
Inflattice
Initial Augmented Group
Initial Category
Initial Object
Injective Function
Inner Product on a Vector Space
Institution
Integer
Integral Quantale
Integral Transform
Intermediate Representation
Internal Hom
Internal Language
Internal Reflexive Relation
Interpolant in a Fibration
Interval Object
Introduction Rule
Invertible Element
Involutive Monoid
Involutive Ring
Involutive Semigroup
Isofibration
Isomorphism of Categories
Isomorphism
J Rule
Jacobi Identity
Java
Join Semilattice
Join in a Poset
Joint Cartesian Family
Joint Category Theory
Joint Equaliser
Jointly Monic Family
Jointly Weak Monic Family
Judgement
Kernel Pair
Kernel of a Displayed Monoid
Kernel of a Group Homomorphism
Kernel of a Ring Homomorphism
Kernel of a Semiring Homomorphism
Kleene Algebra
Kleene Equality
Kleene Space
Kleene Star
Kleisli Category
Knaster-Tarski Theorem for Categories
Kronecker Delta Function
LaTeX
Lattice
Lawvere Theory
Lax Monoidal Functor
Lean 4
Left Adjoints Preserve Colimits
Left Exact Functor
Left Exact Localization
Left Fibration
Left Orthogonal
Left Quasigroup
Left Residual in a Monoidal Category
Left Rule
Left Unital Operation
Leibniz Algebra
Let Binding
Levenshtein distance counts edits
Levenshtien distance
Lie Algebra
Lie Group
Limit of a Functor
Limited Principle of Omniscience
Linear Map
Linear Operator Analysis
Linear Polynomial Functor
Lispy mode
List
Lists in HoTT
Local Homeomorphism
Locale
Localic Map
Localization of Infinity Categories
Localization of a Monoid
Localization of a Ring
Localization of an Infinity Category
Locally Cartesian Closed Category
Locally Euclidean Space
Locally Graded Category
Locally Small Category
Logical Morphism
Logos
Logseq
Lyndon Word
MacOS shortcuts
Magma
Maildir
Malcev Category
Malcev Operation
Mate Pair
Matrix Transpose
Matrix
Maybe Monad
Meet Semilattice
Meet in a Preorder
Meow
Merely Inhabited
Meta-Logical Framework
Metric Space
Midwest PL Seminar 2024
Min Tropical Semiring
Mitchell's Embedding Theorem
Mix Rule
Modal Logic
Modality
Model Theory
Model category
Model of a Theory
Module over a Ring
Module over a Semiring
Modulus of Convergence
Monad Algebra
Monad Bimodule
Monad in a Bicategory
Monad in a Double Category
Monad
Monogenic Congruence
Monoid Action
Monoid Congruence
Monoid Factorization
Monoid Homomorphism
Monoid Ideal
Monoid Object
Monoid
Monoidal Category
Monoidal Functor
Monoidal Join Semilattice
Monoidal Natural Transformation
Monomorphism
Monotone Function
Morphism of Additive Bundles
Morphism of Indexed Polynomial Functors
Morphism of Polynomial Functors
Morphism of Spans
Morphism of Telescopes
Multi-Modal Logic
Multi-Sorted Finitary Signature
Multicategory
Multilinear Map
Multilinear Morphism of Monoids
Mutex
N-Connected Morphism
N-Truncated Morphism
N-Truncated Object
Natural Deduction
Natural Isomorphism
Natural Number
Natural Transformation
Near-Ring
Near-Semiring
Necessity Modality
Necessity in a Net
Negative Connective
Net in a Type
Nilpotent Element
Nix Darwin
Nonempty List
Nonempty Type
Normal Duoidal Category
Normal Subgroup
Notmuch
NuPRL
Objective Number Theory
Observational Type Theory
Offlineimap
Omega Chain
Opdisplayed Category
Open Map
Open Neighborhood
Opposite Category
Opposite of a Monoid
Opposite of a Ring
Opposite of a Semiring
Optimal Reduction
Optimizing Haskell
Orbit of a Group Action
Ordinal Sum
Ore Extension
Ore Set
Org Agenda
Org Edna
Org Mode
Org QL
Org Roam QL
Org Roam and Logseq
Org Roam
Org and Zotero
Org link types
Ornaments
Orthogonal Morphisms
Overlap Algebra
Para-associative Operation
Paracategory
Parity of a Permutation
Partial Applicative System
Partial Combinatory Algebra
Partial Correctness
Partial Derivative
Partial Function
Partial Functional Relation
Partial Map Classifier
Partial Recursive Function
Partition of a Set
Path Type
Permutation
Pi Type
Piecewise Function
PlusCal
Pointed Directed-Complete Partial Order
Pointed Object
Pointed Product
Pointed Type
Pointer Aliasing
Pointwise Convergence
Polycategory
Polynomial Functor
Polynomial Ring
Polynomial Semiring
Poset
Positivity Predicate
Power Object
Power Set
Predicativity
Prefix array
Preimage of a Function
Preorder
Presentable Infinity Category
Preserved Colimit
Presheaf Category
Presheaf
Prime Number
Primitive Recursive Function
Principal Bundle
Principal Ideal in a Monoid
Principal Semiring Ideal
Principle of Equivalence
Product Magma
Product Topology
Product of Telescopes
Profunctor Algebra
Profunctor
Project management with org roam
Projective Object
Proof Irrelevance
Proof-theoretic strength of Agda
Property-Like Structure
Propositional Linear Temporal Logic
Propositional Truncation
Pseudo Double Category of Spans
Pseudo-Torsor
Pseudofunctor
Pullback of a Displayed Category
Punctual Span
Pure Monoid
Pushout
Quantale
Quasicategory
Quasigroup
Queue
Quotient Algebra
Quotient Group
Quotient Inductive Type
Quotient Monoid
Quotient Object
Quotient Ring
Quotient Semiring
Race Condition
Rational Number
Recognizable Set
Record Patching
Recurrance Relation
Rees Congruence
Refinement of Specifications
Reflective Subcategory
Reflexive Object
Reflexive Relation
Reflexive-Transitive Closure of a Relation
Regular Cardinal
Regular Language
Regular Open Set
Regular Span
Relation
Relational Parametricity
Relational Semantics
Representable Functor
Restriction of Scalars
Retract
Richman Premetric Space
Right Fibration
Right Quasigroup
Right Rule
Ring Bimodule
Ring Homomorphism
Ring Ideal
Ring Multimodule
Ring of Integers
Ring
Rising Factorial
Rust
S-M-N Theorem
SAT Solver
Scheme
Scott Continuous Map
Sea of Nodes
Semiadditve Category
Semiautomaton
Semicocartesian Monoidal Category
Semidirected Set
Semigroud
Semigroup Object
Semigroup
Semilinear Map
Semimonoidal Join Semilattice
Semiring Bimodule
Semiring Congruence
Semiring Extension
Semiring Homomorphism
Semiring Ideal
Semiring of Dual Numbers
Semiring
Separation Axiom
Separation Logic
Sequent Calculus
Sequentially Compact Topological Space
Sesquilinear Form
Set Theory
Set Truncation
Sheaf
Shear Map
Shoes and Socks Principle
Short Exact Sequence
Should Your Specification Language Be Typed
Shützenberger's Factorization Theorem
Sieve
Sigma Type
Simple Fibration
Simplex Category
Simplicial set
Simpsons 4-Slot Algorithm
Simultaneous Substitution
Single Substitution
Singleton Type
Sink in a Category
Site
Slice Category
Smash Product of Pointed Types
Smooth Manifold
Solution Set Condition
Source in a Category
Span
Specifying Datastructures via Coinduction
Split Cartesian Fibration
Split Epimorphism
Sqlite
Square-Zero Extension
Stabilizer Group
Stable Theory
Star Semiring
Stirling Numbers Of The First Kind
Stone Space
Strict Category
Strict Initial Object
Strict Linear Order
Strict Monoidal Functor
Strict Preorder
Strict Proposition
Strongly Epimorphic Family
Strongly Saturated Class
Structural Rule
Stuff, Structure, Property
Subcategory
Subcover of a Locale
Subgroup
Submodule of a Module of a Ring
Submodule of a Module of a Semiring
Submonoid
Subobject Classifier
Subobject
Subring
Subset
Substitution
Substructural Logic
Substructural Type Theory
Suffix array
Suplattice
Support Vector Machine
Surjection in an Infinity Topos
Surjective Function
Symmetric Closed Monoidal Category
Symmetric Monoidal Category
Symmetric Monoidal Functor
Symmetric Relation
Symmetries in Displayed Type Theory
Symmetry Group
Syntax Vs. Notation
TLA Plus
Tabular Allegory
Tangent Bundle
Tangent Category
Tangent Space
Tarski Universe
Tarski's high school algebra problem
TeX
Telescope
Temporal Logic of Actions
Temporal Logic
Tensor Algebra
Tensor Product of Abelian Groups
Tensor Product of Bimodules
Tensor Product of Commutative Monoids
Tensor Product of Lawvere Theories
Tensor Product of Modules
Tensor Product of Two-Sided Fibrations
Terminal Category
Terminal Object
Ternary Operation
The Globe Category
Theory Extension
Theory
Thinnings
Thorin
TikzCD
Top Element
Topological Categories
Topological Class of Morphisms
Topological Closure
Topological Exterior
Topological Group
Topological Interior
Topological Localization
Topological Space
Topos Institute
Topos
Torsion
Torsor
Total Category
Total Correctness
Total Monomorphism
Total Opposite
Total Products
Total Relation
Transformation Monoid
Transition Monoid
Transitive Group Action
Transitive Relation
Triangle inequality
Trivial Bundle
Trivial Fibration
Twisted Arrow Category
Twisted Comma Category
Two-Sided Fibration
Type Family
Undecidable Problem
Uniform Space
Unimath
Uniqueness of Identity Proofs
Unit Propagation
Unit Type
Unit in an Allegory
Unital Category
Unital Operation
Unital Quantale
Univalence Axiom
Univalent Semigroud
Untyped Lambda Calculus
Use Package
Vector Bundle
Vector Space
Verifast
Vertical Decategorification
Vertical Isomorphism
Vim
Virtual Double Category of Bimodules
Walking Arrow
Walking Cospan
Walking Parallel Pair
Walking Wide Cospan
Weak Cartesian Morphism
Weak Linear Order
Weak Monomorphism
Weak Terminal Object
Weakening Rule
Weakening Substitution
Weakly Initial Family
Wedge Sum of Pointed Types
Wedge over a Functor
Weighted Colimit of a Functor
Weighted Kan Extension
Weighted Limit of a Functor
Weighted edit distance
Weil Algebra over a Field
Well-Founded Relation
Well-Powered Category
Wide Cospan
Wide Pullback
Wide Pushout
Wide Subcategory
Wilkie's Identity
Y-combinator
YASnippet
Yoneda Embedding
Yoneda Lemma
Z Notation
Zero Group
Zero Object
Zotero
∞-Category with weak equivalences and fibrations