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