Michael Shulman All pages

Overview

The Michael Shulman wiki has 77 pages. Some of these are organised into categories.

Pages

• -1 OR 2+484-484-1=0+0+0+1
• -1' OR 2+922-922-1=0+0+0+1 or 'HuoHr6AI'='
• 0"XOR(if(now()=sysdate(),sleep(15),0))XOR"Z
• 1 waitfor delay '0:0:15' --
• 1'"
• 2-categorical logic
• 2-categorical logic collated
• 2-congruence
• 2-geometric morphism
• 2-Giraud theorem
• 2-internal first-order logic
• 2-polycongruence
• 2-pretopos
• 2-quasitopos
• 2-site
• @@IdF53
• acFiRnJ1' OR 423=(SELECT 423 FROM PG_SLEEP(15))--
• adjunctions in 2-logic
• Anonymous
• axiom of 2-choice
• balancedness in n-pretoposes
• Beck-Chevalley condition > history
• categories of variables
• categorified logic
• category of all sets
• Cauchy factorization
• classifying cosieve
• classifying discrete opfibration
• closed category
• coherent 2-category
• colimits in an n-pretopos
• comprehensive factorization
• core
• definitional equality for 2-logic
• dependent types in a 2-category
• discrete object
• duality involution
• eso-generator
• exact 2-category
• exact completion of a 2-category
• exactness hypothesis
• exponentials in 2-categories
• exponentials in a 2-category
• extensive 2-category
• fibrational slice
• full morphism
• functor comprehension principle
• functorially dependent types
• Grothendieck 2-topos
• groupoidal object
• header size test
• Heyting 2-category
• HomePage
• if(now()=sysdate(),sleep(15),0)
• internal logic of a 2-category
• Mike Shulman
• n-congruence
• n-prefix
• n-topos for large n
• NNO in a 2-category
• opposites in an exact 2-category
• posetal object
• product types in a 2-category
• regular 2-categories and choice
• regular 2-category
• Sandbox
• size structure
• slice 2-category
• stack semantics
• StreetCBS
• truncated 2-topos
• truncated object
• truncation in an exact 2-category
• VwWuCZUK
• WeberYS2T
• What is a 2-topos
• znhpQnjs')) OR 313=(SELECT 313 FROM PG_SLEEP(15))--