Author — Finn Lawler

Finn Lawler has contributed to 79 nLab pages.

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 |

- 2-limit
- 2-morphism
- 2009 June changes
- adjoint triple
- Adjointness for 2-Categories
- adjunction
- algebra for a profunctor
- algebra for an endofunctor
- algebra for an endomorphism
- algebraic theory
- allegory
- axiom of separation
- Benabou-Roubaud theorem
- bicategory of maps
- bicategory of relations
- coherent category
- comma object
- comprehension > history
- cone
- cone morphism
- connection
- connection on a double category
- constant morphism
- context
- discrete fibration
- doctrinal adjunction
- Eilenberg-Moore category
- end
- exactness property
- fibration in a 2-category
- Finn Lawler
- Frobenius reciprocity
- geometric category
- Grothendieck construction
- Heyting category
- HomePage
- indecomposable object
- indexed functor
- internal category
- internal category in a monoidal category
- internal diagram
- internal profunctor
- intuitionistic logic
- ionad
- Kan extension
- Kleisli object
- lax 2-adjunction
- lax functor
- lax natural transformation
- lax-idempotent 2-monad
- linear logic
- locally presentable category
- mate
- minimal logic
- modification
- module over a monad
- monad
- monad (in computer science)
- oplax monoidal functor
- paraconsistent logic
- Petri net
- pseudonatural transformation
- pullback
- rewriting
- semicategory
- semifunctor
- sequent calculus
- sesquicategory
- sieve
- simplex category
- split coequalizer
- star-autonomous category
- strict 2-category
- successor monad
- ternary factorization system
- two-sided fibration
- type theory
- universal algebra
- κ-ary exact category