categories - Category Theory list
 help / color / mirror / Atom feed
Martin-Lof type theory gentle introduction please
 2014-02-09 18:16 UTC  (5+ messages)

Summer school in Lausanne
 2014-02-09 14:29 UTC 

minor web page update
 2014-02-09  2:09 UTC 

Call for participation, Mathematically Structured Functional Programming 2014
 2014-02-07 18:50 UTC 

ETAPS 2014 call for participation
 2014-02-06 23:45 UTC 

Midlands Graduate School 2014, Nottingham, UK
 2014-02-06 17:00 UTC 

PhD Program in Mathematics UC|UP
 2014-02-06  0:04 UTC 

preprint available
 2014-02-05 16:05 UTC 

Functoriality of groupoid quantales
 2014-02-04  8:38 UTC 

TAC change/categories policy
 2014-02-04  1:43 UTC 

Correctness by Construction, Genoa, Italy, 24-27 March 2014
 2014-01-30 16:35 UTC 

postdoc offer in Paris
 2014-01-27 15:23 UTC 

postdoc offer in Paris
 2014-01-27 15:23 UTC 

Postdoc and PhD Positions at Regensburg
 2014-01-24 16:25 UTC 

Evaluation of source code, category theoretically?
 2014-01-23 23:30 UTC  (2+ messages)

GaLoP IX, Final Call for Abstracts
 2014-01-22 13:05 UTC 

postdoc position in Toulouse on lightweight formal architecture specification
 2014-01-21 16:29 UTC 

postdoc position in Toulouse on lightweight formal architecture specification
 2014-01-21 16:29 UTC 

1 year post-doctoral fellowship in Padova
 2014-01-20  3:54 UTC 

Fwd: Formalizations of category theory in proof assistants?
 2014-01-19 17:27 UTC 

PSSL 95 - First announcement
 2014-01-16 19:02 UTC 

PhD studentship available now
 2014-01-16 13:04 UTC 

Cartesian closed 2-categories
 2014-01-14  0:35 UTC 

MFPS XXX First Call for Papers
 2014-01-11 16:21 UTC 

UTP-2014 Unifying Theories of Programming - call for papers
 2014-01-10 23:55 UTC 

DEADLINE: January 31, 2014
 2014-01-09 13:37 UTC 

Lectureships in Sheffield
 2014-01-09 13:17 UTC 

Seeking a quote about 1930s algebraic topology
 2014-01-09  2:02 UTC  (3+ messages)

CMCS 2014: Deadline extension 15 Jan 2014
 2014-01-08 22:31 UTC 

CSL-LICS 2014 - Last Call for Papers
 2014-01-08 10:40 UTC 

CT2014: Abstract submission is open
 2014-01-08  8:46 UTC 

ICFP 2014: Call for papers
 2014-01-08  1:39 UTC 

Evaluation of source code, category theoretically?
 2014-01-04 20:48 UTC 

Preprint: Enriched factorization systems
 2014-01-04 20:16 UTC 

Evaluation of source code, category theoretically?
 2014-01-03 17:46 UTC 

Colimits in the category of algebras of power locale monads
 2013-12-30 16:46 UTC 

Deadline extension for MSFP 2014
 2013-12-25 21:26 UTC 

Category <strong>2</strong>
 2013-12-23 23:06 UTC 

ETAPS 2015 call for satellite events
 2013-12-23 15:31 UTC 

GaLoP 2014 Call for Papers
 2013-12-23 12:54 UTC 

UTP-2014 Unifying Theories of Programming - call for papers
 2013-12-20 21:20 UTC 

CMCS 2014: Final call for papers
 2013-12-18 21:58 UTC 

CT2014: Website open
 2013-12-18 16:49 UTC 

Paper on variable set theory
 2013-12-18 11:16 UTC  (2+ messages)

9th SCANDINAVIAN LOGIC SYMPOSIUM, 25-27 August 2014, Tampere, Finland
 2013-12-18  7:04 UTC 

9th SCANDINAVIAN LOGIC SYMPOSIUM, 25-27 August 2014, Tampere, Finland
 2013-12-18  7:04 UTC 

Paper on variable set theory
 2013-12-14 21:59 UTC 

A new preprint "Higher Orbifolds and Deligne-Mumford Stacks as Structured Infinity Topoi"
 2013-12-12 15:50 UTC 

Second call for papers for MSFP 2014
 2013-12-11 17:49 UTC 

Second call for papers for MSFP 2014
 2013-12-11 17:49 UTC 

Research Fellowship at Leeds
 2013-12-09 15:50 UTC 

