Conference: Topology in Australia and South Korea, March 15 registration deadline
2018-03-01 8:58 UTC
A short question about the set-based definition of categories
2018-03-01 1:23 UTC (2+ messages)
DCM'18 Third Call for Papers
2018-02-27 19:21 UTC
ICTCS 2018 @ Urbino - call for papers
2018-02-27 18:41 UTC
Equivalence of categories
2018-02-26 12:47 UTC
suggestions for the 2020 MSC classifications
2018-02-26 1:25 UTC (3+ messages)
Equivalence of categories
2018-02-25 18:59 UTC
Archive missing?
2018-02-25 1:08 UTC
Archive missing?
2018-02-24 19:57 UTC (2+ messages)
Announcement of publication
2018-02-23 21:57 UTC
TAC welcomes new editors / thanks retiring editors
2018-02-22 13:29 UTC
"Toposes in Como" - first announcement
2018-02-21 14:16 UTC
iFM 2018 Call for Papers
2018-02-20 20:57 UTC
Logic for Children (workshop) - updates and resources
2018-02-17 23:18 UTC
CMCS 2018: Call for Short Contributions
2018-02-17 13:05 UTC
FLoC 2018 - Joint Call for Workshop Papers
2018-02-16 16:31 UTC
MacGillavry Fellowship
2018-02-16 16:07 UTC
Fwd: JOB: Associate Professor in Computer Science - Oxford University - with tutorial fellowship at Keble College
2018-02-16 11:36 UTC
Chocolate Medal - partial draft translation of SGA4
2018-02-15 13:04 UTC
Topos theory for spaces of connected components
2018-02-14 19:06 UTC (12+ messages)
` Reflection to 0-dimensional locales
A la recherche de N
2018-02-13 13:23 UTC
Internal diagrams
2018-02-13 11:15 UTC
University of Edinburgh Chancellor's Fellowships
2018-02-13 10:29 UTC
"Derived and Higher Structures in Geometry and Physics" at Fields Institute
2018-02-12 15:41 UTC
Internal diagrams
2018-02-11 14:08 UTC
Topos theory for spaces of connected components
2018-02-08 0:34 UTC
Homotopy Type Theory Electronic Seminar Talks
2018-02-07 14:33 UTC
Martin Hofmann found dead on Japanese mountain
2018-02-07 0:45 UTC (2+ messages)
Topos theory for spaces of connected components
2018-02-06 12:37 UTC (3+ messages)
Topos theory for spaces of connected components
2018-02-05 18:07 UTC
Call for papers: QPL 2018
2018-02-03 13:58 UTC
PSSL 103: second announcement
2018-01-30 19:46 UTC
CT2018 - Second announcement
2018-01-30 15:12 UTC
computer science positions Utrecht
2018-01-29 14:43 UTC
FORMATS 2018 **First Call for Papers**
2018-01-29 13:42 UTC
New paper: Formulating categorical concepts with classes
2018-01-26 15:04 UTC
Postdoctoral Fellow in Mathematical Logic, Stockholm University
2018-01-25 19:49 UTC
CATALG2018 - First Announcement
2018-01-25 14:30 UTC
Conference: Topology in Australia and South Korea, Feb 10 deadline for contributed talks
2018-01-25 5:50 UTC
MFPS 2018 first call for papers
2018-01-24 7:30 UTC
FreeTikZ
2018-01-24 1:55 UTC
CVQT 2018: Financial support available, call for participation
2018-01-23 13:35 UTC
CVQT 2018: Financial support available, call for participation
2018-01-22 22:42 UTC
Names for these (di)natural transformations?
2018-01-22 2:27 UTC
Products of epimorphisms
2018-01-20 13:49 UTC (3+ messages)
The 2018 Alonzo Church Award: Call for Nominations
2018-01-20 11:48 UTC
does countable choice survive booleanization?
2018-01-19 14:36 UTC (2+ messages)
Functor fibrations and Cartesian closure of general presheaves
2018-01-19 0:30 UTC (2+ messages)
Real sets
2018-01-17 1:16 UTC (2+ messages)
FMCS 2018 First Announcement
2018-01-15 19:57 UTC
New open source issue LIX-1 of the "Cahiers"
2018-01-14 15:52 UTC
Special Issue of Tbilisi Mathematical Journal in honor of Peter Freyd and Bill Lawvere
2018-01-12 20:45 UTC
fully funded graduate positions in Math at UWO
2018-01-10 1:48 UTC
fully funded graduate positions in Math at UWO
2018-01-10 1:48 UTC
new publication "Modelling and Computing Homotopy Types: I"
2018-01-09 19:12 UTC
DCM'18 Second Call for Papers
2018-01-08 13:37 UTC
FSCD 2018 Final Call for Papers (deadline for abstracts: January 15)
2018-01-08 13:17 UTC
FLoC 2018 - Final Joint Call for Papers
2018-01-05 16:31 UTC
V-included categories
2018-01-04 23:28 UTC (11+ messages)
[TYPES/announce] Tenure-Track Research and Teaching Positions at University of British Columbia, Vancouver, Canada
2018-01-01 18:11 UTC (2+ messages)
TAC, ACS, JHRS
2018-01-01 14:18 UTC
Book on toposes
2017-12-24 12:22 UTC
PSSL103 in Brno --- April 7-8 2018
2017-12-21 16:45 UTC
CMCS 2018: Final Call for Papers
2017-12-21 1:48 UTC
SDT
2017-12-18 16:02 UTC
How analogous are categorial and material set theories?
2017-12-12 12:08 UTC (14+ messages)
` Is Category Theory a Theory?
Medal for Richard Garner
2017-12-12 1:13 UTC
iFM 2018 Call For Paper
2017-12-11 11:41 UTC
position
2017-12-10 13:26 UTC
CSL 2018 — First Call for Papers
2017-12-10 11:04 UTC
FSCD 2018 Third Call for Papers
2017-12-08 13:58 UTC
YaMCATS 13 University of Birmingham 15 December 2017
2017-12-07 9:32 UTC
Is there a "canonical language" for exercises for beginners?
2017-12-05 17:04 UTC
FLoC 2018 - Second Joint Call for Papers
2017-12-05 1:09 UTC
FLoC 2018 - Second Joint Call for Papers
2017-12-05 1:09 UTC
CMCS 2018: Second Call for Papers
2017-12-04 20:21 UTC
Day's reflection theorem in reverse
2017-12-04 16:11 UTC
CFP TAP 2018
2017-11-30 16:35 UTC
2nd CfP: FM 2018
2017-11-29 11:48 UTC
CVQT 19-22 March 2018: Call for participation
2017-11-29 10:42 UTC
call for feedback: a categorical approach to game semantics
2017-11-28 20:17 UTC
Jobs at the University of Michigan-Dearborn
2017-11-28 18:16 UTC
"Categorical Logic, Toposes and Dualities" January 8-12, 2018, Nice (France)
2017-11-28 14:37 UTC
A New Preprint
2017-11-27 15:40 UTC
Last announcement PSSL 102
2017-11-26 19:51 UTC
postdoctoral positions at the University of Western Ontario
2017-11-26 1:32 UTC
Thanks for the post card
2017-11-24 19:08 UTC
PhD Scholarship at UCL (UK) on categorical approaches to non-classical computation
2017-11-24 16:33 UTC
Summer school in algebra and topology
2017-11-24 10:29 UTC
Prize of the Royal Academy of Belgium
2017-11-22 11:35 UTC
Position in Algebra at the Université du Littoral (Calais, France)
2017-11-20 14:15 UTC
PhD positions at CMU
2017-11-20 3:12 UTC
PhD positions available in Birmingham, UK
2017-11-19 20:21 UTC
death of Klaus Keimel
2017-11-18 21:31 UTC
AMS Special Session on Homotopy Type Theory
2017-11-17 20:27 UTC
FSCD 2018 Second Call for Papers
2017-11-14 16:38 UTC
DCM'18 First Call for Papers
2017-11-14 12:27 UTC
How can we have a categorical definition of "theory"
2017-11-11 1:25 UTC
For posting (in reduced form)
2017-11-11 0:37 UTC
Some questions about different notions of "theory"
2017-11-10 17:28 UTC (10+ messages)
` How can we have a categorical definition "
` "
How can we have a categorical definition of "theory"
2017-11-10 4:56 UTC
Higher Grothendieck fibrations and the globular comma complex
2017-11-09 14:00 UTC
Visual mnemonics for Category Theory
2017-11-08 17:00 UTC
Kleisli categories for monads on presheaves
2017-11-08 8:28 UTC (2+ messages)
15 PhD positions and 1 postdoc in FORA ETN
2017-11-06 12:22 UTC (2+ messages)
` Two Open research positions at Tampere University of Technology
Addendum to Elephant A4.5.8
2017-11-06 4:12 UTC
Grothendieck, Yoneda, Colimits
2017-11-04 2:42 UTC (2+ messages)
Kinetic Energy Is A Riemann Metric On Configuration Space (fwd)
2017-11-01 9:18 UTC
FLoC 2018 - Joint Call for Papers
2017-10-31 10:34 UTC
CT Advisory Committee - new members
2017-10-30 23:50 UTC
Kinetic Energy Is A Riemann Metric On Configuration Space (fwd)
2017-10-30 21:36 UTC
[Oktoberfest 2017] Sad news: Kosta Dosen
2017-10-29 14:37 UTC
Kinetic Energy Is A Riemann Metric On Configuration Space
2017-10-27 23:52 UTC (5+ messages)
Postdoc/PhD Opportunity at the University of California, Irvine
2017-10-26 21:42 UTC (2+ messages)
` Postdoc Opportunity
CMCS 2018 : First Call for Papers
2017-10-24 12:55 UTC
PhD positions
2017-10-24 7:59 UTC
Sad news: Kosta Dosen
2017-10-22 9:01 UTC
Myles Tierney
2017-10-18 15:30 UTC
Research Fellowship at Leeds
2017-10-16 13:38 UTC
CT Octoberfest 2017 Schedule
2017-10-13 20:14 UTC
A new paper on categories and theoretical computer science
2017-10-11 19:45 UTC
CT Octoberfest 2017
2017-10-11 16:26 UTC
The mathematical life of Myles Tierney
2017-10-10 17:32 UTC (2+ messages)
Corrections and addendum
2017-10-10 9:31 UTC
Condolences
2017-10-09 8:53 UTC
Myles Tierney
2017-10-08 2:57 UTC (4+ messages)
Applied Category Theory School 2018: Call for Participation
2017-10-06 23:47 UTC
Condolences
2017-10-06 16:49 UTC
Myles Tierney
2017-10-06 15:19 UTC
Trying to recall a Lambek story about Brouwer
2017-10-05 14:30 UTC
ETAPS 2018 final joint call for papers
2017-10-04 20:10 UTC
CT Octoberfest 2017
2017-10-03 1:42 UTC
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).