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

- 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