Summary Of: Categorical logic

Encyclodia Page On: Categorical logic

These Are Links To Other Documents

category theory | mathematics | mathematical logic | theoretical computer science | category | interpretation | functor | Bill Lawvere | Grothendieck topos | elementary topos | topos theory | Kripke semantics | real numbers | typed lambda calculus | cartesian-closed categories | domain theory | Lawvere | adjoint functors | Hegelian | subobject classifier | limits | attributes | subobject | Martin-Löf type theory | type polymorphism | calculus of constructions | linear logic | proof theory | game semantics | fibration | intuitionistic logic | Bourbaki | Grothendieck | Hilbert | Brouwer | Jean Dieudonné | Emmy Noether | Grothendieck's relative point of view | Pierre Cartier | IHES | Séminaire Bourbaki | measure theory | Kolmogorov | probability theory | realizability | Stephen Kleene | Curry–Howard isomorphism | Background and genesis of topos theory | Lawvere, F.W. | Lawvere, F.W. | Lawvere, F.W. | Barr, M. | Wells, C. | Hemel Hempstead | Lambek, J. | Lawvere, F.W. | Lawvere, F.W. | Schanuel, S.H. | | logic | stub | Categories | Systems of formal logic | Theoretical computer science | Categorical logic | Logic stubs |