BX 2014: Paper deadline extended
 2013-12-05 17:01 UTC 

PhD opportunities at the University of Birmingham
 2013-12-03 20:15 UTC 

PhD opportunities at the University of Birmingham
 2013-12-03 20:15 UTC 

Call for Workshops - Symposium on Automated Technology for Verification and Analysis (ATVA)
 2013-12-03  2:43 UTC 

CSL-LICS 2014 - Call for Papers
 2013-12-02 16:12 UTC 

research positions
 2013-12-02 12:57 UTC 

JLC Special Issue: Logics for Resources, Processes, and Programs
 2013-11-29 16:06 UTC 

preprint
 2013-11-27  8:40 UTC  (5+ messages)

preprint
 2013-11-23  1:41 UTC  (2+ messages)

8th Scottish Category Theory Seminar: final programme
 2013-11-22 22:31 UTC 

subgroupoids of V-categories
 2013-11-20 15:53 UTC  (4+ messages)

AiML-2014: Call for Papers
 2013-11-20 15:13 UTC 

Questions on compact closed categories
 2013-11-19 23:42 UTC  (2+ messages)

Special Session on Categorical Topology (AMS-MAA JMM, 2014)
 2013-11-19 14:50 UTC 

adjoints to lax-idempotent algebra structures
 2013-11-19 10:04 UTC  (3+ messages)

Difference and Duality
 2013-11-19  4:50 UTC 

adjoints to lax-idempotent algebra structures
 2013-11-17 20:43 UTC 

IHP trimester Semantics of Proofs and Certfied Mathematics (second call for participation)
 2013-11-17 13:37 UTC 

8th Scottish Category Theory Seminar
 2013-11-15 18:24 UTC 

MFCS 2014
 2013-11-13 23:39 UTC 

preprint "Kan injectivity in order-enriched categories"
 2013-11-11  9:10 UTC 

annonce du prochain sic
 2013-11-09 15:33 UTC 

First Call for Papers: SEFM 2014
 2013-11-08  9:26 UTC 

Seemingly hidden Arens Mult'n slides
 2013-11-08  5:33 UTC 

Seemingly hidden Arens Mult'n slides
 2013-11-07  7:18 UTC 

RA/postdoc vacancy in semantics at Swansea
 2013-11-06  9:32 UTC 

Seemingly hidden Arens Mult'n slides
 2013-11-04 19:22 UTC 

Seemingly hidden Arens Mult'n slides
 2013-11-03 21:20 UTC 

PhD Studentships at the University of Bath
 2013-11-02 21:25 UTC 

ICFP 2014: Call for Workshop & Co-located Event Proposals
 2013-10-30 20:15 UTC 

ICFP 2014: Call for Workshop & Co-located Even Proposals
 2013-10-30 18:42 UTC 

Equivariant Serre-Swan correspondence
 2013-10-28 14:22 UTC 

Relational & Algebraic Methods (RAMiCS 2014) Deadlines extended!
 2013-10-28  1:13 UTC 

History of TAC
 2013-10-25  4:19 UTC 

Axiomatic Method and Category Theory
 2013-10-23 15:38 UTC  (2+ messages)

Subobject classifier algorithm
 2013-10-23  9:52 UTC  (2+ messages)

Preprint available
 2013-10-22  8:03 UTC 

Workshop on Categorical Methods in Algebra and Topology
 2013-10-18 18:33 UTC 

CMCS 2014: Second call for papers
 2013-10-17  7:47 UTC 

announcing the Kan extension seminar
 2013-10-16 20:28 UTC 

an analogy breaks, but why?
 2013-10-16 14:16 UTC 

Representing Streams II, Jan 2014, Lorentz Center, Leiden
 2013-10-16  9:48 UTC 

Representing Streams II, Jan 2014, Lorentz Center, Leiden
 2013-10-16  9:48 UTC 

A Popular Science Book
 2013-10-16  0:09 UTC 

CFP for MSFP 2014
 2013-10-14 17:38 UTC 

Call for Talk Proposals: Data-Centric Programming, San Diego, Jan 2014
 2013-10-13 19:08 UTC 

Slick proof that f (x) (g+h) = (f (x) g) + (f (x) h) in a monoidal category with 0, biproducts and duals
 2013-10-13  7:05 UTC  (2+ messages)

What is the intention behind Lawvere's "quality types"?
 2013-10-11 12:46 UTC 

Category theory in Mons (Belgium) 30 October 2013
 2013-10-10 13:01 UTC 

"Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: call for starting school application and workshop registration
 2013-10-09 16:52 UTC 

Mathematical Structures of Computation, Lyon 2014 (REGISTRATION)
 2013-10-05 17:04 UTC 

BOUNCE categories@mta.ca: Approval required: (fwd)
 2013-10-04  9:59 UTC 

fractions_regular
 2013-09-28 19:32 UTC  (2+ messages)

Postdoc position in Warsaw
 2013-09-27 12:41 UTC 

Professor position at PPS - University Paris Diderot
 2013-09-26 16:35 UTC 

Professor position at PPS - University Paris Diderot
 2013-09-26 16:35 UTC 

Postdoctoral positions in Warsaw
 2013-09-24 20:38 UTC 

Question about proof nets
 2013-09-24 18:13 UTC 

Exponentials in linearly distributive categories
 2013-09-24 15:50 UTC 

Chair in Pure Maths at the University of Leicester
 2013-09-15  1:20 UTC 

"Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: final call for financial support requests (deadline Sep 23th)
 2013-09-12 13:06 UTC 

"Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: final call for financial support requests (deadline Sep 23th)
 2013-09-12 13:06 UTC 

Deadlines for Union College Conference
 2013-09-11 17:19 UTC 

Deadlines for Union College Conference
 2013-09-11 17:19 UTC 

CMCS 2014: First call for papers
 2013-09-10 16:09 UTC 

Special Issue of LU on categorical logic
 2013-09-08 18:47 UTC 

ETAPS 2014 2nd call for papers
 2013-09-07  9:30 UTC 

A category internal to itself
 2013-09-06 12:33 UTC  (10+ messages)

Oberwolfach Seminar on Mathematics for Scientific Programming
 2013-09-05 13:55 UTC 

A category internal to itself_correction
 2013-09-04 20:14 UTC 

Lower Algebra: Abelian categories =?= Modules over the monoidal category of Abelian groups
 2013-09-04  6:29 UTC 

Constructive Pointwise Natural Transformations
 2013-09-02 15:36 UTC 

'Proof', Berne, Switzerland, 9-13 September 2013
 2013-09-02  9:05 UTC 

Symmetric monoidal coclosed but not compact closed?
 2013-09-01  1:26 UTC  (2+ messages)

Lambekfest: Update
 2013-08-27 14:46 UTC 

Eilenberg Centenary talk slides
 2013-08-24 19:52 UTC  (2+ messages)

Lambekfest 2013 (temporary webpage)
 2013-08-22 15:12 UTC 

Workshop on Quantum Mathematics and Computation, Oxford, October 1-4 2013
 2013-08-22  4:02 UTC 

postdoc grants in Portugal
 2013-08-16 15:56 UTC 

Daniel M. Kan, 1927-2013
 2013-08-07 22:04 UTC 

Daniel M. Kan, 1927-2013
 2013-08-07 19:57 UTC 

Daniel M. Kan, 1927-2013
 2013-08-07 18:10 UTC 

Software Verification and Testing Track at ACM SAC 2014: 3rd CfP
 2013-08-07 11:42 UTC 

Higher Lawvere theories?
 2013-08-05 16:08 UTC  (4+ messages)

Non-triviality of *-autonomous categories
 2013-08-04 17:44 UTC  (4+ messages)

Higher Lawvere theories?
 2013-08-04  3:08 UTC 

CRM conference "Type Theory, Homotopy Theory and Univalent Foundations" (call for participation)
 2013-08-01 21:59 UTC 

PhD thesis: Riesz-Schwartz extensive quantities and vector-valued integration in closed categories
 2013-08-01 16:31 UTC 

Reply to Eduardo Dubuc
 2013-07-29 20:13 UTC 

Reply to Eduardo Dubuc
 2013-07-28 15:39 UTC  (7+ messages)

disjoint_coproducts_bis_?
 2013-07-27 17:21 UTC  (2+ messages)

Lambekfest Sept 21, 2013 (Preliminary announcement)
 2013-07-27 16:04 UTC 

Lecturer/Senior Lecturer
 2013-07-25 21:13 UTC 

disjoint_coproducts_?
 2013-07-25 11:33 UTC  (3+ messages)
` R: disjoint_coproducts_?

Principal bundles
 2013-07-21  9:47 UTC 

ETAPS 2014 first call for papers
 2013-07-17 11:04 UTC 

ETAPS 2014 first call for papers
 2013-07-17 11:04 UTC 

BLC 2013 + Dummett Day + Postgraduate Day (Leeds, September 2013)
 2013-07-17  9:32 UTC 

CT14 in Cambridge: First Announcement
 2013-07-13 22:33 UTC 

postdoctoral position in Paris
 2013-07-13 17:58 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).