Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorTodd_Trimble
   • CommentTimeAug 22nd 2012
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexI've been adding a large number of details to the material Sridhar had started at [[tripos]] and also to [[partial combinatory algebra]].

   I’ve been adding a large number of details to the material Sridhar had started at tripos and also to partial combinatory algebra.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeAug 22nd 2012
   • (edited Aug 22nd 2012)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have added a bunch of hyperlinks to the entry, and linked _to_ the entry from _[[hyperdoctrine]]_ and _[[first-order hyperdoctrine]]_. Notice, by the way, that in order for the definition/theorem-environments to come out numbered as intended, one needs to stick to the prescribed [instiki syntax](http://golem.ph.utexas.edu/wiki/instiki/show/Theorems). Notably it has to be +-- {: .num_defn} instead of +-- {: .num_def} which won't be recognized. Also, it has to be +-- {: .num_theorem} +-- {: .num_remark} instead of +-- {: .num_thm} +-- {: .num_rem} So I have fixed that. (I agree that these 3-letter abbreviations would maybe be more systematic, in particular since it _is_ +-- {: .num_cor} instead of +-- {: .num_corollary} which is a constant source of me going back to that page and checking if I remember correctly.)

   I have added a bunch of hyperlinks to the entry, and linked to the entry from hyperdoctrine and first-order hyperdoctrine.

   Notice, by the way, that in order for the definition/theorem-environments to come out numbered as intended, one needs to stick to the prescribed instiki syntax. Notably it has to be

     +-- {: .num_defn}
   

   instead of

     +-- {: .num_def}
   

   which won’t be recognized. Also, it has to be

     +-- {: .num_theorem}
     +-- {: .num_remark}
   

   instead of

     +-- {: .num_thm}
     +-- {: .num_rem}
   

   So I have fixed that.

   (I agree that these 3-letter abbreviations would maybe be more systematic, in particular since it is

     +-- {: .num_cor}
   

   instead of

     +-- {: .num_corollary}
   

   which is a constant source of me going back to that page and checking if I remember correctly.)

3. • CommentRowNumber3.
   • CommentAuthorAndrew Stacey
   • CommentTimeAug 22nd 2012
   • PermaLink
   Author: Andrew Stacey
   Format: MarkdownItexIf this is a major hassle to keep checking, I could find out if it is easy to add "aliases". I've no idea, but it could be investigated. When I saw the title of this thread, I thought of a different "Tripos" which a few UK-trained mathematicians might still have nightmares about. Probably don't need a disambiguation page for that, though.

   If this is a major hassle to keep checking, I could find out if it is easy to add “aliases”. I’ve no idea, but it could be investigated.

   When I saw the title of this thread, I thought of a different “Tripos” which a few UK-trained mathematicians might still have nightmares about. Probably don’t need a disambiguation page for that, though.

4. • CommentRowNumber4.
   • CommentAuthorZhen Lin
   • CommentTimeAug 22nd 2012
   • PermaLink
   Author: Zhen Lin
   Format: MarkdownItexI'm sure the pun was completely intended, given how Pitts, Hyland, and Johnstone are all in Cambridge...

   I’m sure the pun was completely intended, given how Pitts, Hyland, and Johnstone are all in Cambridge…

5. • CommentRowNumber5.
   • CommentAuthorjim_stasheff
   • CommentTimeAug 22nd 2012
   • PermaLink
   Author: jim_stasheff
   Format: TextAh, so pun intended! good to know

   Ah, so pun intended! good to know
6. • CommentRowNumber6.
   • CommentAuthorTodd_Trimble
   • CommentTimeAug 22nd 2012
   • (edited Aug 22nd 2012)
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexYeah, it's both an acronym and a pun, due really to Johnstone I think. Initially (more punning!), tripos stood for "Topos Representing Indexed Partially Ordered Set". I'm probably going to have to add this to the entry. Thanks, Urs, for the corrections! Also, I'd like to have anchors for the three examples in the Examples section. I tried to create some; let me see if I can work this out successfully. (Edit: done.)

   Yeah, it’s both an acronym and a pun, due really to Johnstone I think. Initially (more punning!), tripos stood for “Topos Representing Indexed Partially Ordered Set”. I’m probably going to have to add this to the entry.

   Thanks, Urs, for the corrections! Also, I’d like to have anchors for the three examples in the Examples section. I tried to create some; let me see if I can work this out successfully. (Edit: done.)

7. • CommentRowNumber7.
   • CommentAuthorMike Shulman
   • CommentTimeNov 12th 2017
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI added to [[tripos]] a mention of the weaker notion introduced by Pitts in "Tripos theory in retrospect", and also the fact that the beta-reduced construction doesn't seem to rely on the existence of equality predicates either.

   I added to tripos a mention of the weaker notion introduced by Pitts in “Tripos theory in retrospect”, and also the fact that the beta-reduced construction doesn’t seem to rely on the existence of equality predicates either.