nLab
Author — Finn Lawler

Overview

Finn Lawler has contributed to 79 nLab pages.

Most recent contributions

axiom of separation 10:32:50, August 31 2014
comprehension > history 10:32:50, August 31 2014
axiom of separation 10:32:50, August 31 2014
comprehension > history 10:32:50, August 31 2014
comprehension > history 10:32:50, August 31 2014
comprehension > history 10:32:50, August 31 2014
module over a monad 10:32:26, August 31 2014
module over a monad 10:32:26, August 31 2014
semifunctor 10:32:24, August 31 2014
semicategory 10:32:24, August 31 2014
bicategory of relations 10:32:22, August 31 2014
allegory 10:32:20, August 31 2014
geometric category 10:32:20, August 31 2014
allegory 10:32:19, August 31 2014
bicategory of relations 10:32:19, August 31 2014
bicategory of relations 10:32:19, August 31 2014
allegory 10:32:19, August 31 2014
coherent category 10:32:19, August 31 2014
Heyting category 10:32:19, August 31 2014
monad (in computer science) 10:32:14, August 31 2014
monad (in computer science) 10:32:14, August 31 2014
locally presentable category 10:32:07, August 31 2014
exactness property 10:32:05, August 31 2014
two-sided fibration 10:32:02, August 31 2014
cone 10:32:01, August 31 2014
Benabou-Roubaud theorem 10:32:01, August 31 2014
split coequalizer 10:32:00, August 31 2014
2-limit 10:31:59, August 31 2014
Grothendieck construction 10:31:59, August 31 2014
Grothendieck construction 10:31:59, August 31 2014

All pages contributed to