Parodies of abstruse mathematical writing

Is this what you're looking for?

http://thatsmathematics.com/mathgen/

Mathgen is an random math paper generator, based on SCIgen which does the same for computer science papers. It will provide you with an unlimited supply of abstruse nonsense: definitions, theorems, proofs, references, and all.

Here is a sample title and abstract.

"Some Reducibility Results for Ultra-Universally Nonnegative Arrows"

Assume we are given a contra-intrinsic subring $\mathscr{{W}}$. Recently, there has been much interest in the description of manifolds. We show that $\| t' \| > \mathbf{{b}}$. So is it possible to describe compactly ultra-prime systems? Hence recent interest in finitely Huygens--Hilbert, closed, meager groups has centered on describing canonical homomorphisms.

(Disclosure: edited by Nate Eldredge, author of Mathgen, to include additional details.)

The online version of the closing entry of Reports of the Midwest Category Seminar IV (1970, Springer LNM 137) costs $29.95 so I decided to place a transcript here.

CATEGORICALLY, THE FINAL EXAMINATION    
-------------  ---------------------
FOR THE    

SUMMER INSTITUTE AT BOWDOIN COLLEGE (Maine) 1969



               'I thought I saw a garden door that opened with a key,
                I looked again and found it was a Double Rule of Three,
                And all its mysteries, I said, are plain as day to me.'

                                         (Verse by the true founder of
                                           Category Theory)


Important Instruction:  This is a take-home exam:
---------------------    Do not bring it back!


Answer as many as possible at a time.



 1. Are foundations necessary? To put it another way, given a
    chance, wouldn't Mathematics float?

 2. Describe the category of foundations. Is this a concrete cate-
    gory? A re-enforced concrete category?

 3. Discuss the relations and limitations of the foundations set
    forth by:
       a) Frege-Russell
       b) Bernays-Gödel
       c) Playtex.

 4. (Mac Lane's Theorem) Prove that every diagram commutes.

 5. Considering a left-adjoint as male and a right adjoint as female,
    give the correct term for a contravariant functor self-adjoint
    on the right.

 6. Considering a left-adjoint as husband and right-adjoint as
    wife, give a precise definition of "marital relations". Do the
    same for the pre-adjoint situation.

 7. Discuss the Freudian significance of exact sequences. (Hint:
    consider the fulfillment by one arrow of the kernel of the next.)

 8. Find two new errors in Freyd's "Abelian Categories".
         --- ===

 9. Trace the origin of the Monads-Triads-Triples controversy to the
    important paper of St. Augustine.

10. Using theorems from both Freyd and Mitchell, prove that every
    reflective category is co-reflective. Dualize.

11. Give your opinion of the following exercises:
       a) Ten pushouts
       b) Twenty laps around an adjoint triangle
       c) Two supernatural transformations.

12. Write out at least one verse of
       a) "Little Arrows"
       b) "Doing What Comes Naturally"
       c) "Hom on the Range"

13. Why is the identity functor on 2 called the "Mother Functor"?
                                   -

14. Write down the evident diagram, apply the obvious argument, and
    obtain the usual result. (If you can't do it, you're not
    looking at it hard enough, or, perhaps, too hard.)


                                                      Phreilambud

PS After some controversy in comments I just googled for "who is phreilambud" and found this:

Date: Mon, 3 Oct 2005 11:58:38 -0400 (EDT)
From: Peter Freyd <[email protected]>
To: [email protected]
Subject: categories: Re: Phreilambud at Bowdoin 1969

``Phreilambud'' was written by me, a young student named Lambert who
disappeared, I think, from mathematics and David Eisenbud, now paying
for his sins as head of MSRI (Berkeley).
   Peter

PPS Another thing that came to my mind, although not exactly what the question asks for but closely related to the above. Jack Duskin once told me that after one of his talks on simplicial sets, with the blackboard full of dozens of parallel bunches of arrows sticking in all directions behind him, somebody in the audience warned him of the high risk of sharing the fate of St. Sebastian.

Well there is C. E. Linderholm's Mathematics made difficult ("available on the internet")...

Also, if I remember well, D. Nordon's Les mathématiques pures n'existent pas! has a pretty biting parody of a Bourbaki-era seminar and/or thesis defense.

Third, K. Meyer: An application of Poincaré's recurrence theorem to academic administration (lifted from another question here).

Fourth, the definition of left- and right-circular cows in P. Jordan and R. de L. Kronig: Movements of the Lower Jaw of Cattle during Mastication.