Applications of (higher) category theory to computer science
2014-12-11 14:47 UTC (2+ messages)
CfP: ESSLLI Student Session 2015, Barcelona, August 3-14 2015
2014-12-11 13:21 UTC
2 Postdocs in HoTT
2014-12-04 12:05 UTC
postdoc position in Vienna
2014-12-03 11:10 UTC
QPL 2015: Call for papers
2014-12-03 10:16 UTC
The European Master's Program in Computational Logic
2014-12-03 9:14 UTC
Fwd: Young Topologists' Meeting 2015
2014-12-02 14:35 UTC
Fwd: Young Topologists' Meeting 2015
2014-12-02 14:35 UTC
GTA positions available (funded PhD)
2014-12-01 11:15 UTC
PhD Positions, UC|UP Joint PhD Program in Mathematics, Portugal
2014-11-30 18:21 UTC
CT 2015 (Second announcement)
2014-11-29 12:52 UTC
Simplified definition of scheme proposed by Grothendieck
2014-11-28 23:53 UTC
Simplified definition of scheme proposed by Grothendieck
2014-11-28 13:53 UTC
JHRS Volume dedicated to Ronald Brown
2014-11-28 7:25 UTC
Simplified definition of scheme proposed by Grothendieck
2014-11-28 6:34 UTC
Well-kept secret redux
2014-11-26 16:57 UTC (2+ messages)
Doctoral Program on Logical Methods in Computer Science (LogiCS)
2014-11-26 13:20 UTC
CALCO 2015: First Call for Papers
2014-11-25 9:20 UTC
2nd CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015)
2014-11-24 15:36 UTC
Grothendieck, Topos theory, and the Lawvere element
2014-11-21 4:33 UTC
15 funded PhD positions
2014-11-20 13:49 UTC
Contact with Grothendieck
2014-11-18 10:32 UTC (2+ messages)
Alexandre Grothendieck
2014-11-18 2:54 UTC
Alexandre Grothendieck
2014-11-18 0:12 UTC
Alexandre Grothendieck
2014-11-14 16:39 UTC (4+ messages)
` "
Category-theory interactive demonstrations on the Web
2014-11-14 16:24 UTC
Grothendieck
2014-11-14 2:50 UTC
Request for a reference
2014-11-13 21:07 UTC (2+ messages)
First YaMCATS meeting: December 18, Leicester (UK)
2014-11-13 16:01 UTC
NNOs in different toposes "the same"?
2014-11-12 11:37 UTC (4+ messages)
Research fellowship at Edinburgh
2014-11-10 19:49 UTC
Journal of K-Theory effectively defunct
2014-11-06 1:51 UTC
jobs at Macquarie
2014-11-05 22:27 UTC
[TYPES] origin of the term "hom-set"?
2014-11-05 18:27 UTC
Tenure Track Position at Denison University
2014-11-05 12:24 UTC
jobs at Macquarie
2014-11-03 5:38 UTC
Limit-sketchability
2014-10-27 11:22 UTC (2+ messages)
Double Dualization: Functions on vs. Figures in
2014-10-27 4:37 UTC
Workshop in Category Theory and Algebraic Topology
2014-10-23 12:18 UTC
non-unital monads
2014-10-20 23:22 UTC (5+ messages)
CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015)
2014-10-20 19:19 UTC
non-unital monads
2014-10-20 18:22 UTC
non-unital monads
2014-10-19 21:28 UTC
Journal pricing
2014-10-19 11:40 UTC
TLCA: 1st CALL for PAPERS
2014-10-16 6:06 UTC
PSSL97 - First announcement
2014-10-14 12:18 UTC
Announcement: Topology, Algebra, and Categories in Logic (TACL2015)
2014-10-12 10:18 UTC
LICS 2015 - First Call for Papers
2014-10-11 11:02 UTC
Coherence for tricategories
2014-10-10 17:55 UTC
Mathematics of Program Construction (MPC 2015): first call for papers
2014-10-10 13:57 UTC
a note on sources of my text of fibered categories
2014-10-03 21:27 UTC (2+ messages)
Reference search: new categories by replacing morphisms with diagrams
2014-09-26 21:14 UTC (4+ messages)
Soundness of commutative diagram proofs
2014-09-26 1:29 UTC (3+ messages)
Dietmar Schumacher
2014-09-25 18:00 UTC
5Yr Fellowships
2014-09-25 15:15 UTC
tenure(track) position in Nijmegen, The Netherlands
2014-09-24 10:59 UTC
K-Theory Foundation
2014-09-23 20:39 UTC
Dietmar Schumacher
2014-09-23 1:23 UTC
Dietmar Schumacher
2014-09-23 1:14 UTC (5+ messages)
SERA 2015 - CFP
2014-09-22 20:34 UTC
CSR 2015: First Call for Papers
2014-09-18 10:59 UTC
papers on colimits of monads available
2014-09-17 12:59 UTC
looking for a reference
2014-09-14 19:10 UTC
looking for a reference
2014-09-14 14:41 UTC (2+ messages)
` "
ATVA 2014: Call for Participation
2014-09-10 21:42 UTC
CT2015
2014-09-10 8:40 UTC
INFORMATIK 2014
2014-09-08 10:54 UTC
Is the category of group actions LCCC?
2014-09-06 7:47 UTC
Is the category of group actions LCCC?
2014-09-05 18:33 UTC (9+ messages)
` Is the category of group actions LCCC
Refining the function of the Categories List
2014-09-05 0:41 UTC
Functional programming and William Lawvere's notion of "variable sets"(vs topos of "static sets") in a Topos
2014-09-04 12:07 UTC (2+ messages)
Uniform locales in Shv(X)
2014-08-29 15:29 UTC
celebration of Jim Lambek
2014-08-28 21:43 UTC
Uniform locales in Shv(X)
2014-08-28 17:10 UTC (6+ messages)
Grigori (Grisha) Mints
2014-08-25 19:24 UTC
V-Cat, V-Prof as symmetric monoidal bicategories
2014-08-22 5:42 UTC
Uniform locales in Shv(X)
2014-08-21 14:51 UTC (2+ messages)
Postdoc Position on Verification of Asynchronously Communicating Systems, Inria/LIG, Grenoble, France
2014-08-18 15:40 UTC
postdoc grants in Portugal
2014-08-18 15:15 UTC
Book available
2014-08-11 7:01 UTC
A condition for functors to reflect orthogonality
2014-08-06 23:35 UTC (3+ messages)
YT at Seoul ICM 2014
2014-08-06 6:52 UTC
Final objects in 2-categories
2014-08-05 15:30 UTC (5+ messages)
Strictification avoids Choice?
2014-08-05 5:44 UTC
Present and future
2014-08-04 14:52 UTC (4+ messages)
Composition of Fibrations
2014-08-04 14:47 UTC (19+ messages)
` cleavages and choice
Fred's letter
2014-08-02 15:13 UTC
re messages concerning Steve Schanuel
2014-08-01 17:43 UTC
A brief survey of cartesian functors
2014-08-01 12:10 UTC (12+ messages)
` R "
Stephen H. Schanuel
2014-08-01 2:42 UTC
Stephen H. Schanuel
2014-07-31 7:32 UTC (5+ messages)
functors defined by well-founded induction
2014-07-30 22:43 UTC (4+ messages)
New book: Basic Category Theory
2014-07-29 20:50 UTC (3+ messages)
Moerdijk's talk at CT2014
2014-07-29 8:04 UTC (2+ messages)
Les Distributeurs as a TAC Reprint
2014-07-28 22:05 UTC
Site for my papers
2014-07-28 20:35 UTC
Lectureship at the University of Leicester
2014-07-28 14:33 UTC
The paper you sent me
2014-07-28 14:13 UTC
Limits in REL
2014-07-25 12:51 UTC (2+ messages)
Double category question
2014-07-24 15:02 UTC (2+ messages)
Preprint: Symmetric self-adjoint Hopf categories and a categorical Heisenberg double
2014-07-24 14:53 UTC
A remark about Street fibrations
2014-07-24 3:48 UTC (3+ messages)
Preprint sought
2014-07-22 15:46 UTC (4+ messages)
CONCUR, TCS & TGC 2014: second call for participation
2014-07-20 16:51 UTC
Kelly: 'Equivalences in 2-categories, representations, and biadjoints'
2014-07-10 22:29 UTC
Conjecture about algebras of the double power locale monad
2014-07-10 15:11 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).