Todd Trimble All pages

Overview

The personal wiki of Todd Trimble has 68 pages. Some of these are organised into categories.

Pages

• abstraction
• An elementary approach to elementary topos theory
• Associated idempotent monad of a monad
• Balls
• Buildings for category theorists
• Cantor's theorem for posets
• Cartesian closure of internal categories
• cartologies
• category of simple graphs
• Characterization of sine
• Characterizations of compactness
• classical well-foundedness
• Closed structure on modules over a commutative monoid
• Completeness of polynomials
• Continuity of the exponential function
• core-compact spaces are exponentiable
• Cyclic operads
• digraph stuff
• Dippy disproof of infinitary extensivity of affine schemes
• discrete harmonic functions
• distributivity implies monicity of coproduct inclusions
• elementary sequence question
• Epistemologies
• finitely generated projective
• Frobenius reciprocity implies Frobenius laws
• Functional completeness for cartesian closed categories
• Further developments on Trimble n-categories
• graph minor
• HomePage
• Hyperdoctrine version of Gödel incompleteness
• Initial algebras and terminal coalgebras
• Karoubi envelope
• Lagrange four squares theorem
• Lemma on wide pushouts
• Monic endomorphisms on the subobject classifier
• monomorphisms in the category of groups
• Morphisms between tensor functors
• multisorted Lawvere theories
• Nerve of opposite category
• Note on power allegories
• Notes on conversations with James Dolan
• Notes on Euler factors
• Notes on group objects
• Notes on operads and the Lie operad
• Notes on predicate logic
• Notes on SU(2) reps
• Notes on the Lie Operad
• p-norms
• Proving lemmas on monoidal categories
• quotients of reals
• remark on Cantor-Schroeder-Bernstein
• Small cocompletions
• Some basic Stone-von Neumann spectral theory
• Some combinatorics on trees and functions
• Some notes on the theme of well-foundedness
• Spans of groupoids
• Stuff on coalgebras
• sup-lattices in quasitoposes
• Surface diagrams
• Theory of units and tabulations in allegories
• Three topos theorems in one
• Todd Trimble
• topogeny
• Towards a doctrine of operads
• Trees
• Tychonoff theorem for locales
• Varieties of algebras
• Whitney trick