categories - Category Theory list
 help / color / mirror / Atom feed
Quipper: a quantum programming language
 2013-06-19 19:40 UTC 

a historical question
 2013-06-17 21:40 UTC 

a historical question
 2013-06-17 13:55 UTC  (5+ messages)

Category Theory 2013 - final call
 2013-06-17  4:07 UTC 

More publicity
 2013-06-13 17:55 UTC  (2+ messages)

BOUNCE categories@mta.ca: Approval required: (fwd)
 2013-06-13 16:00 UTC 

Workshop on Logics for Resources, Processes and Programs, 16 September 2013, Nancy, France
 2013-06-13  9:07 UTC  (13+ messages)
` Publicity

CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)
 2013-06-12 15:11 UTC 

An adjoint functor theorem
 2013-06-10 21:40 UTC 

position at Nijmegen
 2013-06-10  9:37 UTC 

Publicity
 2013-06-08 21:13 UTC 

Conference in Memory of Aurelio Carboni - Second Announcement
 2013-06-08 13:23 UTC 

Isbell & MacLane on the insufficiency on skeletal categories
 2013-06-07  5:00 UTC  (5+ messages)

Isbell & MacLane on the insufficiency on skeletal categories
 2013-06-07  3:15 UTC 

Publicity
 2013-06-07  2:35 UTC 

Conference in honour of Georges Maltsiniotis (final announcement)
 2013-06-05  9:18 UTC 

Postdoc position in proof theory in Marseille-IML, second-call
 2013-06-04 11:54 UTC 

Workshop on Logics for Resources, Processes and Programs, 16 September 2013, Nancy, France
 2013-05-30 13:09 UTC 

preprint and new url
 2013-05-29  9:39 UTC 

Conference "Type Theory, Homotopy Theory and Univalent Foundations"
 2013-05-25 16:27 UTC 

Double groupoids and crossed modules
 2013-05-24 15:18 UTC 

Software Verification and Testing Track at ACM SAC 2014: 1st CfP
 2013-05-24  9:16 UTC 

PhD positions in bialgebraic semantics in Warsaw
 2013-05-22 22:01 UTC 

samson@60, 28-30 May 2013 Full Program
 2013-05-22 11:18 UTC 

Post-doctoral Position at the University of Cambridge
 2013-05-22 10:45 UTC 

Call for Papers- special issue APAL
 2013-05-18  8:35 UTC 

separable locale
 2013-05-17 12:35 UTC  (2+ messages)

MFPS/LICS/CSF Joint Call for Participation
 2013-05-17 12:07 UTC 

CT2013 - early bird registration
 2013-05-16  9:46 UTC 

on a subcategory of algebras for a monad
 2013-05-14 15:49 UTC  (2+ messages)

GlynnFest Workshop, May 31st and June 1st, Cambridge University Computer Laboratory
 2013-05-14  9:27 UTC 

Zig Zags?
 2013-05-13 12:50 UTC 

on a subcategory of algebras for a monad
 2013-05-13  8:15 UTC 

(In)accessible comonads and (non)Grothendieck toposes
 2013-05-11 15:26 UTC  (2+ messages)

on a subcategory of algebras for a monad
 2013-05-10 13:05 UTC 

Reminder: CT2013 abstracts
 2013-05-08 14:55 UTC 

Samuel Eilenberg Centenary Conference - Second Announcement
 2013-05-08  9:34 UTC 

Internal truth objects
 2013-05-08  5:24 UTC  (4+ messages)

PhD program in Warsaw
 2013-05-07 21:05 UTC 

"Terminolgy" re-visited
 2013-05-07 17:26 UTC  (3+ messages)
    ` indexed_vs_fibrations

Terminology: Remarks
 2013-05-04  5:34 UTC  (8+ messages)

Foundations of Health Information Engineering and Systems (FHIES 2013) - extended submission deadline
 2013-05-03 14:55 UTC 

Professorship in Mathematics with focus on Geometry (Stockholm University)
 2013-05-03 13:36 UTC 

Terminology
 2013-05-03 11:53 UTC  (2+ messages)

announcement
 2013-05-03  5:22 UTC 

LICS 2013 - Call for Participation
 2013-05-02 23:25 UTC 

CT2013 abstracts
 2013-05-02  6:31 UTC 

