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
Functionally complete/universal basis for graph homomorphisms?
2017-10-02 3:58 UTC (9+ messages)
Fred
2017-09-28 4:43 UTC (13+ messages)
` "op"_Fred_and_Thurston
` the dual category
distributive squares
2017-09-27 9:05 UTC
Categories Logic and Physics Scotland 20 November 2017: call for participation
2017-09-27 8:56 UTC
The use-mention distinction and category theory
2017-09-26 19:17 UTC (5+ messages)
Announcement PSSL 102
2017-09-26 13:32 UTC
"Logic for Children" - A workshop (CFP)
2017-09-23 20:26 UTC
Cartesian morphism ~~> fibration
2017-09-21 10:22 UTC (4+ messages)
Cartesian morphism ~~> fibration
2017-09-21 9:46 UTC
Call for papers Unilog 2018
2017-09-20 10:22 UTC
Fred
2017-09-16 15:44 UTC (6+ messages)
` opposite category
"op"_Fred_and_Thurston
2017-09-12 16:11 UTC
Fred LInton
2017-09-11 0:12 UTC
FSCD 2018 First Call for Papers
2017-09-10 22:57 UTC
ETAPS 2018 2nd joint call for papers
2017-09-10 22:48 UTC
Fred Linton
2017-09-07 18:10 UTC (6+ messages)
Fred Linton Obituary
2017-09-06 14:40 UTC
Categories with specified pullbacks
2017-09-05 1:18 UTC
Fred Linton
2017-09-04 15:48 UTC (2+ messages)
Fred Linton
2017-09-03 21:19 UTC
CGASA volumes dedicated to Bernhard Banaschewski on the occasion of his 90th Birthday
2017-09-02 20:16 UTC
modules over a group
2017-09-02 5:31 UTC (5+ messages)
School and workshop on univalent mathematics, 11-15 Dec, Birmingham (UK)
2017-09-01 18:14 UTC
UPDATE: Dana Scott at Octoberfest 2017
2017-08-31 15:35 UTC
Categories with specified pullbacks
2017-08-31 2:57 UTC
CT Octoberfest 2017 at CMU
2017-08-30 2:44 UTC
[CFP] Formal verification for blockchain protocols & smart-contracts
2017-08-25 16:19 UTC (2+ messages)
ETAPS 2018 joint call for papers
2017-08-23 20:44 UTC
PSSL101: final announcement
2017-08-17 7:38 UTC
An elementary question
2017-08-17 2:02 UTC (11+ messages)
` "
EATCS Bulletin, call for abstracts
2017-08-10 9:01 UTC
Mea culpa
2017-08-09 20:32 UTC
RV 2017 - 2nd Call for Participation
2017-08-08 15:23 UTC
Algebraic closures and arithmetic universes
2017-08-03 10:24 UTC (4+ messages)
` "
Do there exist nontrivial locally bounded geometric morphisms and/or locally (pre)sheaf toposes?
2017-08-02 16:20 UTC (2+ messages)
FSCD 2017 - Call for participation (early registration ends soon)
2017-08-02 12:10 UTC
Last call for contributions to the special volume of Tbilisi Mathematical Journal in honor of P.J. Freyd and F.W. Lawvere
2017-08-01 21:13 UTC
CT 2018 - First announcement
2017-08-01 7:57 UTC
Postdoctoral Position - Error in Embedded Link
2017-07-26 17:39 UTC
Postdoctoral Position
2017-07-26 16:56 UTC
What is a contractible simplicial object?
2017-07-21 15:14 UTC
2018 Summer Lectures "Diffeology, Categories, Toposes and NCG"
2017-07-20 11:57 UTC
n-types and n-fold structures
2017-07-20 10:53 UTC
Ph.D. and post-doctoral positions in Como
2017-07-19 22:03 UTC
Fully funded PhD studentship in Automated Verification through Coalgebras at the University of Southampton
2017-07-19 21:22 UTC
Fully funded PhD studentship in Automated Verification through Coalgebras at the University of Southampton
2017-07-19 21:22 UTC
RV 2017 - 1st Call for Participation
2017-07-19 15:15 UTC
n-types and n-fold structures
2017-07-19 14:55 UTC
Homotopy hypothesis for contractible operad definitions of weak n-categories
2017-07-16 5:53 UTC
Homotopy hypothesis for contractible operad definitions of weak n-categories
2017-07-15 20:59 UTC
some new preprints/presentation
2017-07-15 14:08 UTC
some new preprits/presentation
2017-07-15 14:08 UTC
Homotopy hypothesis for contractible operad definitions of weak n-categories
2017-07-15 6:35 UTC (2+ messages)
CT Oktoberfest in Pittsburgh 10/28-29
2017-07-13 23:39 UTC
Models of finite-limit sketches in internal logic of a (pre)topos
2017-07-13 10:33 UTC (3+ messages)
CT2017-Program now available
2017-07-13 7:34 UTC
APCS: special volume in honour of Robert Lowen
2017-07-12 18:05 UTC
Homotopy hypothesis for contractible operad definitions of weak n-categories
2017-07-12 13:12 UTC (2+ messages)
Workshop Brussels August 29-30, 2017
2017-07-12 8:44 UTC
FSCD 2017 - Call for participation
2017-07-11 17:28 UTC
Is there a standard name?
2017-06-30 23:29 UTC
HIGHLIGHTS 2017 -- Call for Participation
2017-06-30 12:44 UTC
Full-Time Postdoctoral Research Fellow and Researcher/Research Engineer
2017-06-24 12:54 UTC
Functors arising from a relational Grothendieck construction
2017-06-24 8:37 UTC (7+ messages)
` "
[CFP] UNIF 2017 -- deadline extension
2017-06-21 8:04 UTC
Charles Wells
2017-06-21 0:47 UTC
List delay
2017-06-20 19:03 UTC
2nd CfP: STRING 2017
2017-06-15 15:05 UTC
Is there a name for this?
2017-06-15 14:58 UTC
History of CT meetings
2017-06-14 10:16 UTC (5+ messages)
PSSL 101: second announcement
2017-06-13 9:40 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).