Seta Seminar

Thread View: fj.meetings

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Susumu Hayashi Wed, 06 Jan 1993 03:50

#213

Author: Susumu Hayashi
Date: Wed, 06 Jan 1993 03:50

34 lines
1677 bytes


              $@!v!v!v!v!v!v(J $@@%ED(J$@%;%_%J!<!v!v!v!v!v!v(J

$@<!2s$N@%ED%;%_%J!<$N$*CN$i$;$G$9!#:#2s$b!"A02s$K0zB3$-(J Knobel $@$5$s$N(J
$@9V1i$G$9!#(J$@:#2s$O!"(Jfibration $@$N8+J}$K$h$C$F!"%+%F%4%j!<O@$,M}2r$7$d$9(J
$@$/$J$k$H$$$&OC$G$9!#(J

                     $@NS?8!w?tM}>pJs(J.$@N6C+(J

=======================================

$@9V1i<T(J: Andreas Knobel ($@N6C+Bg3X(J)

$@%?%$(J$@%H%k!'(J Good fibrations

$@F|;~(J: $@#17n#1#4F|!JLZMKF|!K#3;~$h$j(J

$@>l=j(J: $@N6C+Bg3X!"@%ED3X<K!"0l9f4[!"#5#3#39f(J$@<<!J#5#F(J)

     $@#J#R$S$o$3@~@%ED1X$h$j!"Dk;:%P%9!IN6C+Bg3X9T$-!I$"$k$$$O!"!I;T>l9T$-!"(J
     $@N6C+Bg3X7P(J$@M3!I$G!"!IN6C+Bg3X!I2<<V!JLs#8J,!K!#(J

Abstract:

   Fibrations are a fairly recent concept in Category Theory and have gained
some prominence in the development of models of the polymorphic lambda-
calculus.

   I shall try to give some indication of the ubiquity of fibrations
in category theory and in logic, and hope that these explanations will
make it easier to understand basic categorical concepts such as universality,
limits and adjoints, and logical concepts such as introduction and
elimination rules, topologies, and, who knows, maybe even fractals!

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads