Category Theory (UoE)

	April 2025
	1	2 Category Theory Seminar: Oscar Youngman (Edinburgh) - Homotopy and cohesion in toposes of graphs Category Theory Seminar: Oscar Youngman (Edinburgh) - Homotopy and cohesion in toposes of graphs April 2, 2025 11:00 am - 12:00 pm Bayes 5.46 Many people working in graph theory today are interested in thinking of graphs as analogous to spaces, and developing homotopy theories for graphs. One particular categorical point of view on this idea can be found in the work of Lawvere, dating back to the 1980s. Lawvere observed that some elementary toposes seem to deserve to be thought of as… See more details Category Theory Seminar: Maia Woolf (Edinburgh) - Algebraic theories all of whose algebras are free Category Theory Seminar: Maia Woolf (Edinburgh) - Algebraic theories all of whose algebras are free April 2, 2025 12:00 pm - 1:00 pm Bayes 5.46 Algebraic theories, such as the theories of groups, rings, and modules over a given ring, are often studied category theoretically as finitary monads on Set. Which such theories have the property that all their algebras are free? It turns out that we can write them all down relatively easily! Proving this result, however, is … See more details • •	3	4	5	6
7	8	9 Category Theory Seminar: Josep Elgueta (Universitat Politècnica de Catalunya) - On a generalization of Baez-Crans 2-vector spaces Category Theory Seminar: Josep Elgueta (Universitat Politècnica de Catalunya) - On a generalization of Baez-Crans 2-vector spaces April 9, 2025 12:00 pm - 1:00 pm Bayes 5.46 A 2-group is a groupoid with a structure analogous to that of a group. By a representation of a 2-group G I mean a (weak) 2-functor from G[1], the one-object 2-groupoid with G as 2-group of self-equivalences of the unique object, to some target 2-category C. Taking the 2-category of Baez-Crans 2-vector spaces as C leads to a bad… See more details •	10	11	12	13
14	15	16	17	18	19	20
21	22	23	24	25	26	27
28	29	30

1

2

Category Theory Seminar: Oscar Youngman (Edinburgh) - Homotopy and cohesion in toposes of graphs
Category Theory Seminar: Oscar Youngman (Edinburgh) - Homotopy and cohesion in toposes of graphs

April 2, 2025 11:00 am - 12:00 pm
Bayes 5.46

Many people working in graph theory today are interested in thinking of graphs as analogous to spaces, and developing homotopy theories for graphs. One particular categorical point of view on this idea can be found in the work of Lawvere, dating back to the 1980s. Lawvere observed that some elementary toposes seem to deserve to be thought of as…

See more details
Category Theory Seminar: Maia Woolf (Edinburgh) - Algebraic theories all of whose algebras are free
Category Theory Seminar: Maia Woolf (Edinburgh) - Algebraic theories all of whose algebras are free

April 2, 2025 12:00 pm - 1:00 pm
Bayes 5.46

Algebraic theories, such as the theories of groups, rings, and
modules over a given ring, are often studied category theoretically
as finitary monads on Set. Which such theories have the
property that all their algebras are free? It turns out that we can
write them all down relatively easily! Proving this result, however, is
…

See more details

3

4

5

6

7

8

9

Category Theory Seminar: Josep Elgueta (Universitat Politècnica de Catalunya) - On a generalization of Baez-Crans 2-vector spaces
Category Theory Seminar: Josep Elgueta (Universitat Politècnica de Catalunya) - On a generalization of Baez-Crans 2-vector spaces

April 9, 2025 12:00 pm - 1:00 pm
Bayes 5.46

A 2-group is a groupoid with a structure analogous to that of a group. By a representation of a 2-group G I mean a (weak) 2-functor from G[1], the one-object 2-groupoid with G as 2-group of self-equivalences of the unique object, to some target 2-category C. Taking the 2-category of Baez-Crans 2-vector spaces as C leads to a bad…

See more details

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

	April 2025
Mon	Tue	Wed	Thu	Fri	Sat	Sun
	1	2 Category Theory Seminar: Oscar Youngman (Edinburgh) - Homotopy and cohesion in toposes of graphs Category Theory Seminar: Oscar Youngman (Edinburgh) - Homotopy and cohesion in toposes of graphs April 2, 2025 11:00 am - 12:00 pm Bayes 5.46 Many people working in graph theory today are interested in thinking of graphs as analogous to spaces, and developing homotopy theories for graphs. One particular categorical point of view on this idea can be found in the work of Lawvere, dating back to the 1980s. Lawvere observed that some elementary toposes seem to deserve to be thought of as… See more details Category Theory Seminar: Maia Woolf (Edinburgh) - Algebraic theories all of whose algebras are free Category Theory Seminar: Maia Woolf (Edinburgh) - Algebraic theories all of whose algebras are free April 2, 2025 12:00 pm - 1:00 pm Bayes 5.46 Algebraic theories, such as the theories of groups, rings, and modules over a given ring, are often studied category theoretically as finitary monads on Set. Which such theories have the property that all their algebras are free? It turns out that we can write them all down relatively easily! Proving this result, however, is … See more details • •	3	4	5	6
7	8	9 Category Theory Seminar: Josep Elgueta (Universitat Politècnica de Catalunya) - On a generalization of Baez-Crans 2-vector spaces Category Theory Seminar: Josep Elgueta (Universitat Politècnica de Catalunya) - On a generalization of Baez-Crans 2-vector spaces April 9, 2025 12:00 pm - 1:00 pm Bayes 5.46 A 2-group is a groupoid with a structure analogous to that of a group. By a representation of a 2-group G I mean a (weak) 2-functor from G[1], the one-object 2-groupoid with G as 2-group of self-equivalences of the unique object, to some target 2-category C. Taking the 2-category of Baez-Crans 2-vector spaces as C leads to a bad… See more details •	10	11	12	13
14	15	16	17	18	19	20
21	22	23	24	25	26	27
28	29	30

April 2025