Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding

Source URL: www.paultaylor.eu

• Category theory
• Functional programming
• Algebras
• Boolean algebra
• F-algebra
• Functor
• Algebraic structure
• Ordinal number
• F-coalgebra
• Adjoint functors
• Constructible universe
• Free algebra

I. CDO: Categories with Distinguished Objects II. Chu Spaces, Typed and Untyped III. Three Questions in Philosophy Vaughan Pratt Stanford University

Source URL: chu.stanford.edu

• Mathematics
• Algebra
• Abstract algebra
• Category theory
• Functors
• Sheaf theory
• Algebraic topology
• Topos
• Functor
• Category
• Morphism
• Chu space

Lifters, free sets, ladders The Conc functor k-ladders

Source URL: spot.colorado.edu

• Lattice theory
• Mathematics
• Algebraic structures
• Structure
• Semilattice
• Distributive lattice
• Lattice
• Functor
• Congruence lattice problem
• Distributive homomorphism

Derived functors in group theory and homotopy theory Roman Mikhailov (St. Petersburg State University) Every two-sided ideal a in the integral group ringZ[G] of a group G determines a normal subgroup F ∩ (1 + a) of G,

Source URL: www.7ecm.de

• Algebra
• Mathematics
• Abstract algebra
• Homotopy theory
• Functors
• Homological algebra
• Inder Bir Singh Passi
• Homotopy group
• Derived functor
• Homology
• Normal subgroup
• Natural transformation

Submission for IFLFlipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ

Source URL: gbaz.github.io

• Software engineering
• Computer programming
• Category theory
• Algebra
• Functional programming
• Higher-order functions
• Programming language comparisons
• Adjoint functors
• Monad
• Functor
• Fold
• Map

HOMOLOGICAL ALGEBRA FOR SCHWARTZ ALGEBRAS OF REDUCTIVE P-ADIC GROUPS RALF MEYER Abstract. Let G be a reductive group over a non-Archimedean local field. Then the canonical functor from the derived category of smooth temp

Source URL: www.math.vanderbilt.edu

ON THE DEFINITION AND K-THEORY REALIZATION OF A MODULAR FUNCTOR IGOR KRIZ AND LUHANG LAI Abstract. We present a definition of a (super)-modular functor

Source URL: www.math.lsa.umich.edu

• Category theory
• Functors
• Algebraic topology
• Monoidal categories
• Nerve
• Enriched category
• Topological quantum field theory
• Sheaf
• Equivalence of categories
• Natural transformation
• Universal property
• Simplicial set

Subspaces in Abstract Stone Duality Paul Taylor August 11, 2003 Abstract By abstract Stone duality we mean that the topology or contravariant powerset functor, seen as a self-adjoint exponential Σ(−) on some category,

Source URL: www.monad.me.uk

STRINGY BUNDLES AND INFINITE LOOP SPACE THEORY J.M.GOMEZ, P. HU AND I. KRIZ 1. introduction In this note, we describe a new a candidate for an elliptic cohomology-type spectrum based on conformal field theory. The new mo

Source URL: www.math.lsa.umich.edu

• Abstract algebra
• Algebra
• Mathematics
• Category theory
• Functors
• Fibred category
• Natural transformation
• Equivalence of categories
• Universal property
• Grothendieck topology
• Sheaf
• Forgetful functor

TOPOS THEORY EXAMPLES 1 (Lent TermO. Caramello . Let C be a category such that, for each object c, the slice category C/c is equivalent to a small category, even though C may not be small. Show that the functor ca

Source URL: www.oliviacaramello.com