nLab
Bart Jacobs
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

papers
category:
people
Created on October 17, 2010 06:40:25 by
Tim Porter
(95.147.237.180)
Edit
 Views:
Print

TeX

Source
 Linked from:
logic
,
type theory
,
coalgebra for an endofunctor
,
induction
,
quantum logic
,
Giry's monad
,
axiom of separation
,
stable factorization system
,
categorical model of dependent types
,
continuous algebra
,
effect algebra
,
effect algebra of predicates