Terminology
 2013-05-02  3:57 UTC 

CT2013 abstracts
 2013-05-01 20:29 UTC 

"Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: resgistration now open
 2013-04-30 13:28 UTC 

FMICS 2013 Deadline extended to May 10
 2013-04-30 12:28 UTC 

Terminology
 2013-04-30  1:20 UTC 

Terminology
 2013-04-30  0:58 UTC  (8+ messages)

"Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: resgistration now open
 2013-04-29 20:32 UTC 

categories of Categories
 2013-04-28  8:31 UTC 

Special Volume in honour of Rene Guitart - extended deadline
 2013-04-28  8:04 UTC 

Name for a concept?
 2013-04-27 13:58 UTC 

correction
 2013-04-26 15:40 UTC 

Name for a concept?
 2013-04-26 14:07 UTC  (9+ messages)

Conference in honour of Georges Maltsiniotis
 2013-04-24  9:09 UTC 

FMCS 2013: May 31st - June 3rd (Second Announcement)
 2013-04-23 18:36 UTC 

Summer School in Louvain-la-Neuve: second announcement
 2013-04-23 16:39 UTC 

CADE-24 Call for Participation
 2013-04-19 15:25 UTC 

RA Position available
 2013-04-16 21:06 UTC 

ESSLLI 2014 Call for Proposals
 2013-04-14 11:54 UTC 

Foundations of Health Information Engineering and Systems (FHIES 2013) - final call for papers
 2013-04-12 18:38 UTC 

Firefox built-in browser PDF viewer
 2013-04-11 23:58 UTC 

PhD opportunities in the Computer Science theory group at Birmingham
 2013-04-11 15:45 UTC 

New preprint on multicategories
 2013-04-11  5:33 UTC 

Conference in Memory of Aurelio Carboni - First Announcement
 2013-04-09 12:36 UTC 

CALCO Tools 2013: Deadline Extension
 2013-04-08 11:46 UTC 

Reference: equivalences can be made into adjunctions
 2013-04-08 10:09 UTC  (3+ messages)

Announcement -- special session on higher categories
 2013-04-05 14:09 UTC 

CT2013
 2013-04-05  3:00 UTC 

Workshop on Category-Theoretic Foundations of Mathematics
 2013-04-04 22:16 UTC 

Contacts towards funding category-theory demonstrations
 2013-04-04 11:19 UTC 

Lawvere-fest 2013
 2013-04-03 14:35 UTC 

LICS 2013 - Call for Short Presentations
 2013-04-01 22:41 UTC 

Call for participation: Samson@60 - Oxford, 28-30 May 2013
 2013-03-31 11:58 UTC 

CALL FOR CONTRIBUTIONS: CALCO Early Ideas 2013
 2013-03-29 16:10 UTC 

Types Meeting 2013 in Toulouse, 22 - 26 April: 2nd call for participation
 2013-03-29 16:03 UTC 

CALL FOR PAPERS: CALCO Tools 2013
 2013-03-26 11:35 UTC 

CFP: Methods for Modalities 2013
 2013-03-24 14:02 UTC 

Seminaire Itinerant de Categories
 2013-03-22 15:41 UTC 

Ackermann Award 2013 - Call for Nominations
 2013-03-22 14:05 UTC 

Question on (co)monoids
 2013-03-21 17:21 UTC  (3+ messages)

Types Meeting 2013 in Toulouse, 22 - 26 April: call for participation
 2013-03-18 17:46 UTC 

PhD Research Project: Efficient and Natural Proof Systems
 2013-03-18 17:35 UTC 

Call for papers: Quantum Physics and Logic, JULY 2013, Barcelona
 2013-03-18 12:59 UTC 

looking for phd program
 2013-03-18 10:25 UTC 

ICFP 2013, 2nd call for papers
 2013-03-14 22:10 UTC 

PSSL 94 and British Mathematical Colloquium: talk schedule
 2013-03-13 17:44 UTC 

A second book on homological algebra
 2013-03-12 20:06 UTC 

An old paper on 'cohesive categories'
 2013-03-11 17:00 UTC 

ACCAT 2013: final call for participation and invitation to discussion
 2013-03-06 18:59 UTC 

Research Assistantship at Oxford on Bidirectional Transformations
 2013-03-05  3:11 UTC 

BCTCS 2013: call for participation. More student bursaries now available!
 2013-02-27 11:36 UTC 

BCTCS 2013: call for participation. More student bursaries now available!
 2013-02-27 11:36 UTC 

[ETAPS 2013] Final Call for Participation
 2013-02-26 19:06 UTC 

CALCO 2013: Deadline Extension
 2013-02-25 17:43 UTC 

Ackermann Award 2013 - Call for Nominations
 2013-02-25 16:40 UTC 

Postdoc positions at UNAM
 2013-02-22 22:59 UTC 

Final announcement (with programme): Workshop on Algebra, Coalgebra and Topology
 2013-02-22 19:01 UTC 

Types Meeting 2013 in Toulouse, 23 - 26 April: last call for contributions
 2013-02-21 17:05 UTC 

Workshop on Opetopes in March 2013
 2013-02-20 11:19 UTC 

Adjoints for symmetric cubical categories (On weak cubical categories, III)
 2013-02-20 10:00 UTC 

CFP- Method for Modalities 8
 2013-02-15 16:41 UTC 

Categories in developmental psychology!
 2013-02-15  8:55 UTC  (4+ messages)

Loday Memorial Conference - Strasbourg (September 4-6, 2013)
 2013-02-12 18:27 UTC 

Samuel Eilenberg Centenary Conference
 2013-02-11 21:36 UTC 

Fwd: Call for papers, 2nd Conf History & Philosophy of Computing, ENS Paris, oct 2013
 2013-02-11 21:23 UTC 

SFM-13:DS school in Bertinoro - second call for participation
 2013-02-11 18:36 UTC 

Foundations of Health Information Engineering and Systems (FHIES 2013) - call for papers
 2013-02-11 17:59 UTC 

ICFP 2013: Call for papers
 2013-02-11 10:32 UTC 

Workshop on Algebra, Coalgebra and Topology: 1 March in Bath
 2013-02-09  8:24 UTC 

[ETAPS 2013] Second Call for Participation
 2013-02-08 10:42 UTC 

This Friday: Scottish Category Theory Seminar
 2013-02-05 16:41 UTC 

website of the IHP trimester "Semantics of proofs and certified mathematics"
 2013-02-04 12:45 UTC 

Deligne on Grothendieck
 2013-02-01  4:05 UTC  (4+ messages)

Deligne on Grothendieck
 2013-02-01  1:53 UTC 

Ph.D. position in Mathematical Foundations of Computation in Bath
 2013-01-31 21:31 UTC 

Types Meeting 2013 in Toulouse, 23 - 26 April: second call for contributions
 2013-01-31 16:09 UTC 

The Diagrammatic Future of Mathematics
 2013-01-30 14:09 UTC 

CfP: Refinement Workshop 2011 Limerick 20 Jun, submissions 21 Mar
 2013-01-30 12:37 UTC  (2+ messages)
  ` CfP: Refinement Workshop: Turku (submissions 21 March)

PhD Scholarships
 2013-01-30  2:57 UTC 

7th Scottish Category Theory Seminar
 2013-01-29 19:20 UTC 

Postdoc positions in SAT/SMT-based Verification available in Trento
 2013-01-29 17:54 UTC 

FMCS 2013: May 31st - June 3rd
 2013-01-25 20:05 UTC 

CT2013: Call for talks
 2013-01-20 23:08 UTC 

British Colloquium for Theoretical Computer Science: first call for participation
 2013-01-20 16:14 UTC 

British Colloquium for Theoretical Computer Science: first call for participation
 2013-01-20 16:14 UTC 

Call for Registration: MGS Spring School
 2013-01-18 18:02 UTC 

PSSL94 and British Mathematical Colloquium: Registration
 2013-01-17 14:50 UTC 

Conference Announcement: North American ASL
 2013-01-14  3:07 UTC 

ETAPS 2013 Call for Participation
 2013-01-10 20:04 UTC 

Fwd: course of Olivia Caramelo
 2013-01-10 15:42 UTC 

Post-doc in Bath on the semantics of a bureaucracy-free formalism
 2013-01-09 17:18 UTC 

A new preprint: "Compact closed bicategories"
 2013-01-08 17:09 UTC 

SFM-13:DS school in Bertinoro - first call for participation
 2013-01-08 15:43 UTC 

page:  |  | 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).