Escolar Documentos
Profissional Documentos
Cultura Documentos
Category Theory
and Categorical
Logic
Wolfgang Jeltsch
Category theory
basics
Products,
coproducts, and
exponentials
Categorical logic
Functors and
natural
transformations
Monoidal
categories and
monoidal functors
Monads and
comonads
References
An Introduction to Category Theory
and Categorical Logic
Wolfgang Jeltsch
TT
U K uberneetika Instituut
Teooriaseminar
April 19 and 26, 2012
An Introduction to
Category Theory
and Categorical
Logic
Wolfgang Jeltsch
Category theory
basics
Products,
coproducts, and
exponentials
Categorical logic
Functors and
natural
transformations
Monoidal
categories and
monoidal functors
Monads and
comonads
References
Category theory basics
Products, coproducts, and exponentials
Categorical logic
Functors and natural transformations
Monoidal categories and monoidal functors
Monads and comonads
References
An Introduction to
Category Theory
and Categorical
Logic
Wolfgang Jeltsch
Category theory
basics
Products,
coproducts, and
exponentials
Categorical logic
Functors and
natural
transformations
Monoidal
categories and
monoidal functors
Monads and
comonads
References
Category theory basics
Products, coproducts, and exponentials
Categorical logic
Functors and natural transformations
Monoidal categories and monoidal functors
Monads and comonads
References
An Introduction to
Category Theory
and Categorical
Logic
Wolfgang Jeltsch
Category theory
basics
Products,
coproducts, and
exponentials
Categorical logic
Functors and
natural
transformations
Monoidal
categories and
monoidal functors
Monads and
comonads
References
From set theory to universal algebra
sets
vector spaces
, cl
)
is a function f : X X
with
f (cl(A)) cl
(f (A))
repository states
components of a category:
a class of objects
composition of morphisms:
f : A B g : B C
gf : A C
identity morphisms:
id
A
: A A
composition is associative
composition is partial:
codomain and domain must match
opposite category (
op
for every category (:
objects of (
op
are the ones of (
morphisms f : A B of (
op
are the morphism
f : B A of (
compositions gf in (
op
are the compositions fg in (
identities in (
op
are the same as in (
consequences:
objects
(A, B)
where A is an object of (, and B is an object of T
morphisms
(f , g) : (A, B) (A
, B
)
where f : A A
and g : B B
)(f , g) = (f
f , g
g)
id
(A,B)
= (id
A
, id
B
)
generalization of bijections
morphism f : A B is an isomorphism
if there is an f
1
: B A such that
f
1
f = id
A
1
= id
B
pair construction:
x A y B
(x, y) A B
pair destruction:
1
: A B A
2
: A B B
1
: A B A
2
: A B B
(called projections) for which the following holds:
1
f , g = f
2
f , g = g
duals of products
1
: A A + B
2
: B A + B
(called injections) for which the following holds:
Currying:
f : C A B
f
: C B
A
function application:
: B
A
A B
where
(f , x) = f (x)
An Introduction to
Category Theory
and Categorical
Logic
Wolfgang Jeltsch
Category theory
basics
Products,
coproducts, and
exponentials
Categorical logic
Functors and
natural
transformations
Monoidal
categories and
monoidal functors
Monads and
comonads
References
Exponentials
f
: C B
A
f
1
,
2
= f
the morphism
f
is unique
general idea:
models :
1 models :
! proves truth:
An Introduction to
Category Theory
and Categorical
Logic
Wolfgang Jeltsch
Category theory
basics
Products,
coproducts, and
exponentials
Categorical logic
Functors and
natural
transformations
Monoidal
categories and
monoidal functors
Monads and
comonads
References
Coproducts and disjunctions
+ models :
0 models :
exponentiation models :
axioms:
1
(A, B) = A
2
(A, B) = B
1
(f , g) = f
2
(f , g) = g
An Introduction to
Category Theory
and Categorical
Logic
Wolfgang Jeltsch
Category theory
basics
Products,
coproducts, and
exponentials
Categorical logic
Functors and
natural
transformations
Monoidal
categories and
monoidal functors
Monads and
comonads
References
Functor intuitions
container intuition:
eect intuition:
composition GF : ( c of functors F : ( T
and G : T c:
identity functor Id : ( (:
A
: FA GA ,
one for each object A
B
(Ff ) = (Gf )
A
An Introduction to
Category Theory
and Categorical
Logic
Wolfgang Jeltsch
Category theory
basics
Products,
coproducts, and
exponentials
Categorical logic
Functors and
natural
transformations
Monoidal
categories and
monoidal functors
Monads and
comonads
References
Functor categories
functor category:
natural isomorphisms:
products:
1
and
2
are natural transformations:
1
:
1
2
:
2
coproducts:
1
and
2
are natural transformations:
1
:
1
+
2
:
2
+
An Introduction to
Category Theory
and Categorical
Logic
Wolfgang Jeltsch
Category theory
basics
Products,
coproducts, and
exponentials
Categorical logic
Functors and
natural
transformations
Monoidal
categories and
monoidal functors
Monads and
comonads
References
Revisiting exponentials
exponentiation is a functor E : (
op
( ( with
g
f
=
g(id
B
A
f )
is a natural transformation
: E
1
2
,
where E
1
is the functor with
(E
1
)A = EA
1
A
and
(E
1
)f = Ef
1
f
An Introduction to
Category Theory
and Categorical
Logic
Wolfgang Jeltsch
Category theory
basics
Products,
coproducts, and
exponentials
Categorical logic
Functors and
natural
transformations
Monoidal
categories and
monoidal functors
Monads and
comonads
References
Category theory basics
Products, coproducts, and exponentials
Categorical logic
Functors and natural transformations
Monoidal categories and monoidal functors
Monads and comonads
References
An Introduction to
Category Theory
and Categorical
Logic
Wolfgang Jeltsch
Category theory
basics
Products,
coproducts, and
exponentials
Categorical logic
Functors and
natural
transformations
Monoidal
categories and
monoidal functors
Monads and
comonads
References
Monoidal categories
a functor
: ( ( ( ,
called the tensor product
A,B,C
: (A B) C A (B C)
A
: I A A
A
: A I A
axiom:
For any objects A and B, all morphisms from A to B
that are built solely from , , , and are equal.
, I
a functor from ( to (
(also named F)
FB F(A B)
n : I
FI
a functor T : ( (
axioms:
A
(T
A
) =
A
TA
: TTTA TA
1
TA
=
A
(T
A
) =
A
TA
: TA TA
consequences:
is general union
: T(TA) TA
is singleton construction
: A TA
list monad:
duals of monads
a functor U : ( (
axioms:
(U
A
)
A
=
UA
A
: UA UUUA
1
UA
= (U
A
)
A
=
UA
A
: UA UA
consequences: